ASIC verification: Integrating formal verification with HDL-based courses

✍ Scribed by Mehran Massoumi; Assim Sagahyroon

• Publisher: John Wiley and Sons
• Year: 2010
• Tongue: English
• Weight: 103 KB
• Volume: 18
• Category: Article
• ISSN: 1061-3773
• DOI: 10.1002/cae.20252