Self-referential verification for gate-level implementations of arithmetic circuits

✍ Scribed by Ying-Tsai Chang; Kwang-Ting Cheng

• Book ID: 117907185
• Publisher: IEEE
• Year: 2004
• Tongue: English
• Weight: 320 KB
• Volume: 23
• Category: Article
• ISSN: 0278-0070
• DOI: 10.1109/tcad.2004.829799