Is End-to-End Formal Complete?

Vigyan Singhal from Oski Technology discussed that End to End Formal Enables Formal Sign-off. What  Suitable Designs for End to End Formal. Many SoC Blocks can be verified with End to End Formal.  End to End formal can fully replace simulation for many blocks. What the Quality of Formal Depends on. 

上次修改時間: March 22, 2016