Fortell venner om denne varen:
Equivalence Checking of Digital Circuits: Fundamentals, Principles, Methods Paul Molitor Softcover reprint of the original 1st ed. 2004 edition
Pris
NOK 1.439
Bestillingsvarer
Forventes levert 6. - 16. nov
Julegaver kan byttes frem til 31. januar
Få varsel om nye utgivelser fra Paul Molitor
Legg til iMusic ønskeliste
eller
Finnes også som:
Equivalence Checking of Digital Circuits: Fundamentals, Principles, Methods
Paul Molitor
Hardware veri?cation is the process of checking whether a design conforms to its speci?cations of functionality and timing. Thus, it is desirable to detect design errors early in the design process and not just after producing the prototype chip.
263 pages, biography
| Media | Bøker Pocketbok (Bok med mykt omslag og limt rygg) |
| Utgitt | 7. desember 2010 |
| ISBN13 | 9781441954237 |
| Utgivere | Springer-Verlag New York Inc. |
| Antall sider | 263 |
| Mål | 155 × 235 × 14 mm · 394 g |
| Språk | Engelsk |
![Cover for Paul Molitor · Datenstrukturen Und Effiziente Algorithmen Fur Die Logiksynthese Kombinatorischer Schaltungen - Xleitfaden Der Informatik (Pocketbok) [German, 1999 edition] (1999)](https://imusic.b-cdn.net/images/item/original/458/9783519029458.jpg?paul-molitor-1999-datenstrukturen-und-effiziente-algorithmen-fur-die-logiksynthese-kombinatorischer-schaltungen-xleitfaden-der-informatik-pocketbok&class=scaled&v=1424906385)
![Cover for Paulo Ney De Souza · Berkeley Problems in Mathematics - Problem Books in Mathematics (Innbunden bok) [Fourth Edition 2026 edition] (2027)](https://imusic-static.b-cdn.net/images/missing-tall.png)
![Cover for Yves Tille · Sampling Algorithms: with R - Springer Series in Statistics (Innbunden bok) [Second Edition 2027 edition] (2027)](https://imusic.b-cdn.net/images/item/original/740/9781071655740.jpg?yves-tille-2027-sampling-algorithms-with-r-springer-series-in-statistics-innbunden-bok&class=scaled&v=1790602619)
![Cover for Observing Photons in Space: A Guide to Experimental Space Astronomy - ISSI Scientific Report Series (Innbunden bok) [Third Edition 2026 edition] (2027)](https://imusic.b-cdn.net/images/item/original/231/9781071654231.jpg?2027-observing-photons-in-space-a-guide-to-experimental-space-astronomy-issi-scientific-report-series-innbunden-bok&class=scaled&v=1780314405)
![Cover for Loring W. Tu · An Introduction to Manifolds - Universitext (Pocketbok) [Third Edition 2027 edition] (2027)](https://imusic.b-cdn.net/images/item/original/364/9781071653364.jpg?loring-w-tu-2027-an-introduction-to-manifolds-universitext-pocketbok&class=scaled&v=1780314358)
![Cover for Andre Anders · Cathodic Arcs: From Fractal Spots to Energetic Deposition - Springer Series on Atomic, Optical, and Plasma Physics (Innbunden bok) [Second Edition 2026 edition] (2027)](https://imusic.b-cdn.net/images/item/original/835/9781071654835.jpg?andre-anders-2027-cathodic-arcs-from-fractal-spots-to-energetic-deposition-springer-series-on-atomic-optical-and-plasma-physics-innbunden-bok&class=scaled&v=1780314416)
![Cover for Biomedical Engineering Principles in Sports (Innbunden bok) [Second Edition 2026 edition] (2027)](https://imusic.b-cdn.net/images/item/original/798/9781071654798.jpg?2027-biomedical-engineering-principles-in-sports-innbunden-bok&class=scaled&v=1788246125)
![Cover for Hendrik Van den Berg · The Economics of Immigration: Theory, History and Policy - Population Economics (Innbunden bok) [Third Edition 2026 edition] (2027)](https://imusic.b-cdn.net/images/item/original/477/9781071654477.jpg?hendrik-van-den-berg-2027-the-economics-of-immigration-theory-history-and-policy-population-economics-innbunden-bok&class=scaled&v=1780314393)
![Cover for Accelerator Physics at the Tevatron Collider - Particle Acceleration and Detection (Innbunden bok) [Second Edition 2026 edition] (2027)](https://imusic.b-cdn.net/images/item/original/791/9781071653791.jpg?2027-accelerator-physics-at-the-tevatron-collider-particle-acceleration-and-detection-innbunden-bok&class=scaled&v=1782130051)
![Cover for Melanoma: Methods and Protocols - Methods in Molecular Biology (Innbunden bok) [Second Edition 2027 edition] (2026)](https://imusic.b-cdn.net/images/item/original/181/9781071656181.jpg?2026-melanoma-methods-and-protocols-methods-in-molecular-biology-innbunden-bok&class=scaled&v=1790602583)
![Cover for Computational Methods in Synthetic Biology - Methods in Molecular Biology (Innbunden bok) [Third Edition 2027 edition] (2026)](https://imusic.b-cdn.net/images/item/original/825/9781071655825.jpg?2026-computational-methods-in-synthetic-biology-methods-in-molecular-biology-innbunden-bok&class=scaled&v=1790602614)
![Cover for RNA-Chromatin Interactions: Methods and Protocols - Methods in Molecular Biology (Innbunden bok) [Second Edition 2027 edition] (2026)](https://imusic.b-cdn.net/images/item/original/266/9781071656266.jpg?2026-rna-chromatin-interactions-methods-and-protocols-methods-in-molecular-biology-innbunden-bok&class=scaled&v=1790602568)
![Cover for Ewing Sarcoma: Methods and Protocols - Methods in Molecular Biology (Innbunden bok) [Second Edition 2027 edition] (2026)](https://imusic.b-cdn.net/images/item/original/863/9781071655863.jpg?2026-ewing-sarcoma-methods-and-protocols-methods-in-molecular-biology-innbunden-bok&class=scaled&v=1790602610)
![Cover for Atomic Force Microscopy: Methods and Protocols - Methods in Molecular Biology (Innbunden bok) [Second Edition 2027 edition] (2026)](https://imusic.b-cdn.net/images/item/original/542/9781071655542.jpg?2026-atomic-force-microscopy-methods-and-protocols-methods-in-molecular-biology-innbunden-bok&class=scaled&v=1791812257)
![Cover for RNA Remodeling Proteins: Methods and Protocols - Methods in Molecular Biology (Innbunden bok) [Third Edition 2027 edition] (2026)](https://imusic.b-cdn.net/images/item/original/702/9781071655702.jpg?2026-rna-remodeling-proteins-methods-and-protocols-methods-in-molecular-biology-innbunden-bok&class=scaled&v=1790602627)
![Cover for Intestinal Stem Cells: Methods and Protocols - Methods in Molecular Biology (Innbunden bok) [Second Edition 2027 edition] (2026)](https://imusic.b-cdn.net/images/item/original/118/9781071654118.jpg?2026-intestinal-stem-cells-methods-and-protocols-methods-in-molecular-biology-innbunden-bok&class=scaled&v=1790602647)
![Cover for Stem Cell Transcriptional Networks: Methods and Protocols - Methods in Molecular Biology (Innbunden bok) [Third Edition 2027 edition] (2026)](https://imusic.b-cdn.net/images/item/original/382/9781071655382.jpg?2026-stem-cell-transcriptional-networks-methods-and-protocols-methods-in-molecular-biology-innbunden-bok&class=scaled&v=1790604482)
![Cover for Vaccinophobia and Vaccine Controversies of the 21st Century (Innbunden bok) [Second Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/637/9781071654637.jpg?2026-vaccinophobia-and-vaccine-controversies-of-the-21st-century-innbunden-bok&class=scaled&v=1788180241)
