Cadence Webinar 2016: Verification techniques with ACE assertion-based Verification IP. Discusses protocol compliance flow in ABVIP.
Cadence's Jorg Muller,Joe Hupcey discuss ACE Assertion-Based Verification Techniques with ABVIP. There is a common Formal, ABV, Protocol Adoption Challenges.It is evident that many engineers do not want to learn assertion languages and formal techniques. Formal Apps quickly solve high value problems
上次修改時間: August 22, 2015
持續時間: 46 min