Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

Automated traceability of requirements in the design and verification process of safety-critical mixed-signal systems

Paper presented at Design and Verification Conference and Exhibition, DVCon 2021, Virtual, March 1-4, 2021
: Pachiana, Gabriel; Grunwald, Maximilian; Markwirth, Thomas; Sohrmann, Christoph

Volltext urn:nbn:de:0011-n-6333922 (900 KByte PDF)
MD5 Fingerprint: 0eb028ba42a795db0d0e859b9db9330b
Erstellt am: 23.3.2021

2021, 8 S.
Design and Verification Conference and Exhibition (DVCon) <2021, Online>
Bundesministerium für Bildung und Forschung BMBF (Deutschland)
16ES0990; AnastASICA
Strukturierter und automatisierter Chip-Entwurf für die Automobilelektronik
Vortrag, Elektronische Publikation
Fraunhofer IIS, Institutsteil Entwurfsautomatisierung (EAS) ()
traceability; functional safety; mixed-signal; verification

System-level design and verification of safety-critical hardware requires a consistent methodology which complies with industrial safety-standards, for example ISO 26262 for automotive applications. For certification of safety-critical systems, the development process has to implement and enforce a strict traceability of requirements, linking the requirement specification, the design implementation, and the verification testbench and results. This is particularly challenging in the AMS domain since it spans multiple engineering and tool environments. No standardized industrial solution is available for this task. In this work we propose an industry-compatible tool flow for an automated implementation of test cases from system-level requirements including traceability of the verification flow. This automated tool flow accelerates the design and verification process of safety-critical systems while making it robust against human error. The workflow is demonstrated in the design and verification of an AMS block of an automotive SoC, a 12-bit 4-stage pipelined ADC.