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 |