|
|
61.
|
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
|
|
|
62.
|
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
|
|
|
63.
|
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
|
|
|
64.
|
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
|
|
|
65.
|
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
|
|
|
66.
|
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
|
|
|
67.
|
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
|
|
|
68.
|
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
|
|
|
69.
|
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
|
|
|
70.
|
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
|
|
|
71.
|
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
|
|
|
72.
|
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
|
|
|
73.
|
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
|
|
|
74.
|
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
|
|
|
75.
|
SystemC: From the Ground Up [electronic resource] / by David C. Black, Jack Donovan, Bill Bunton, Anna Keist.
by Black, David C | Donovan, Jack | Bunton, Bill | Keist, Anna | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Boston, MA : Springer US, 2010Online access: Click here to access online Availability: No items available
|
|
|
76.
|
Timing Optimization Through Clock Skew Scheduling [electronic resource] / edited by Ivan S. Kourtev, Baris Taskin, Eby G. Friedman.
by Kourtev, Ivan S | Taskin, Baris | Friedman, Eby G | 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
|
|
|
77.
|
Power Distribution Networks with On-Chip Decoupling Capacitors [electronic resource] / by Mikhhail Popovich, Andrey V. Mezhiba, Eby G. Friedman.
by Popovich, Mikhhail | Mezhiba, Andrey V | Friedman, Eby G | 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
|
|
|
78.
|
Verilog and SystemVerilog Gotchas [electronic resource] : 101 Common Coding Errors and How to Avoid Them / by Stuart Sutherland, Don Mills.
by Sutherland, Stuart | Mills, Don | 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
|
|
|
79.
|
Standardized Functional Verification [electronic resource] / by Alan Wiemann.
by Wiemann, Alan | 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
|
|
|
80.
|
Hardware Verification with SystemVerilog [electronic resource] : An Object-Oriented Framework / 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, 2007Online access: Click here to access online Availability: No items available
|
