Refine your search

Your search returned 37 results.

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

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

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

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

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

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

7.
Closing the Power Gap Between ASIC & Custom [electronic resource] : Tools and Techniques for Low Power Design / by David Chinnery, Kurt Keutzer.

by Chinnery, David [author.] | Keutzer, Kurt [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 :

8.
Verilog and SystemVerilog Gotchas [electronic resource] : 101 Common Coding Errors and How to Avoid Them / by Stuart Sutherland, Don Mills.

by Sutherland, Stuart [author.] | Mills, Don [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 :

9.
Hardware Verification with SystemVerilog [electronic resource] : An Object-Oriented Framework / 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, 2007Online access: Click here to access online Availability: No items available :

10.
Low-Power High-Level Synthesis for Nanoscale CMOS Circuits [electronic resource] / by Priyardarsan Patra, Elias Kougianos, Nagarajan Ranganathan, Saraju P. Mohanty.

by Patra, Priyardarsan [author.] | Kougianos, Elias [author.] | Ranganathan, Nagarajan [author.] | Mohanty, Saraju P [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, 2008Online access: Click here to access online Availability: No items available :

11.
CMOS Active Inductors and Transformers [electronic resource] : Principle, Implementation, and Applications / 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, 2008Online access: Click here to access online Availability: No items available :

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

by Spear, Chris [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, 2008Online access: Click here to access online Availability: No items available :

13.
SystemC Kernel Extensions for Heterogeneous System Modeling [electronic resource] : A framework for Multi-MoC Modeling & Simulation / by Hiren D. Patel, Sandeep K. Shukla.

by Patel, Hiren D [author.] | Shukla, Sandeep K [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.
Hardware Software Co-Design of a Multimedia SOC Platform [electronic resource] / by Sao-Jie Chen, Guang-Huei Lin, Pao-Ann Hsiung, Yu-Hen Hu.

by Chen, Sao-Jie [author.] | Lin, Guang-Huei [author.] | Hsiung, Pao-Ann [author.] | Hu, Yu-Hen [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Dordrecht : Springer Netherlands, 2009Online access: Click here to access online Availability: No items available :

15.
Quantifying and Exploring the Gap Between FPGAs and ASICs [electronic resource] : Measuring and Exploring / by Ian Kuon, Jonathan Rose.

by Kuon, Ian [author.] | Rose, Jonathan [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, 2010Online access: Click here to access online Availability: No items available :

16.
Post-Silicon and Runtime Verification for Modern Processors [electronic resource] / by Ilya Wagner, Valeria Bertacco.

by Wagner, Ilya [author.] | 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, 2011Online access: Click here to access online Availability: No items available :

17.
SystemVerilog for Verification [electronic resource] : A Guide to Learning the Testbench Language Features / by Chris Spear, Greg Tumbush.

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

Edition: 3rd ed. 2012.Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Boston, MA : Springer US : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available :

18.
Formal Methods in Computer-Aided Design [electronic resource] : 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004. Proceedings / edited by Alan J. Hu, Andrew K. Martin.

by Hu, Alan J [editor.] | Martin, Andrew K [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online access: Click here to access online Availability: No items available :

19.
Correct Hardware Design and Verification Methods [electronic resource] : 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L’Aquila, Italy, October 21-24, 2003. Proceedings / edited by Daniel Geist, Enrico Tronci.

by Geist, Daniel [editor.] | Tronci, Enrico [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online access: Click here to access online Availability: No items available :

20.
Correct Hardware Design and Verification Methods [electronic resource] : 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September 4–7, 2001 Proceedings / edited by Tiziana Margaria, Tom Melham.

by Margaria, Tiziana [editor.] | Melham, Tom [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001Online access: Click here to access online Availability: No items available :

21.
Integrated Circuit Design. Power and Timing Modeling, Optimization and Simulation [electronic resource] : 12th International Workshop, PATMOS 2002 Seville, Spain, September 11–13, 2002 Proceedings / edited by Bertrand Hochet, Antonio J. Acosta, Manuel J. Bellido.

by Hochet, Bertrand [editor.] | Acosta, Antonio J [editor.] | Bellido, Manuel J [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002Online access: Click here to access online Availability: No items available :

22.
Fuzzy Logic in Artificial Intelligence [electronic resource] : IJCAI '93 Workshop Chamberry, France, August 28, 1993 Proceedings / edited by Anca L. Ralescu.

by Ralescu, Anca L [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1994Online access: Click here to access online Availability: No items available :

23.
Formal Methods in Computer-Aided Design [electronic resource] : First International Conference, FMCAD '96 Palo Alto, CA, USA, November 6–8, 1996 Proceedings / edited by Mandayam Srivas, Albert Camilleri.

by Srivas, Mandayam [editor.] | Camilleri, Albert [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1996Online access: Click here to access online Availability: No items available :

24.
Correct Hardware Design and Verification Methods [electronic resource] : 13th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005. Proceedings / edited by Dominique Borrione, Wolfgang Paul.

by Borrione, Dominique [editor.] | Paul, Wolfgang [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available :

25.
Digital systems design with vhdl and synthesis: an integrated approach.

by Chang, K. C.

Material type: Text Text; Format: print Language: English Publisher: Washington : Ieee computer society, 2005Availability: Items available for loan: Call number: 621.392 CHA/D (2).


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