Formal Apps to Automate Mainstream Verification Challenges

Cadence Webinar: Efficient Exhaustive Register Map Validation using Incisive Simulator. 36 minutes. from 2016

Joerg Mueller from Cadence discusses challenges are with Common Formal and ABV Adoption. How you can identify cases where custom apps could handle your projects unique needs. How the apps approach can help you and your colleagues be more productive.

上次修改時間: August 22, 2015

持續時間: 1h