Next-Generation JasperGold Formal Verification Platform

Pete Hardee from Cadence discussion on Announcing next-generation JasperGold Formal Verification Platform.  It delivers up to 15X  performance gain vs previous solutions. It is integrated into Cadence System Development Suite to find bugs typically 3 earlier vs alternative methods

마지막 수정 날짜: March 22, 2016