共 50 条
- [46] Panel: Assertion-based verification -what's the big deal? Proceedings - IEEE International High-Level Design Validation and Test Workshop, HLDVT, 2006,
- [47] Panel: Assertion-based verification - What's the big deal? HLDVT'06: ELEVENTH ANNUAL IEEE INTERNATIONAL HIGH-LEVEL DESIGN VALIDATION AND TEST WORKSHOP, PROCEEDINGS, 2006, : 183 - 183