SystemC modelling, verification and synthesis

Located in Silicon Valley, Kotys serves the semiconductor industry by providing modelling and verification services based on SystemC.

Why SystemC

• developed as C++ libraries, the SystemC ecosystem unleashes the power of the C++ language
• reuse of existing open source C++  libraries (Boost, Blitz++, etc)
  
• object oriented programming enables powerful, maintainable and reusable models and testbenches for hardware systems
  
• one language (C++) for the entire development ecosystem, from modeling and verification to synthesis of the digital hardware system
• high simulation speed of the entire system can be achieved by using high level of abstraction of the hardware model
• most of the CPUs in the current ASICs are programmed in C/C++, this makes hardware/software co-simulation possible using the same environment and the same programming language for both hardware and software
• SystemC enables ESL