Verification Techniques with Assertion-Based VIP

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