Verification of asynchronous circuits based on zero-suppressed BDDs

✍ Scribed by Koichi Masukura; Minoru Tomisaka; Tomohiro Yoneda

• Publisher: John Wiley and Sons
• Year: 2001
• Tongue: English
• Weight: 380 KB
• Volume: 32
• Category: Article
• ISSN: 0882-1666
• DOI: 10.1002/1520-684x(200102)32:2<43::aid-scj5>3.0.co;2-p