Visiting a new EDA vendor at #61DAC is always a treat, because much innovation comes from the start-up companies, instead of the established big four EDA companies. I met with Vincent Bligny, Founder and CEO of Aniah on Wednesday in their booth, to hear about what they are doing differently in EDA. Mr. Bligny has a background working… Read More
Tag: OneCheck
Webinar: Electrical Rules Checking – How to Reduce Thousands of False Errors in 15 Minutes Using OneCheck Smart Clustering
Analyzing electrical errors across an IP or a SoC at top level, can be a painful and long process, often requiring extensive setup time and hundred of hours to distinguish real issues from false positives.
To address this challenge, Aniah developed OneCheck, a formal analysis tool capable of detecting 100% of electrical errors… Read More
Electrical Rule Checking and Exhaustive Classification of Errors
The goal of SoC design teams is to tape-out their project and receive working silicon on the first try, without discovering any bugs in silicon. To achieve this lofty goal requires all types of specialized checking and verification during the design phase to prevent bugs. There are checks at the system level, RTL level, gate level,… Read More