Fujitsu was able to achieve efficient RTL sign off with static tools.
First, they were able to complete whole chip analysis with Real Intent AutoFormal. Fujitsu compared their experience with another tool they also tried, which they said gave up and “exploded”. This is because Real Intent’s static tool engines are customized for specific failure modes like AutoFormal and CDC.
Second, Fujitsu performed focused checks for behavioral control, FSMs and tristate drivers, and were able to find critical deadlocks in FSM.
AutoFormal enabled a 30 percent reduction in logic simulation time. This simulation reduction was based on AutoFormal’s ability to identify the root cause error as a primary failure, with other violations detected as warnings.
Fujitsu compared this root cause analysis with another tool. For FSM checks, AutoFormal reported 1 primary