- Book Chapter
- 10.1016/b978-012370616-4.50007-0
Chapter 6 - Equivalence Checking on Higher-Level Design Descriptions
- Jan 01, 2008
- Verification Techniques for System-Level Design
- Masahiro Fujita + 2 more +2
Copyright 2026 Cactus Communications. All rights reserved.