Multilevel logic simplification based on containment recursive paradigm.
Citation
Wang, L. Y. & Almaini, A. E. A. (2003). Multilevel logic simplification based on containment recursive paradigm. IEE proceedings. Computers and digital techniques. 150, 218-226. doi:10.1049/ip-cdt:20030575. ISSN 1350-2387
Authors
Keywords
Containment recursive paradigm; application specific integrated circuit design; experimental results; satisfiability; unate recursive paradigm; Boolean functions; unateness; multilevel logic simplification; two-level logic minimisation; observability; encoding; field programmable gate array; splitting equation strategies
Monthly Views: