|
|
|
www.design-reuse-embedded.com |
|
DAC explores the role of AI and ML across the markets
May. 29, 2018 – OneSpin Solutions and Austemper Design Systems will both highlight tools for functional safety verification. Austemper will focus on mission-critical system development, with the KaleidoScope tool suite which supports analogue design for concurrent, mixed-signal fault propagation. The automated tool suite has safety analysis, synthesis and verification capabilities for certification-oriented applications. It is used for large scale automotive designs in ADAS and autonomous driving. The concurrent fault simulation includes simulations recommended by ISO 26262 to comply with ASIL requirements.
The company recently partnered with OneSpin Solutions to adopt a tool-supported methodology for functional safety applications, combining a design and verification flow, which will be demonstrated at the OneSpin booth. Hardware safety mechanisms are inserted into chip designs and OneSpin Solutions' tools formally verify the hardware safety logic. Equivalence checking ensures that the inserted safety logic does not affect regular functionality and fault detection analysis verifies that safety mechanisms perform properly in the event of random errors.
OneSpin is also promoting its Tool Qualification kit, following verification by TUV SUD of its tool development processes. The initial kit is available for the company's 360 EC-FPGA EDA tool, an automatic sequential equivalence check that prevents FPGA design flows from introducing implementation errors. The kit is certified to ISO 26262, IEC 61508 and EN 50128.
Back
Contact Us
Partnership Offers