Refine your search

Your search returned 163 results.

Not what you expected? Check for suggestions
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.
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 :

3.
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 :

4.
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 :

5.
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 :

6.
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 :

7.
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 :

8.
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 :

9.
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 :

10.
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 :

11.
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 :

12.
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 :

13.
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 :

14.
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 :

15.
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 :

16.
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 :

17.
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 :

18.
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 :

19.
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 :

20.
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 :

21.
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 :

22.
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 :

23.
Inverse Problems in Electric Circuits and Electromagnetics [electronic resource] / by V. L. Chechurin, N. V. Korovkin, M. Hayakawa.

by Chechurin, V. L [author.] | Korovkin, N. V [author.] | Hayakawa, M [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, 2007Online access: Click here to access online Availability: No items available :

24.
CMOS Current-Mode Circuits for Data Communications [electronic resource] / by Fei Yuan.

by Yuan, Fei [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, 2007Online access: Click here to access online Availability: No items available :

25.
Routing Congestion in VLSI Circuits: Estimation and Optimization [electronic resource] / by Prashant Saxena, Rupesh S. Shelar, Sachin S. Sapatnekar.

by Saxena, Prashant [author.] | Shelar, Rupesh S [author.] | Sapatnekar, Sachin S [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, 2007Online access: Click here to access online Availability: No items available :


Implemented and Maintained by Biju Patnaik Central Library.
For any Suggestions/Query Contact to library or Email: library@nitrkl.ac.in OR bpcl-cir@nitrkl.ac.in. Ph:91+6612462103
Website/OPAC best viewed in Mozilla Browser in 1366X768 Resolution.

Powered by Koha