Logic Synthesis and Verification Algorithms
Extreame Savings Item! Save 45% on the Logic Synthesis and Verification Algorithms by Springer at EMS Linux. MPN: bibliography, index. Hurry! Limited time offer. Offer valid only while supplies last. Logic Synthesis and Verification Algorithms is a textbook designed for courses on VLSI Logic Synthesis and Verification, Design Automation, CAD and
Logic Synthesis and Verification Algorithms is a textbook designed for courses on VLSI Logic Synthesis and Verification, Design Automation, CAD and advanced level discrete mathematics. It also serves as a basic reference work in design automation for both professionals and students.
Logic Synthesis and Verification Algorithms is about the theoretical underpinnings of VLSI (Very Large Scale Integrated Circuits). It combines and integrates modern developments in logic synthesis and formal verification with the more traditional matter of Switching and Finite Automata Theory. The book also provides background material on Boolean algebra and discrete mathematics.
A unique feature of this text is the large collection of solved problems.
Throughout the text the algorithms covered are the subject of one or more problems based on the use of available synthesis programs.
|Part Number:||bibliography, index|
|Item Weight:||3.1 pounds|
|Item Size:||1 x 10 x 10 inches|
|Package Weight:||3.4 pounds|
|Package Size:||7.32 x 1.56 x 1.56 inches|
Have questions about this item, or would like to inquire about a custom or bulk order?
If you have any questions about this product by Springer, contact us by completing and submitting the form below. If you are looking for a specif part number, please include it with your message.
Related Best Sellers
ean: 9780792391845, isbn: 0792391845,
The field of CMOS integrated circuits has reached a level of maturity where it is now a mainstream technology for high-density digital system designs. This volume deals with circuit design in an integrated CMOS environment. Emphasis is placed on unde...
mpn: 1, ean: 9783540530312, isbn: 3540530312,
Parallelism or concurrency is one of the fundamental concepts in computer science. But in spite of its importance, theoretical methods to handle concurrency are not yet sufficiently developed. This volume presents a comprehensive study of Mazurkiewic...
By Princeton University Press
ean: 9780691155746, isbn: 0691155747,
Between inventing the concept of a universal computer in 1936 and breaking the German Enigma code during World War II, Alan Turing (1912-1954), the British founder of computer science and artificial intelligence, came to Princeton University to study...
By Brand: Springer
mpn: 60 black & white illustrations, 3 black, ean: 9783540741121, isbn: 3540741127,
Written with graduate and advanced undergraduate students in mind, this textbook introduces computational logic from the foundations of first-order logic to state-of-the-art decision procedures for arithmetic, data structures, and combination theorie...
By Morgan Kaufmann
ean: 9780123704979, isbn: 0123704979,
Digital Design and Computer Architecture is designed for courses that combine digital logic design with computer organization/architecture or that teach these subjects as a two-course sequence. Digital Design and Computer Architecture begins with a m...
ean: 9780521670890, isbn: 0521670896,
The second edition of this textbook provides an introductionto formal reasoning that is both relevant to the needs of modern computerscience and rigorous enough for practical application. The presentation is clearand simple. A key feature is the full...
sku: 0070024693:0:1:1, ean: 9780070024694, isbn: 0070024693,
The second edition contains updated and expanded coverage of how to use Simulation Program with Integrated Circuit Emphasis, and SPICE-based programs, to simulate and predict the performance of electronic circuits. Features description of the device ...
By Brand: Course Technology
ean: 9780534373863, isbn: 0534373860,
LOGIC AND STRUCTURED DESIGN is an introduction to the logic of data processing. It is intended for those who plan, but have not yet begun, to study programming, particularly those with little background in mathematics or logic. The author avoids refe...
By Clarendon Press
mpn: bibliography, ean: 9780198149385, isbn: 0198149387,
This is the first study devoted to the classical literary tradition as a whole, together with the apparatus of critical scholarship which was part of that tradition. The work of the ancient critics provides some access to the interpretative conventio...
ean: 9780471657200, isbn: 0471657204,
A hands-on troubleshooting guide for VLSI network designersThe primary goal in VLSI (very large scale integration) powernetwork design is to provide enough power lines across a chip toreduce voltage drops from the power pads to the center of the chip...