Computer-aided design (CAD) books

Synthesis of Finite State Machines: Functional Optimization is one of two monographs devoted to the synthesis of...  Read More >>

This number is actually not surprising, contemplating that in a typical home you might find one or two PCs equipped...  Read More >>

Providing an introduction to low-power VLSI design, this work introduces the design space of ASIP instruction set...  Read More >>

Designs with 20 tr- sistors are easily generated by design engineers without any tools, whilst designs with 20M...  Read More >>

Many interesting design trends are shown by the six papers on operational amplifiers (Op Amps). Two papers on CMOS...  Read More >>

Long design times, a high development cost for alow production volume, the lack of silicon designers and the lack...  Read More >>

Memory Architecture Exploration for Programmable Embedded Systems addresses efficient exploration of alternative...  Read More >>

Recent minimum-delay constructions are highlighted, including provably good cost-radius tradeoffs, critical-sink...  Read More >>

Divided into three parts, this book concentrates on the problems of the matching properties of high frequency MOS...  Read More >>

Behavioral Intervals in Embedded Software introduces a comprehensive approach to timing, power, and communication...  Read More >>

Fault Injection Techniques and Tools for Embedded Systems Reliability Evaluation intends to be a comprehensive guide...  Read More >>

Hardware veri?cation is the process of checking whether a design conforms to its speci?cations of functionality...  Read More >>

Advanced Formal Verification shows the latest developments in the verification domain from the perspectives of the...  Read More >>

High Data Rate Transmitter Circuits is a practical guide and introduction to the design of key RF building blocks...  Read More >>

Humans engage in a seemingly endless variety of different behaviors, of which some are found across species, while...  Read More >>

Boundary element methods are very important for solving boundary value problems in PDEs. Many boundary value problems...  Read More >>

Formal Design Theory (PDT) is a mathematical theory of design. FDT explores issues such as: algebraic representation...  Read More >>

Sigma delta modulation has become a very useful and widely applied technique for high performance Analog-to-Digital...  Read More >>

LANCELOT is a software package for solving large-scale nonlinear optimization problems. Although the book is primarily...  Read More >>

The monograph Micropolar Theory of Elasticity is devoted to the asymmetric theory of elasticity and thermoelasticity,...  Read More >>

This monograph presents the latest advances of fuzzy logic and soft computing in reservoir characterization and...  Read More >>

Reanalysis is needed in many areas such as structural optimization, analysis of damaged structures, nonlinear analysis,...  Read More >>

Test functions (fault detection, diagnosis, error correction, repair, etc.) that are applied concurrently while...  Read More >>

Authored by two of the field's most prominent researchers, this new edition has been comprehensively updated, with...  Read More >>

Focuses on the problem of managing the resource allocation taking place within the operational context of many technological...  Read More >>