| Record ID | marc_columbia/Columbia-extract-20221130-009.mrc:388154026:1914 |
| Source | marc_columbia |
| Download Link | /show-records/marc_columbia/Columbia-extract-20221130-009.mrc:388154026:1914?format=raw |
LEADER: 01914cam a22003254a 4500
001 4369031
005 20221102203819.0
008 031222t20042004maua b 001 0 eng
010 $a 2003067651
015 $aGBA3-T5055
020 $a1402077254 (hb)
035 $a(OCoLC)ocm53710457
035 $a(NNC)4369031
035 $a4369031
040 $aDLC$cDLC$dUKM$dC#P$dOrLoB-B
042 $apcc
050 00 $aTK7868.D5$bM617 2004
082 00 $a621.3815/48$222
100 1 $aMolitor, Paul.$0http://id.loc.gov/authorities/names/n2004001303
245 10 $aEquivalence checking of digital circuits :$bfundamentals, principles, methods /$cby Paul Molitor and Janett Mohnke ; guest authors, Bernd Becker, Christoph Scholl.
260 $aBoston :$bKluwer Academic Publishers,$c[2004], ©2004.
300 $axiii, 262 pages :$billustrations ;$c25 cm
336 $atext$btxt$2rdacontent
337 $aunmediated$bn$2rdamedia
504 $aIncludes bibliographical references (p. 243-252) and index.
505 00 $g1.$tIntroduction -- $gPt. I.$tFundamentals -- $g2.$tPreliminaries -- $g3.$tRepresentation of Functions -- $gPt. II.$tEquivalence Checking of Combinational Circuits -- $g4.$tUse of Canonical Representations -- $g5.$tSAT and ATPG Based Equivalence Checking -- $g6.$tExploiting Similarities -- $g7.$tPartial Implementations -- $g8.$tPermutation Independent Boolean Comparison -- $gPt. III.$tEquivalence Checking of Sequential Circuits -- $g9.$tBasic Definitions and Algorithms -- $g10.$tLatch Correspondence Problem.
520 1 $a"Equivalence Checking of Digital Circuits is a textbook for advanced students in electrical and computer engineering, but is also intended for researchers who will find it useful as a reference text."--BOOK JACKET.
650 0 $aDigital electronics$xTesting.
700 1 $aMohnke, Janett.$0http://id.loc.gov/authorities/names/n2004001304
852 00 $boff,eng$hTK7868.D5$iM617 2004