• SYSTEMVERILOG FOR VERIFICATION 

  CHRIS SPEAR (2006)
• SYSTEMS DESIGN AND THE 8051 

  MARCUS O. DURHAM (2003)
• SYSTEM LEVEL DESIGN OF RECONFIGURABLE SYSTEMS-ON-CHIP 

  NIKOLAOS S. VOROS, KONSTANTINOS MASSELOS (2005)
• PROGRAMMING MICROCONTROLLERS IN C 

  TED VAN SICKLE (2001)
• MODEL AND DESIGN OF BIPOLAR AND MOS CURRENT LOGIC: CML, ECL AND SCL DIGITAL CIRCUITS 

  MASSIMO ALIOTO, GAETANO PALUMBO (2005)
• INTRODUCTION TO ADVANCED SYSTEM-ON-CHIP TESTDESIGN AND OPTIMIZATION 

  ERIK LARSSON (2005)
• ENGINEERING DIGITAL DESIGN 

  RICHARD F. TINDER (2000)
• DIGITAL DESIGN FUNDAMENTALS 

  KENNETH J. BREEDING (1992)
• DIGITAL DESIGN AND IMPLEMENTATION WITH FIELD PROGRAMMABLE DEVICES 

  ZAINALABEDIN NAVABI (2005)
• DIGITAL CIRCUIT ANALYSIS AND DESIGN WITH SIMULINK®MODELING AND INTRODUCTION TO CPLDS AND FPGAS 

  STEVEN T. KARRIS (2010)
• ADVANCES IN DESIGN AND SPECIFICATION LANGUAGES FOR SoCs 

  PIERRE BOULET (2005)
• ADVANCED FORMAL VERIFICATION 

  ROLF DRECHSLER (2004)

View more