Book Club

Computer Science

Analysis of Algorithms

	Introduction to Algorithms (3/E) Authors: Thomas H. Cormen, Charles E. Leiserson, Ronald L. Rivest, and Clifford Stein ISBN: 9780262033848

Artificial Intelligence

	Logic Synthesis and Verification Algorithms Authors: Gary D. Hachtel and Fabio Somenzi ISBN: 9780387310046

Computer Architecture

	CMOS VLSI Design: A Circuits and Systems Perspective (4/E) Authors: Neil Weste and David Harris ISBN: 9780321547743

	Digital Arithmetic Authors: Milos D. Ercegovac and Tomás Lang ISBN: 9781558607989

	Digital Design and Computer Architecture Authors: David Harris and Sarah Harris ISBN: 9780123704979

	Logical Effort: Designing Fast CMOS Circuits Authors: Ivan Sutherland, Robert F. Sproull, and David Harris ISBN: 9781558605572

	Reconfigurable Computing: The Theory and Practice of FPGA-Based Computation Authors: Scott Hauck and Andre DeHon ISBN: 9780123705228

	Skew-Tolerant Circuit Design Author: David Harris ISBN: 9781558606364

Computer Organization

	Computer Organization and Design: The Hardware/Software Interface (4/E) Authors: David A. Patterson and John L. Hennessy ISBN: 9780123744937

Computer Programming

	Advanced Compiler Design and Implementation Author: Steven Muchnick ISBN: 9781558603202

	Applied Cryptography: Protocols, Algorithms, and Source Code in C (2/E) Author: Bruce Schneier ISBN: 9780471117094

	C Programming Language (2/E) Authors: Brian W. Kernighan and Dennis Ritchie ISBN: 9780131103627

	Compilers: Principles, Techniques, & Tools with Gradiance (2/E) Authors: Alfred V. Aho, Monica S. Lam, Ravi Sethi, and Jeffrey D. Ullman ISBN: 9780321547989

	Computer Arithmetic Algorithms (2/E) Author: Israel Koren ISBN: 9781568811604

	Essential VHDL: RTL Synthesis Done Right Author: Sundar Rajan ISBN: 0966959000

	Structure and Interpretation of Computer Programs (2/E) Authors: Harold Abelson and Gerald Jay Sussman ISBN: 9780262510875

Digital Logic Design

	Digital Design (Verilog): An Embedded Systems Approach Using Verilog Author: Peter Ashenden ISBN: 9780123695277

	Digital Design (VHDL): An Embedded Systems Approach Using VHDL Author: Peter Ashenden ISBN: 9780123695284

Discrete Mathematics

	Discrete Mathematics and Its Applications Author: Kenneth H. Rosen ISBN: 9780073229720

Operating Systems

	Operating System Concepts (8/E) Authors: Abraham Silberschatz, Peter Baer Galvin, and Greg Gagne ISBN: 9780470128725

Theory of Computation

	Switching and Finite Automata Theory (3/E) Author: Zvi Kohavi ISBN: 9780521857482

Electrical & Electronics Engineering

Analog Integrated Circuits

	Analysis and Design of Analog Integrated Circuits (5/E) Author: Paul R. Gray ISBN: 9780470245996

	Design of Analog CMOS Integrated Circuits Author: Behzad Razavi ISBN: 9780072380323

	Design with Operational Amplifiers and Analog Integrated Circuits (3/E) Author: Sergio Franco ISBN: 9780072320848

Circuits

	Advanced FPGA Design: Architecture, Implementation, and Optimization Author: Steve Kilts ISBN: 9780470054376

	CMOS: Circuit Design, Layout and Simulation, Revised (3/E) Author: R. Jacob Baker ISBN: 9780470229415

	CMOS: Mixed-Signal Circuit Design (2/E) Author: R. Jacob Baker ISBN: 9780470290262

	Design for Manufacturability and Yield for Nano-Scale CMOS Authors: Charles Chiang and Jamil Kawa ISBN: 9781402051876

	Digital System Clocking: High-Performance and Low-Power Aspects Authors: Vojin G. Oklobdzija, Vladimir M. Stojanovic, Dejan M. Markovic and Nikola M. Nedovic ISBN: 9780471274476

	High-Speed Digital System Design: A Handbook of Interconnect Theory and Design Practices Authors: Stephen H. Hall, Garrett W. Hall, and James A. McCall ISBN: 9780471360902

	Logic Synthesis and Verification Algorithms Authors: Gary D. Hachtel and Fabio Somenzi ISBN: 9780387310046

	Low Power Design Methodologies Authors: Jan M. Rabaey and Massoud Pedram ISBN: 9780792396307

	Low Power Digital CMOS Design Authors: Anantha P. Chandrakasan and Robert W. Brodersen ISBN: 9780792395768

	Low-Power CMOS Circuits: Technology, Logic Design and CAD Tools Author: Christian Piguet ISBN: 9780849395376

	Low-Power Digital VLSI Design: Circuits and Systems Authors: Abdellatif Bellaouar and Mohamed Elmasry ISBN: 9780792395874

	Low-Power Variation-Tolerant Design in Nanometer Silicon Author: Swarup Bhunia and Saibal Mukhopadhyay ISBN: 9781441974174

	Microelectronic Circuits: Theory and Applications (5/E) Authors: Adel S. Sedra, Kenneth C. Smith and Arun N. Chandorkar ISBN: 9780198062257

	Power Aware Design Methodologies Authors: Massoud Pedram and Jan M. Rabaey ISBN: 9781402071522

	SystemVerilog for Verification Author: Chris Spear ISBN: 9780387765297

	Technology Computer Aided Design for Si, SiGe and GaAs Integrated Circuits Authors: G.A. Armstrong and C.K. Maiti ISBN: 9780863417436

	The Art of Electronics (2/E) Authors: Paul Horowitz and Winfield Hill ISBN: 9780521370950

	Verification Methodology Manual for Low Power Authors: Srikanth Jadcherla, Janick Bergeron, Yoshio Inoue, and David Flynn ISBN: 9781607434139

	Verification Methodology Manual for SystemVerilog Authors: Janick Bergeron, Eduard Cerny, Alan Hunter, and Andy Nightingale ISBN: 9780387255385

	VLSI Circuit Simulation and Optimization Authors: V. Litovski and Mark Zwolinski ISBN: 9780412638602

	Writing Testbenches Using SystemVerilog Author: Janick Bergeron ISBN: 9780387292212

	Writing Testbenches: Functional Verification of HDL models (2/E) Author: Janick Bergeron ISBN: 9781402074011

Digital Hardware Design

	The Simple Art of SoC Design Author: Michael Keating ISBN: 9781441985859

	Verilog HDL (2/E) Author: Samir Palnitkar ISBN: 9780130449115

	Verilog Styles for Synthesis of Digital Systems Authors: David R. Smith and Paul D. Franzon ISBN: 9780201618600

Digital Integrated Circuits

	Analysis and Design of Digital Integrated Circuits (3/E) Authors: David A. Hodges, Horace G. Jackson, and Resve A. Saleh ISBN: 9780072283655

	Digital Integrated Circuits (2/E) Authors: Jan M. Rabaey, Anantha Chandrakasan, and Borivoje Nikolic ISBN: 9780130909961

	Low Power Design Essentials Author: Jan Rabaey ISBN: 9780387717128

	Low Power Methodology Manual Authors: Michael Keating, David Flynn, Rob Aitken, Alan Gibbons and Kaijian Shi ISBN: 9780387718187

	Synthesis and Optimization of Digital Circuits Author: Giovanni De Micheli ISBN: 0070163332

	The Design of CMOS Radio-Frequency Integrated Circuits (2/E) Author: Thomas H. Lee ISBN: 9780521835398

Digital Logic Design

	CMOS Logic Circuit Design Author: John P. Uyemura ISBN: 9780792384526

	Contemporary Logic Design (2/E) Authors: Randy Katz and Gaetano Boriello ISBN: 9780201308570

	High-Performance System Design: Circuits and Logic Author: Vojin G. Oklobdzija ISBN: 9780780347168

	High-Speed Digital Design: A Handbook of Black Magic Authors: Howard Johnson and Martin Graham ISBN: 9780133957242

	Logic Design Principles: With Emphasis on Testable Semicustom Circuits Author: Edward J. McCluskey ISBN: 0135397847

Digital Signal Processing

	Design of Analog-Digital VLSI Circuits for Telecommunications and Signal Processing (2/E) Authors: Jose Epifanio Franca and Yannis Tsividis ISBN: 9780132036399

	VLSI Digital Signal Processing Systems: Design and Implementation Author: Keshab K. Parhi ISBN: 9780471241867

Digital System Design

	Digital System Design with SystemVerilog Author: Mark Zwolinski ISBN: 9780137045792

	Digital Systems Testing and Testable Design Authors: Miron Abramovici, Melvin A. Breuer, and Arthur D. Friedman ISBN: 817224438X

Digital System Verification

	SystemVerilog for Verification Author: Chris Spear ISBN: 9780387765297

	Verification Methodology Manual for Low Power Authors: Srikanth Jadcherla, Janick Bergeron, Yoshio Inoue, and David Flynn ISBN: 9781607434139

	Verification Methodology Manual for SystemVerilog Authors: Janick Bergeron, Eduard Cerny, Alan Hunter, and Andy Nightingale ISBN: 9780387255385

	Writing Testbenches Using SystemVerilog Author: Janick Bergeron ISBN: 9780387292212

	Writing Testbenches: Functional Verification of HDL models (2/E) Author: Janick Bergeron ISBN: 9781402074011

Microprocessors

	Design of High-Performance Microprocessor Circuits Authors: Anantha Chandrakasan, William J. Bowhill, and Frank Fox ISBN: 9780780360013

	Modern Processor Design: Fundamentals of Superscalar Processors Authors: John P. Shen, Mikko Lipasti, and John Shen ISBN: 9780070570641

	The Art of Electronics (2/E) Authors: Paul Horowitz and Winfield Hill ISBN: 9780521370950

Power Electronics

	Low-Power CMOS VLSI Circuit Design Authors: Kaushik Roy and Sharat Prasad ISBN: 9780471114888

Semiconductors

	Advanced Semiconductor Memories: Architectures, Designs, and Applications Author: Ashok K. Sharma ISBN: 9780471208136

	Design for Manufacturability and Yield for Nano-Scale CMOS Authors: Charles Chiang and Jamil Kawa ISBN: 9781402051876

VLSI Circuits

	Algorithms for VLSI Physical Design Automation (3/E) Author: Naveed A. Sherwani ISBN: 9780792383932

	An Introduction to VLSI Physical Design Authors: Majid Sarrafzadeh and C. K. Wong ISBN: 9780070571945

	Design of Analog-Digital VLSI Circuits for Telecommunications and Signal Processing (2/E) Authors: Jose Epifanio Franca and Yannis Tsividis ISBN: 9780132036399

	Essentials of Electronic Testing for Digital, Memory, and Mixed-Signal VLSI Circuits Authors: Michael L. Bushnell and Vishwani D. Agrawal ISBN: 9780792379911

	Introduction to VLSI Circuits and Systems Author: John P. Uyemura ISBN: 9780471127048

	Introduction to VLSI Systems Authors: Carver Mead and Lynn Conway ISBN: 0201043580

	Low Voltage, Low Power VLSI Subsystems Authors: Kiat-Seng Yeo and Kaushik Roy ISBN: 007143786X

	Mixed Analog-Digital VLSI Device and Technology: An Introduction Author: Yannis Tsividis ISBN: 9780070654020

	Practical Low Power Digital VLSI Design Author: Gary K. Yeap ISBN: 9780792380092

	VLSI Technology (2/E) Author: Simon Sze ISBN: 9780070627352