aloksanghavi
Newbie level 4
What are the current challenges with formal verification? What is your experience (if any) using it for applications other than block level verification such as early RTL exploration, post-silicon validation, design & IP re-use as well as standard protocol certification (eg. AXI, AMBA, PCI-Express, etc.)