|
|
21.
|
Scalable Hardware Verification with Symbolic Simulation [electronic resource] / by Valeria Bertacco.
by Bertacco, Valeria | SpringerLink (Online service). Source: Springer eBooksMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Boston, MA : Springer US, 2006Online access: Click here to access online Availability: No items available
|
|
|
22.
|
Embedded System Design [electronic resource] / by Peter Marwedel.
by Marwedel, Peter | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Boston, MA : Springer US, 2006Online access: Click here to access online Availability: No items available
|
|
|
23.
|
New Trends and Technologies in Computer-Aided Learning for Computer-Aided Design [electronic resource] : IFIP TC10 Working Conference: EduTech 2005, October 20–21, Perth, Australia / edited by Achim Rettberg, Christophe Bobda.
by Rettberg, Achim | Bobda, Christophe | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Boston, MA : Springer US, 2005Online access: Click here to access online Availability: No items available
|
|
|
24.
|
Constraint-Based Verification [electronic resource] / by Jun Yuan, Carl Pixley, Adnan Aziz.
by Yuan, Jun | Pixley, Carl | Aziz, Adnan | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Boston, MA : Springer US, 2006Online access: Click here to access online Availability: No items available
|
|
|
25.
|
Writing Testbenches using System Verilog [electronic resource] / by Janick Bergeron.
by Bergeron, Janick | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Boston, MA : Springer US, 2006Online access: Click here to access online Availability: No items available
|
|
|
26.
|
Knowledge Enterprise: Intelligent Strategies in Product Design, Manufacturing, and Management [electronic resource] : Proceedings of PROLAMAT 2006, IFIP TC5 International Conference, June 15–17, 2006, Shanghai, China / edited by Kesheng Wang, George L. Kovacs, Michael Wozny, Minglun Fang.
by Wang, Kesheng | Kovacs, George L | Wozny, Michael | Fang, Minglun | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Boston, MA : Springer US, 2006Online access: Click here to access online Availability: No items available
|
|
|
27.
|
Abstraction Refinement for Large Scale Model Checking [electronic resource] / by Chao Wang, Gary D. Hachtel, Fabio Somenzi.
by Wang, Chao | Hachtel, Gary D | Somenzi, Fabio | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Boston, MA : Springer US, 2006Online access: Click here to access online Availability: No items available
|
|
|
28.
|
The Core Test Wrapper Handbook [electronic resource] : Rationale and Application of IEEE Std. 1500™ / by Francisco Silva, Teresa McLaurin, Tom Waayers.
by Silva, Francisco | McLaurin, Teresa | Waayers, Tom | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Boston, MA : Springer US, 2006Online access: Click here to access online Availability: No items available
|
|
|
29.
|
A Practical Introduction to PSL [electronic resource] / by Cindy Eisner, Dana Fisman.
by Eisner, Cindy | Fisman, Dana | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Boston, MA : Springer US, 2006Online access: Click here to access online Availability: No items available
|
|
|
30.
|
Hardware Verification with C++ [electronic resource] : A Practitioner’s Handbook / by Mike Mintz, Robert Ekendahl.
by Mintz, Mike | Ekendahl, Robert | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Boston, MA : Springer US, 2006Online access: Click here to access online Availability: No items available
|
|
|
31.
|
SystemVerilog for Design [electronic resource] : A Guide to Using SystemVerilog for Hardware Design and Modeling / by Stuart Sutherland, Simon Davidmann, Peter Flake.
by Sutherland, Stuart | Davidmann, Simon | Flake, Peter | SpringerLink (Online service). Edition: Second Edition.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Boston, MA : Springer US, 2006Online access: Click here to access online Availability: No items available
|
|
|
32.
|
Inverse Problems in Electric Circuits and Electromagnetics [electronic resource] / by V. L. Chechurin, N. V. Korovkin, M. Hayakawa.
by Chechurin, V. L | Korovkin, N. V | Hayakawa, M | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Boston, MA : Springer US, 2007Online access: Click here to access online Availability: No items available
|
|
|
33.
|
CMOS Current-Mode Circuits for Data Communications [electronic resource] / by Fei Yuan.
by Yuan, Fei | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Boston, MA : Springer US, 2007Online access: Click here to access online Availability: No items available
|
|
|
34.
|
Routing Congestion in VLSI Circuits: Estimation and Optimization [electronic resource] / by Prashant Saxena, Rupesh S. Shelar, Sachin S. Sapatnekar.
by Saxena, Prashant | Shelar, Rupesh S | Sapatnekar, Sachin S | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Boston, MA : Springer US, 2007Online access: Click here to access online Availability: No items available
|
|
|
35.
|
Dynamics of Microelectromechanical Systems [electronic resource] / by Nicolae Lobontiu.
by Lobontiu, Nicolae | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Boston, MA : Springer US, 2007Online access: Click here to access online Availability: No items available
|
|
|
36.
|
Creating Assertion-Based IP [electronic resource] / by Harry D. Foster, Adam C. Krolnik.
by Foster, Harry D | Krolnik, Adam C | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Boston, MA : Springer US, 2008Online access: Click here to access online Availability: No items available
|
|
|
37.
|
Closing the Power Gap Between ASIC & Custom [electronic resource] : Tools and Techniques for Low Power Design / by David Chinnery, Kurt Keutzer.
by Chinnery, David | Keutzer, Kurt | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Boston, MA : Springer US, 2007Online access: Click here to access online Availability: No items available
|
|
|
38.
|
Design for Manufacturability and Statistical Design [electronic resource] : A Constructive Approach / by Michael Orshansky, Sani R. Nassif, Duane Boning.
by Orshansky, Michael | Nassif, Sani R | Boning, Duane | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Boston, MA : Springer US, 2008Online access: Click here to access online Availability: No items available
|
|
|
39.
|
SAT-Based Scalable Formal Verification Solutions [electronic resource] / by Malay K. Ganai, Aarti Gupta.
by Ganai, Malay K | Gupta, Aarti | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Boston, MA : Springer US, 2007Online access: Click here to access online Availability: No items available
|
|
|
40.
|
Carbon Nanotube Electronics [electronic resource] / edited by Jing Kong, Ali Javey.
by Kong, Jing | Javey, Ali | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Boston, MA : Springer US, 2009Online access: Click here to access online Availability: No items available
|
