Biju Patnaik Central Library catalog › Results of search for 'su:"Computer aided design."'

1.

Low-power design of nanometer FPGAs [electronic resource] : architecture and EDA / by Hassan Hassan, Mohab Anis.

by Hassan, Hassan, 1979- | Anis, Mohab.

Material type: Text

Text; Format: available online remote

; Literary form: Not fiction Publisher: Amsterdam ; Boston : Burlington, MA : Elsevier ; Morgan Kaufmann, c2010Online access: ScienceDirect Availability: No items available :

2.

Computer-aided molecular design [electronic resource] : theory and applications / Jean-Pierre Doucet, Jacques Weber.

by Doucet, Jean-Pierre | Weber, Jacques.

Material type: Text

Text; Format: available online remote

; Literary form: Not fiction Publisher: London ; San Diego : Academic Press, c1996Online access: ScienceDirect Availability: No items available :

3.

Mixed-Signal Layout Generation Concepts [electronic resource] / by Chieh Lin, Arthur H. M. Roermund, Domine M. W. Leenaerts.

by Lin, Chieh [author.] | Roermund, Arthur H. M [author.] | Leenaerts, Domine M. W [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text

Text; Format: electronic available online remote

; Literary form: Not fiction Language: English Publisher: Boston, MA : Springer US, 2005Online access: Click here to access online Availability: No items available :

4.

Taxonomies for the Development and Verification of Digital Systems [electronic resource] / edited by Brian Bailey, Grant Martin, Thomas Anderson.

by Bailey, Brian [editor.] | Martin, Grant [editor.] | Anderson, Thomas [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text

Text; Format: electronic available online remote

; Literary form: Not fiction Language: English Publisher: Boston, MA : Springer US, 2005Online access: Click here to access online Availability: No items available :

5.

Semiconductor Modeling [electronic resource] : For Simulating Signal, Power, and Electromagnetic Integrity / by Roy G. Leventhal, Lynne Green.

by Leventhal, Roy G [author.] | Green, Lynne [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text

Text; Format: electronic available online remote

; Literary form: Not fiction Language: English Publisher: Boston, MA : Springer US, 2006Online access: Click here to access online Availability: No items available :

6.

Verification Methodology Manual for SystemVerilog [electronic resource] / by Janick Bergeron, Eduard Cerny, Alan Hunter, Andrew Nightingale.

by Bergeron, Janick [author.] | Cerny, Eduard [author.] | Hunter, Alan [author.] | Nightingale, Andrew [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text

Text; Format: electronic available online remote

; Literary form: Not fiction Language: English Publisher: Boston, MA : Springer US, 2006Online access: Click here to access online Availability: No items available :

7.

Advances in Design and Specification Languages for SoCs [electronic resource] : Selected Contributions from FDL’04 / edited by Pierre Boulet.

by Boulet, Pierre [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text

Text; Format: electronic available online remote

; Literary form: Not fiction Language: English Publisher: Boston, MA : Springer US, 2005Online access: Click here to access online Availability: No items available :

8.

Functional Verification of Programmable Embedded Architectures [electronic resource] : A Top-Down Approach / by Prabhat Mishra, Nikil D. Dutt.

by Mishra, Prabhat [author.] | Dutt, Nikil D [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text

Text; Format: electronic available online remote

; Literary form: Not fiction Language: English Publisher: Boston, MA : Springer US, 2005Online access: Click here to access online Availability: No items available :

9.

Electromagnetic Compatibility of Integrated Circuits [electronic resource] : Techniques for low emission and susceptibility / edited by Sonia Ben Dhia, Mohamed Ramdani, Etienne Sicard.

by Ben Dhia, Sonia [editor.] | Ramdani, Mohamed [editor.] | Sicard, Etienne [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text

Text; Format: electronic available online remote

; Literary form: Not fiction Language: English Publisher: Boston, MA : Springer US : Imprint: Springer, 2006Online access: Click here to access online Availability: No items available :

10.

Systemverilog for Verification [electronic resource] : A Guide to Learning the Testbench Language Features / by Chris Spear.

by Spear, Chris [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text

Text; Format: electronic available online remote

; Literary form: Not fiction Language: English Publisher: Boston, MA : Springer US, 2006Online access: Click here to access online Availability: No items available :

11.

Leakage in Nanometer CMOS Technologies [electronic resource] / by Siva G. Narendra, Anantha Chandrakasan.

by Narendra, Siva G [author.] | Chandrakasan, Anantha [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text

Text; Format: electronic available online remote

; Literary form: Not fiction Language: English Publisher: Boston, MA : Springer US, 2006Online access: Click here to access online Availability: No items available :

12.

The Finite Element Method and Applications in Engineering Using Ansys® [electronic resource] / by Erdogan Madenci, Ibrahim Guven.

by Madenci, Erdogan [author.] | Guven, Ibrahim [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text

Text; Format: electronic available online remote

; Literary form: Not fiction Language: English Publisher: Boston, MA : Springer US, 2006Online access: Click here to access online Availability: No items available :

13.

Design of Embedded Control Systems [electronic resource] / by Marian Andrzej Adamski, Andrei Karatkevich, Marek Wegrzyn.

by Adamski, Marian Andrzej [author.] | Karatkevich, Andrei [author.] | Wegrzyn, Marek [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text

Text; Format: electronic available online remote

; Literary form: Not fiction Language: English Publisher: Boston, MA : Springer US, 2005Online access: Click here to access online Availability: No items available :

14.

Rapid Prototyping of Digital Systems [electronic resource] / by James O. Hamblen, Tyson S. Hall, Michael D. Furman.

by Hamblen, James O [author.] | Hall, Tyson S [author.] | Furman, Michael D [author.] | SpringerLink (Online service).

Edition: QUARTUS® II EDITION.Source: Springer eBooksMaterial type: Text

Text; Format: electronic available online remote

; Literary form: Not fiction Language: English Publisher: Boston, MA : Springer US, 2006Online access: Click here to access online Availability: No items available :

15.

Interconnect Noise Optimization in Nanometer Technologies [electronic resource] / by Mohamed A. Elgamel, Magdy A. Bayoumi.

by Elgamel, Mohamed A [author.] | Bayoumi, Magdy A [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text

Text; Format: electronic available online remote

; Literary form: Not fiction Language: English Publisher: Boston, MA : Springer US, 2006Online access: Click here to access online Availability: No items available :

16.

Thermal and Power Management of Integrated Circuits [electronic resource] / by Arman Vassighi, Manoj Sachdev.

by Vassighi, Arman [author.] | Sachdev, Manoj [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text

Text; Format: electronic available online remote

; Literary form: Not fiction Language: English Publisher: Boston, MA : Springer US, 2006Online access: Click here to access online Availability: No items available :

17.

Scalable Hardware Verification with Symbolic Simulation [electronic resource] / by Valeria Bertacco.

by Bertacco, Valeria [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text

Text; Format: electronic available online remote

; Literary form: Not fiction Language: English Publisher: Boston, MA : Springer US, 2006Online access: Click here to access online Availability: No items available :

18.

Embedded System Design [electronic resource] / by Peter Marwedel.

by Marwedel, Peter [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text

Text; Format: electronic available online remote

; Literary form: Not fiction Language: English Publisher: Boston, MA : Springer US, 2006Online access: Click here to access online Availability: No items available :

19.

Constraint-Based Verification [electronic resource] / by Jun Yuan, Carl Pixley, Adnan Aziz.

by Yuan, Jun [author.] | Pixley, Carl [author.] | Aziz, Adnan [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text

Text; Format: electronic available online remote

; Literary form: Not fiction Language: English Publisher: Boston, MA : Springer US, 2006Online access: Click here to access online Availability: No items available :

20.

Writing Testbenches using System Verilog [electronic resource] / by Janick Bergeron.

by Bergeron, Janick [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text

Text; Format: electronic available online remote

; Literary form: Not fiction Language: English Publisher: Boston, MA : Springer US : Imprint: Springer, 2006Online access: Click here to access online Availability: No items available :

21.

Abstraction Refinement for Large Scale Model Checking [electronic resource] / by Chao Wang, Gary D. Hachtel, Fabio Somenzi.

by Wang, Chao [author.] | Hachtel, Gary D [author.] | Somenzi, Fabio [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text

Text; Format: electronic available online remote

; Literary form: Not fiction Language: English Publisher: Boston, MA : Springer US, 2006Online access: Click here to access online Availability: No items available :

22.

The Core Test Wrapper Handbook [electronic resource] : Rationale and Application of IEEE Std. 1500™ / by Francisco Silva, Teresa McLaurin, Tom Waayers.

by Silva, Francisco [author.] | McLaurin, Teresa [author.] | Waayers, Tom [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text

Text; Format: electronic available online remote

; Literary form: Not fiction Language: English Publisher: Boston, MA : Springer US, 2006Online access: Click here to access online Availability: No items available :

23.

A Practical Introduction to PSL [electronic resource] / by Cindy Eisner, Dana Fisman.

by Eisner, Cindy [author.] | Fisman, Dana [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text

Text; Format: electronic available online remote

; Literary form: Not fiction Language: English Publisher: Boston, MA : Springer US, 2006Online access: Click here to access online Availability: No items available :

24.

Hardware Verification with C++ [electronic resource] : A Practitioner’s Handbook / by Mike Mintz, Robert Ekendahl.

by Mintz, Mike [author.] | Ekendahl, Robert [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text

Text; Format: electronic available online remote

; Literary form: Not fiction Language: English Publisher: Boston, MA : Springer US, 2006Online access: Click here to access online Availability: No items available :

25.

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 [author.] | Davidmann, Simon [author.] | Flake, Peter [author.] | SpringerLink (Online service).

Edition: Second Edition.Source: Springer eBooksMaterial type: Text

Text; Format: electronic available online remote

; Literary form: Not fiction Language: English Publisher: Boston, MA : Springer US, 2006Online access: Click here to access online Availability: No items available :

Biju Patnaik Central Library

Refine your search

Availability

Authors

Item types

Locations

Series

Topics

Your search returned 477 results.