Publication: IEICE TRANSACTIONS on Information and Systems
Publication Date: 1995/03/25
Vol. E78-D
No. 3
pp. 199-208
Type of Manuscript:
INVITED PAPER (Special Issue on Synthesis and Verification of Hardware Design) Category: Logic Synthesis Keyword: logic synthesis, logic optimization, don't cares, Boolean relations, nondeterministic finite automata, |