DAC '16 Item 1: How engineers feel about Formal verification vs. RTL simulation

From DeepChip DAC'16 Trip Report: This year my annual "What's The Best Tools of 2016?" survey question got me flooded out -- 6,000 words of initial flood actually -- from the EDA users themselves gushing about either the JasperGold or OneSpin formal tools.


Related Links