Club Formal Japan 2016
Host
Cadence Design Systems, Japan
Event
Club Formal Japan 2016
On 12th Aug. 2016, an engineer of us spoke at ClubFormal 2016, hosted by Cadence Design Systems, Inc.
As LSIs become larger and more complex, the key to successful LSI development is to perform functional verification comprehensively and efficiently. We promote the improvement of verification coverage and efficiency by applying formal verification in addition to simulation.