The authors offer extended algebraic operations and strategies for se in algebraic approaches. A novel cube/array representation that directly shows some legal expressional variations from a minimal expression written in the conventional three symbol {0, 1, x} representation is defined, along with certain operations on those cube/arrays. Conversions between the new and conventional representations are explained. Division methods are presented that are based on expressions like those used to describe algebraic division but use more operations of Boolean algebra. Factoring on the new representations is explained. A multilevel logic synthesis algorithm with a control strategy is presented and compared with published systems
Published in:
Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on
(Volume:11
,
Issue:
2
)
Date of Publication:
Feb 1992
- Page(s):
-
142
-
157
- ISSN :
-
0278-0070
- INSPEC Accession Number:
-
4128799
- Digital Object Identifier :
-
10.1109/43.124395
- Product Type:
-
Journals & Magazines
- Date of Current Version :
-
06 August 2002
- Issue Date :
-
Feb 1992
- Sponsored by :
-
IEEE Council on Electronic Design Automation