FPGA programmable logic block evaluation using quantified Boolean satisfiability

✍ Scribed by Ling, A.C.; Singh, D.P.; Brown, S.D.

• Book ID: 114448688
• Publisher: The Institution of Electrical Engineers
• Year: 2006
• Tongue: English
• Weight: 237 KB
• Volume: 153
• Category: Article
• ISSN: 1350-2387
• DOI: 10.1049/ip-cdt:20050164