000 01202nam a2200205Ia 4500
003 NULRC
005 20250520102845.0
008 250520s9999 xx 000 0 und d
020 _a792384563
040 _cNULRC
050 _aTK 7868.L6 .S27 2000
100 _aSasao, Tsutomu
_eauthor
245 0 _aSwitching theory for logic synthesis /
_cTsutomu Sasao
260 _aBoston, Massachusetts :
_bKluwer Academic Publishers,
_cc2000
300 _aviii, 362 pages :
_billustrations ;
_c24 cm.
504 _aIncludes bibliographical references.
505 _a1. Mathematical Foundation. 2. Lattice and Boolean Algebra. 3. Logic Functions and their Representations. 4. Optimization of and-or Two-level Logic Networks. 5. Logic Functions with Various Properties. 6. Sequential Networks. 7. Optimization of Sequential Networks. 8. Delay and Asynchronous Behavior. 9. Multi-valued Input Two-valued Output Function. 10. Heuristic Optimization of Two-level Networks. 11. Multi-level Logic Synthesis. 12. Logic Design Using Modules. 13. Logic Design Using EXORs. 14. Complexity of Logic Networks. A History of Switching Theory.
650 _aLOGIC DESIGN -- DATA PROCESSING
942 _2lcc
_cBK
999 _c17115
_d17115