SystemC Integrations

Coco® is a versatile tool designed for measuring code coverage across multiple programming languages. It utilizes automatic instrumentation of source code to assess the coverage of statements, branches, and conditions during testing. When a test suite is executed against this instrumented application, it generates data that can be thoroughly analyzed later. Through this analysis, developers can gain insights into the extent of source code tested, identify gaps in test coverage, determine which additional tests are necessary, and observe changes in coverage over time. Moreover, it helps in pinpointing redundant tests, as well as identifying untested or obsolete code segments. By evaluating the effect of patches on both the code and the overall coverage, Coco provides a comprehensive overview of testing efficacy. It supports various coverage metrics, including statement coverage, branch coverage, and Modified Condition/Decision Coverage (MC/DC), making it adaptable for diverse environments such as Linux, Windows, and real-time operating systems. The tool is compatible with various compilers, including GCC, Visual Studio, and embedded compilers. Users can also choose from different report formats, including text, HTML, XML, JUnit, and Cobertura, to suit their needs. Additionally, Coco can seamlessly integrate with a multitude of build, testing, and continuous integration frameworks, such as JUnit, Jenkins, and SonarQube, enhancing its utility in a developer's workflow. This comprehensive range of features makes Coco an essential asset for any team focused on ensuring high-quality software through effective testing practices.

Operating systems such as Linux, Windows, RTOS, and others are utilized, along with compilers like gcc, Visual Studio, and various embedded options. By consolidating multiple execution reports, users can achieve enhanced analysis and a range of superior functionalities. Additionally, Coco's integrated Function Profiler allows for the evaluation and optimization of code performance, ensuring that developers can fine-tune their applications effectively. This comprehensive toolset ultimately empowers programmers to elevate their coding efficiency.

ModelSim effectively simulates behavioral, RTL, and gate-level code, enhancing both design quality and debugging productivity through its platform-independent compilation. Its unique single kernel simulator technology allows for the seamless integration of VHDL and Verilog within a single design framework. This HDL simulator offers an unparalleled range of verification features at a competitive price, making it particularly suitable for the verification of small to medium-sized FPGA designs, especially those that are complex and mission-critical. ModelSim’s sophisticated code coverage tools yield essential metrics that aid in systematic verification processes. Additionally, its user-friendly design minimizes the obstacles to utilizing verification resources efficiently. All coverage data is securely stored in the highly efficient UCDB database, providing flexibility in how results can be accessed. Coverage outcomes can be analyzed interactively, either during or after simulation, including after merging results from multiple simulation sessions. This unified and easy-to-navigate environment equips FPGA designers with the necessary advanced tools for effective debugging and refinement of their projects.