Explore Books on
computers logic design

Principles of verifiable RTL design

By Lionel Bening,Lionel Bening,Harry D. Foster

Principles of program analysis

By Flemming Nielson,Hanne Riis Nielson,Chris Hankin

Synthesis of finite state machines

By Tiziano Villa,Timothy Kam,Robert K. Brayton,Alberto L. Sangiovanni-Vincentelli

Cross-talk noise immune VLSI design using regular layout fabrics

By Sunil P. Khatri,Sunil P. Khatri,Robert K. Brayton,Alberto L. Sangiovanni-Vincentelli

VLSI synthesis of DSP kernels

By Mahesh Mehendale,Sunil D. Sherlekar

Spectral techniques in VLSI CAD

By Mitchell Aaron Thornton,Rolf Drechsler,D. Michael Miller

Modern placement techniques

By Majid Sarrafzadeh,Maogang Wang,Xianjian Yang

VLSI design for manufacturing

By Director, Stephen W.,Stephen W. Director,Wojciech Maly,Andrzej J. Strojwas

Verification, Model Checking, and Abstract Interpretation

By Kedar S. Namjoshi,Andreas Podelski

Accelerator data-path synthesis for high-throughput signal processing applications

By Werner Geurts,Francky Catthoor,Serge Vernalde,Hugo De Man

Algorithmic and register-transfer level synthesis

By D. E. Thomas,Donald E. Thomas,Elizabeth D. Lagnese,Robert A. Walker,Jayanth V. Rajan,Robert L. Blackburn,John A. Nestor

High-level synthesis

By Daniel D. Gajski,Nikil D. Dutt,Allen C-H Wu,Steve Y-L Lin

Energy scavenging for wireless sensor networks

By Shad Roundy,Paul Kenneth Wright,Jan M. Rabaey

Low-voltage CMOS operational amplifiers

By Satoshi Sakurai,Mohammed Ismail

Sequential logic synthesis

By Pranav Ashar,Ashar Djaloeis,S. Devadas,A. Richard Newton

Logischer Entwurf digitaler Systeme (Hochschultext)

By Wolfgang Giloi,Hans Liebig

Embedded Systems Design with FPGAs

By Nicolas Sklavos