Publication: IEICE TRANSACTIONS on Information and Systems
Publication Date: 1993/09/25
Vol. E76-D
No. 9 ;
pp. 1006-1017
Type of Manuscript:
INVITED PAPER (Special Issue on Synthesis and Verification of Hardware Design)
Category: Logic Synthesis
Keyword:
logic synthesis, algebraic factorization, binary decision diagrams, |