|
|
3741.
|
Scalable Hardware Verification with Symbolic Simulation
: [electronic resource] /
by Bertacco, Valeria [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
not fiction
Description: XX, 180 p. 40 illus. online resource.Publisher: Boston, MA : Springer US, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
3742.
|
Embedded System Design
: [electronic resource] /
by Marwedel, Peter [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVII, 241 p. online resource.Publisher: Boston, MA : Springer US, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
3743.
|
Fundamentals of Switching Theory and Logic Design
: A Hands on Approach /
: [electronic resource] :
by Astola, Jaakko T [author.] | Stanković, Radomir S [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIV, 342 p. online resource.Publisher: Boston, MA : Springer US, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
3744.
|
Wide-Bandwidth High-Dynamic Range D/A Converters
: [electronic resource] /
by Doris, Konstantinos [author.] | van Roermund, Arthu [author.] | Leenaerts, Domine [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVIII, 202 p. online resource.Publisher: Boston, MA : Springer US, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
3745.
|
Constraint-Based Verification
: [electronic resource] /
by Yuan, Jun [author.] | Pixley, Carl [author.] | Aziz, Adnan [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XII, 254 p. 72 illus. online resource.Publisher: Boston, MA : Springer US, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
3746.
|
Fault-Tolerance Techniques for SRAM-based FPGAs
: [electronic resource] /
by Kastensmidt, Fernanda Lima [author.] | Carro, Luigi [author.] | Reis, Ricardo [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVI, 184 p. online resource.Publisher: Boston, MA : Springer US, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
3747.
|
Writing Testbenches using System Verilog
: [electronic resource] /
by Bergeron, Janick [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XXVI, 412 p. online resource.Publisher: Boston, MA : Springer US : Imprint: Springer, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
3748.
|
Digital Timing Measurements
: From Scopes and Probes to Timing and Jitter /
: [electronic resource] :
by Maichen, Wolfgang [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIV, 240 p. online resource.Publisher: Boston, MA : Springer US, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
3749.
|
Adaptive Techniques for Mixed Signal System on Chip
: [electronic resource] /
by Fayed, Ayman [author.] | Ismail, Mohammed [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIII, 178 p. online resource.Publisher: Boston, MA : Springer US, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
3750.
|
Effective Functional Verification
: Principles and Processes /
: [electronic resource] :
by Vasudevan, Srivatsa [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XXIV, 256 p. online resource.Publisher: Boston, MA : Springer US, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
3751.
|
High-Performance Energy-Efficient Microprocessor Design
: [electronic resource] /
by Oklobdzija, Vojin G [editor.] | Krishnamurthy, Ram K [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: X, 338 p. online resource.Publisher: Boston, MA : Springer US, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
3752.
|
Abstraction Refinement for Large Scale Model Checking
: [electronic resource] /
by Wang, Chao [author.] | Hachtel, Gary D [author.] | Somenzi, Fabio [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIV, 179 p. online resource.Publisher: Boston, MA : Springer US, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
3753.
|
The Core Test Wrapper Handbook
: Rationale and Application of IEEE Std. 1500™ /
: [electronic resource] :
by Silva, Francisco da [author.] | McLaurin, Teresa [author.] | Waayers, Tom [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XXIX, 276 p. online resource.Publisher: Boston, MA : Springer US, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
3754.
|
Technology Portfolio Planning and Management
: Practical Concepts and Tools /
: [electronic resource] :
by Yu, Oliver S [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: VIII, 174 p. online resource.Publisher: Boston, MA : Springer US, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
3755.
|
A Practical Introduction to PSL
: [electronic resource] /
by Eisner, Cindy [author.] | Fisman, Dana [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVI, 240 p. online resource.Publisher: Boston, MA : Springer US, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
3756.
|
Hardware Verification with C++
: A Practitioner’s Handbook /
: [electronic resource] :
by Mintz, Mike [author.] | Ekendahl, Robert [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XXI, 341 p. online resource.Publisher: Boston, MA : Springer US, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
3757.
|
SystemVerilog for Design
: A Guide to Using SystemVerilog for Hardware Design and Modeling /
: [electronic resource] :
by Sutherland, Stuart [author.] | Davidmann, Simon [author.] | Flake, Peter [author.] | SpringerLink (Online service). Edition: Second Edition.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XXX, 418 p. online resource.Publisher: Boston, MA : Springer US, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
3758.
|
Analog Circuit Design
: RF Circuits: Wide band, Front-Ends, DAC's, Design Methodology and Verification for RF and Mixed-Signal Systems, Low Power and Low Voltage /
: [electronic resource] :
by Steyaert, Michiel [editor.] | Huijsing, Johan H [editor.] | van Roermund, Arthur H.M [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: IX, 403 p. online resource.Publisher: Dordrecht : Springer Netherlands, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
3759.
|
Parallel Robots
: [electronic resource] /
by Merlet, J. -P [author.] | SpringerLink (Online service). Edition: Second Edition.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XX, 402 p. online resource.Publisher: Dordrecht : Springer Netherlands, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
3760.
|
Low-Power Low-Voltage Sigma-Delta Modulators in Nanometer CMOS
: [electronic resource] /
by Yao, Libin [author.] | Steyaert, Michiel [author.] | Sansen, Willy [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XXIV, 158 p. online resource.Publisher: Dordrecht : Springer Netherlands, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
