metric-driven verification

August 9, 2019

Spreading the word on formal in Bangalore

Doc Formal rounds up some of the the key observations about verfication made during July’s Synopsys VC Formal SIG event in India.

Expert Insight | Topics: EDA - Verification | Tags: automotive, formal, formal apps, ISO 26262, machine learning, metric-driven verification, safety-critical | Organizations: Axiomise, NXP Semiconductors, Synopsys