Agenda
| Time | Label | Session |
|---|---|---|
| 14:30 | M04.1 | Mutation-Based Testing: Origins, Concepts, and Applications Chair: Co-Chair: A first presentation will introduce the origins and main concepts of Certitude, a functional qualification tool commercialized by Synopsys. The second speaker will give an overview on mutation-based techniques for verification purposes. |
| 14:30 | M04.1.1 | Certitude-C/C++ : A functional qualification tool for fault injection in C/C++/SystemC models Jean-Marc Forey and Ali Abbara, Synopsys, FR This presentation will introduce the origins and main concepts of Certitude, a functional qualification tool commercialized by Synopsys. Certitude can measure and help to improve all aspects of functional verification quality at different levels of abstraction, including HDL and C/C++/SystemC languages. Certitude is a mutation-based testing tool. It automatically inserts bugs (also called faults) into the hardware or software models. Then it determines whether the verification environment can activate the faulty code, propagate the effects to an observable point, and detect the presence of the fault. |
| 15:30 | M04.1.2 | How Mutations Can Help to Prove That Your System Does Not Contain (Unwanted) Mutations Susanne Kandl, Vienna University of Technology, AT In this tutorial presentation we give an overview on mutation-based techniques for verification purposes. A mutation is a modification of a component of the verification environment. Whereas the main aim of verification is to detect unwanted mutations in the system (colloquial: bugs), intended and reproducible mutations can help to assess, reveal weaknesses, and, by this, improve the verification environment. Mutations may be applied to the system itself (e.g., software), to system properties, to test cases, or to other verification components. Besides explaining the basic principles, we will address the powerfulness and possible restrictions of the proposed mutation-based techniques for verification. |
| 16:30 | M04.2 | Applying Certitude on Automotive and Multimedia C/C++/SystemC Models Chair: Co-Chair: In this session, we will discuss Certitude usage to ensure the highest level of confidence on Multimedia IPs in STMicroelectronics on C/C++ models which are inputs of the HLS flow. Another presentation from Bosch will consider an example of an automotive Microcontroller IP modeled on TLM in SystemC. |
| 16:30 | M04.2.1 | Multimedia IPs Verification Quality Improvement - Usage of Certitude on C/C++ Models Stéphane Bouvier, STMicroelectronics, FR Verifying multimedia IPs is very challenging due to its infinite possibility of combination. The proposed presentation will discuss about Certitude usage in STMicroelectronics to ensure the highest level of confidence on these IPs. It will show how Certitude is applied on C/C++ models which are inputs of the HLS flow to ensure a robust verification environment. It will also describe the developed strategies to automate this flow and find early weaknesses in the verification environment. |
| 17:00 | M04.2.2 | Automotive Microcontroller Peripheral IP Verification - Applying Certitude on SystemC Models Juergen Hanisch, Robert Bosch GmbH, DE This presentation shows the usage of Certitude on an Automotive Microcontroller IP which is available in a VHDL implementation for a SoC integration and a SystemC implementation usable as a reference model in simulation environments. |