Back to Results
First PageMeta Content
Mathematical logic / Implicant / Lookup table / Canonical form / Boolean satisfiability problem / Conjunctive normal form / Binary decision diagram / Truth table / Boolean function / Boolean algebra / Theoretical computer science / Mathematics


Improved SAT-Based Boolean Matching Using Implicants for LUT-Based FPGAs Jason Cong and Kirill Minkovich Computer Science Department University of California, Los Angeles Los Angeles, CA 90095, USA
Add to Reading List

Document Date: 2007-02-13 15:10:27


Open Document

File Size: 424,40 KB

Share Result on Facebook
UPDATE