Logic Synthesis and Verification Image close
Logic Synthesis and Verification on Hardback
Logic Synthesis and Verification on Hardback
Show Hide Adult Content
Logic Synthesis and Verification close

Non-Fiction Books:

Home  
Books  
Non-Fiction  
Technology  
Electronics & communications engineering  
Electronics engineering  
Circuits & components

Logic Synthesis and Verification

Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

Format:

Hardback
$418.99
RRP:
$440.95 save $21.96
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley

Buy Now, Pay Later with:

4 payments of $104.75 with Afterpay Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 11-21 June using International Courier

Explore more The Springer International Series in Engineering and Computer Science

See all products in this series

Dynamic Characterisation of Analogue-to-Digital Converters on Hardback Save $79
$414.99
$494.95
Dynamic Characterisation of Analogue-to-Digital Converters
Hardback
Available - Usually ships in 3-4 weeks
Perceptual Organization and Visual Recognition on Hardback by D. Lowe Save $47
$268.99
$316.95
Perceptual Organization and Visual Recognition
by D. Lowe ~ Hardback
Available - Usually ships in 3-4 weeks
Distortion Analysis of Analog Integrated Circuits on Hardback by Piet Wambacq
$919.99
Distortion Analysis of Analog Integrated Circuits
by Piet Wambacq ~ Hardback
Available - Usually ships in 3-4 weeks
High Performance Computing Systems and Applications on Hardback
$421.99
High Performance Computing Systems and Applications
Hardback
Available - Usually ships in 3-4 weeks
Analog Design for CMOS VLSI Systems on Hardback by Franco Maloberti
$535.99
Analog Design for CMOS VLSI Systems
by Franco Maloberti ~ Hardback
Available - Usually ships in 3-4 weeks
Multimedia Information Retrieval on Hardback by Peter Schauble Save $16
$411.99
$428.95
Multimedia Information Retrieval
by Peter Schauble ~ Hardback
Available - Usually ships in 3-4 weeks
Real-Time Search for Learning Autonomous Agents on Hardback by Toru Ishida
$410.99
Real-Time Search for Learning Autonomous Agents
by Toru Ishida ~ Hardback
Available - Usually ships in 3-4 weeks
Design of Low-Voltage Bipolar Operational Amplifiers on Hardback by M.Jeroen Fonderie
$412.99
Design of Low-Voltage Bipolar Operational Amplifiers
by M.Jeroen Fonderie ~ Hardback
Available - Usually ships in 3-4 weeks
Symbolic Analysis of Analog Circuits: Techniques and Applications on Hardback Save $92
$268.99
$361.95
Symbolic Analysis of Analog Circuits: Techniques and Applications
Hardback
Available - Usually ships in 3-4 weeks
Sequential Logic Testing and Verification on Hardback by Abhijit Ghosh
$412.99
Sequential Logic Testing and Verification
by Abhijit Ghosh ~ Hardback
Available - Usually ships in 3-4 weeks
The SECD Microprocessor on Hardback by Brian T. Graham Save $35
$280.99
$316.95
The SECD Microprocessor
by Brian T. Graham ~ Hardback
Available - Usually ships in 3-4 weeks
Physical Design for Multichip Modules on Hardback by Mysore Sriram Save $15
$412.99
$428.95
Physical Design for Multichip Modules
by Mysore Sriram ~ Hardback
Available - Usually ships in 3-4 weeks
Investigating Explanation-Based Learning on Hardback
$537.99
Investigating Explanation-Based Learning
Hardback
Available - Usually ships in 3-4 weeks
Leaf Cell and Hierarchical Compaction Techniques on Hardback by Cyrus Bamji Save $103
$279.99
$383.95
Leaf Cell and Hierarchical Compaction Techniques
by Cyrus Bamji ~ Hardback
Available - Usually ships in 3-4 weeks
Neural Networks in Robotics on Hardback Save $40
$540.99
$581.95
Neural Networks in Robotics
Hardback
Available - Usually ships in 3-4 weeks
A Survey of High-Level Synthesis Systems on Hardback Save $35
$280.99
$316.95
A Survey of High-Level Synthesis Systems
Hardback
Available - Usually ships in 3-4 weeks

Description

Research and development of logic synthesis and verification have matured considerably over the last two decades of the 20th century. Many commercial products are available, and they have been critical in harnessing advances in fabrication technology to produce today's plethora of electronic components. While this maturity is assuring, the advances in fabrication continue to seemingly present unwieldy challenges. This text provides a state-of-the-art view of logic synthesis and verification. It consists of 15 chapters, each focusing on a distinct aspect. Each chapter presents key developments, outlines future challenges, and lists essential references. The book chapters are written by 28 recognized leaders in the field and reviewed by equally qualified experts; the topics collectively span the field. Each chapter contains essential information to study a topic at a great depth, and to understand further developments in the field.
Release date Australia
November 30th, 2001
Audiences
  • Postgraduate, Research & Scholarly
  • Professional & Vocational
  • Undergraduate
Contributors
  • Edited by Soha Hassoun
  • Edited by Tsutomu Sasao
Illustrations
XV, 454 p.
Pages
454
Dimensions
155x235x25
ISBN-13
9780792376064
Product ID
2437978

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Non-Fiction >
Technology >
Electronics & communications engineering >
Electronics engineering >
Circuits & components
Books >
Non-Fiction >
Technology >
Energy technology & engineering >
Electrical engineering
Books >
Computers & Internet >
Theory & Design
Books >
Computers & Internet >
Computer Applications
Books >
Computers & Internet >
Graphical & digital media applications >
Computer-aided design (CAD)
Books >
Computers & Internet >
Computer science
Books >
Computers & Internet >
Computer science >
Mathematical theory of computation