close
1.

電子ブック
ＥＢ
1. Timing Optimization Through Clock Skew Scheduling
edited by Ivan S. Kourtev, Baris Taskin, Eby G. Friedman
出版情報: Boston, MA : Springer US, 2009
オンライン: http://dx.doi.org/10.1007/978-0-387-71056-3
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. Functional Verification Coverage Measurement and Analysis
by Andrew Piziali
出版情報: New York, NY : Springer US, 2008
オンライン: http://dx.doi.org/10.1007/b117979
所蔵情報: loading…
3.

電子ブック
ＥＢ
3. Functional Verification Coverage Measurement and Analysis
by Andrew Piziali
出版情報: New York, NY : Springer US, 2008
オンライン: http://dx.doi.org/10.1007/b117979
所蔵情報: loading…
4.

電子ブック
ＥＢ
4. CMOS Active Inductors and Transformers : Principle, Implementation, and Applications
by Fei Yuan
出版情報: Boston, MA : Springer Science+Business Media, LLC, 2008
オンライン: http://dx.doi.org/10.1007/978-0-387-76479-5
所蔵情報: loading…
5.

電子ブック
ＥＢ
5. System Verilog for Verification : A Guide to Learning the Testbench Language Features. 2
by Chris Spear
出版情報: Boston, MA : Springer Science+Business Media, LLC, 2008
オンライン: http://dx.doi.org/10.1007/978-0-387-76530-3
所蔵情報: loading…
6.

電子ブック
ＥＢ
6. Design for Manufacturability and Statistical Design : A Constructive Approach
by Michael Orshansky, Sani R. Nassif, Duane Boning
出版情報: Boston, MA : Springer Science+Business Media, LLC, 2008
オンライン: http://dx.doi.org/10.1007/978-0-387-69011-7
所蔵情報: loading…
7.

電子ブック
ＥＢ
7. Creating Assertion-Based IP
by Harry D. Foster, Adam C. Krolnik
出版情報: Boston, MA : Springer Science+Business Media, LLC, 2008
オンライン: http://dx.doi.org/10.1007/978-0-387-68398-0
所蔵情報: loading…
8.

電子ブック
ＥＢ
8. Power Distribution Networks with On-Chip Decoupling Capacitors
by Mikhhail Popovich, Andrey V. Mezhiba, Eby G. Friedman
出版情報: Boston, MA : Springer Science + Business Media, LLC, 2008
オンライン: http://dx.doi.org/10.1007/978-0-387-71601-5
所蔵情報: loading…
9.

電子ブック
ＥＢ
9. Rapid Prototyping of Digital Systems
by James O. Hamblen, Tyson S. Hall, Michael D. Furman
出版情報: Boston, MA : Springer Science+Business Media, LLC, 2008
オンライン: http://dx.doi.org/10.1007/978-0-387-72671-7
所蔵情報: loading…
10.

電子ブック
ＥＢ
10. Closing the Power Gap Between ASIC & Custom : Tools and Techniques for Low Power Design
by David Chinnery, Kurt Keutzer
出版情報: Boston, MA : Springer Science+Business Media, LLC, 2007
オンライン: http://dx.doi.org/10.1007/978-0-387-68953-1
所蔵情報: loading…
11.

電子ブック
ＥＢ
11. CMOS Current-Mode Circuits for Data Communications
by Fei Yuan
出版情報: Boston, MA : Springer Science+Business Media, LLC, 2007
シリーズ名: Analog Circuits and Signal Processing ;
オンライン: http://dx.doi.org/10.1007/978-0-387-47691-9
所蔵情報: loading…
12.

電子ブック
ＥＢ
12. Embedded System Design
by P. Marwedel
出版情報: New York, NY : Springer US, 2006
オンライン: http://dx.doi.org/10.1007/0-387-29237-3
所蔵情報: loading…
13.

電子ブック
ＥＢ
13. Semiconductor Modeling : For Simulating Signal, Power, and Electromagnetic Integrity
by Roy G. Leventhal, Lynne Green
出版情報: Boston, MA : Springer Science+Business Media, LLC, 2006
オンライン: http://dx.doi.org/10.1007/b104647
所蔵情報: loading…
14.

電子ブック
ＥＢ
14. Scalable Hardware Verification with Symbolic Simulation
by Valeria Bertacco
出版情報: Boston, MA : Springer Science+Business Media, Inc., 2006
オンライン: http://dx.doi.org/10.1007/0-387-29906-8
所蔵情報: loading…
15.

電子ブック
ＥＢ
15. Verification Methodology Manual for SystemVerilog
by Janick Bergeron, Eduard Cerny, Alan Hunter, Andrew Nightingale
出版情報: Boston, MA : Synopsys, Inc. and ARM Limited, 2006
オンライン: http://dx.doi.org/10.1007/b135575
所蔵情報: loading…
16.

電子ブック
ＥＢ
16. Hardware Verification with C+ : A Practitioner's Handbook
by Mike Mintz, Robert Ekendahl
出版情報: Boston, MA : Springer Science+Business Media, LLC, 2006
オンライン: http://dx.doi.org/10.1007/978-0-387-36254-0
所蔵情報: loading…
17.

電子ブック
ＥＢ
17. Leakage in Nanometer CMOS Technologies
by Siva G. Narendra, Anantha Chandrakasan
出版情報: Boston, MA : Springer Science+Business Media, Inc., 2006
シリーズ名: Series on Integrated Circuits and Systems ;
オンライン: http://dx.doi.org/10.1007/0-387-28133-9
所蔵情報: loading…
18.

電子ブック
ＥＢ
18. Thermal and Power Management of Integrated Circuits
by Arman Vassighi, Manoj Sachdev
出版情報: Boston, MA : Springer Science+Business Media, Inc., 2006
シリーズ名: Series on Integrated Circuits and Systems ;
オンライン: http://dx.doi.org/10.1007/0-387-29749-9
所蔵情報: loading…
19.

電子ブック
ＥＢ
19. Interconnect Noise Optimization in Nanometer Technologies
by Mohamed A. Elgamel, Magdy A. Bayoumi
出版情報: Boston, MA : Springer Science+Business Media, Inc., 2006
オンライン: http://dx.doi.org/10.1007/0-387-29366-3
所蔵情報: loading…
20.

電子ブック
ＥＢ
20. Constraint-Based Verification
by Jun Yuan, Carl Pixley, Adnan Aziz
出版情報: Boston, MA : Springer Science+Business Media, Inc., 2006
オンライン: http://dx.doi.org/10.1007/0-387-30784-2
所蔵情報: loading…
21.

電子ブック
ＥＢ
21. Systemverilog for Verification : A Guide to Learning the Testbench Language Features
by Chris Spear
出版情報: Boston, MA : Springer Science+Business Media, LLC, 2006
オンライン: http://dx.doi.org/10.1007/b138536
所蔵情報: loading…
22.

電子ブック
ＥＢ
22. Rapid Prototyping of Digital Systems. QUARTUSR II EDITION
by James O. Hamblen, Tyson S. Hall, Michael D. Furman
出版情報: Boston, MA : Springer Science+Business Media, Inc., 2006
オンライン: http://dx.doi.org/10.1007/0-387-28965-8
所蔵情報: loading…
23.

電子ブック
ＥＢ
23. Writing Testbenches using System Verilog
by Janick Bergeron
出版情報: Boston, MA : Springer Science+Business Media, Inc., 2006
オンライン: http://dx.doi.org/10.1007/0-387-31275-7
所蔵情報: loading…
24.

電子ブック
ＥＢ
24. Embedded System Design
by Peter Marwedel
出版情報: Boston, MA : Springer, 2006
オンライン: http://dx.doi.org/10.1007/0-387-30087-2
所蔵情報: loading…
25.

電子ブック
ＥＢ
25. The Core Test Wrapper Handbook : Rationale and Application of IEEE Std. 1500?
by Francisco Silva, Teresa McLaurin, Tom Waayers
出版情報: Boston, MA : Springer Science+Business Media, LLC, 2006
シリーズ名: Frontiers in Electronic Testing ; 35
オンライン: http://dx.doi.org/10.1007/0-387-34609-0
所蔵情報: loading…
26.

電子ブック
ＥＢ
26. SystemVerilog for Design : A Guide to Using SystemVerilog for Hardware Design and Modeling. Second Edition
by Stuart Sutherland, Simon Davidmann, Peter Flake
出版情報: Boston, MA : Springer Science+Business Media, LLC, 2006
オンライン: http://dx.doi.org/10.1007/0-387-36495-1
所蔵情報: loading…
27.

電子ブック
ＥＢ
27. Abstraction Refinement for Large Scale Model Checking
by Chao Wang, Gary D. Hachtel, Fabio Somenzi
出版情報: Boston, MA : Springer Science+Business Media, LLC, 2006
シリーズ名: Series on Integrated Circuits and Systems ;
オンライン: http://dx.doi.org/10.1007/0-387-34600-7
所蔵情報: loading…
28.

電子ブック
ＥＢ
28. A Roadmap for Formal Property Verification
by Pallab DasGupta
出版情報: Dordrecht : Springer, 2006
オンライン: http://dx.doi.org/10.1007/978-1-4020-4758-9
所蔵情報: loading…
29.

電子ブック
ＥＢ
29. Reuse-Based Methodologies and Tools in the Design of Analog and Mixed-Signal Integrated Circuits
by R. CASTRO-LOPEZ, F.V. FERNANDEZ, O. GUERRA-VINUESA, A. RODRIGUEZ-VAZQUEZ
出版情報: Dordrecht : Springer, 2006
オンライン: http://dx.doi.org/10.1007/978-1-4020-5139-5
所蔵情報: loading…
30.

電子ブック
ＥＢ
30. Taxonomies for the Development and Verification of Digital Systems
edited by Brian Bailey, Grant Martin, Thomas Anderson
出版情報: Boston, MA : Springer Science+Business Media, Inc., 2005
オンライン: http://dx.doi.org/10.1007/b104217
所蔵情報: loading…
31.

電子ブック
ＥＢ
31. Functional Verification of Programmable Embedded Architectures : A Top-Down Approach
by Prabhat Mishra, Nikil D. Dutt
出版情報: Boston, MA : Springer Science+Business Media, Inc., 2005
オンライン: http://dx.doi.org/10.1007/b137514
所蔵情報: loading…
32.

電子ブック
ＥＢ
32. Advances in Design and Specification Languages for SoCs : Selected Contributions from FDL'04
edited by Pierre Boulet
出版情報: Boston, MA : Springer, 2005
オンライン: http://dx.doi.org/10.1007/b136935
所蔵情報: loading…
33.

電子ブック
ＥＢ
33. New Algorithms, Architectures and Applications for Reconfigurable Computing
edited by Patrick Lysaght, Wolfgang Rosenstiel
出版情報: Boston, MA : Springer, 2005
オンライン: http://dx.doi.org/10.1007/1-4020-3128-9
所蔵情報: loading…
34.

電子ブック
ＥＢ
34. Mixed-Signal Layout Generation Concepts
by Chieh Lin, Arthur H. M. Roermund, Domine M. W. Leenaerts
出版情報: Boston, MA : Springer Science + Business Media, Inc., 2005
シリーズ名: The International Series in Engineering and Computer Science, Analog Circuits and Signal Processing ; 751
オンライン: http://dx.doi.org/10.1007/b106472
所蔵情報: loading…
35.

電子ブック
ＥＢ
35. Direct Transistor-level Layout for Digital Blocks
by Prakash Gopalakrishnan, Rob A. Rutenbar
出版情報: Boston, MA : Springer Science + Business Media, Inc., 2005
オンライン: http://dx.doi.org/10.1007/b117054
所蔵情報: loading…
36.

電子ブック
ＥＢ
36. Interconnect-Centric Design for Advanced SoC and NoC
edited by Jari Nurmi, Hannu Tenhunen, Jouni Isoaho, Axel Jantsch
出版情報: Boston, MA : Springer Science + Business Media, Inc., 2005
オンライン: http://dx.doi.org/10.1007/b117241
所蔵情報: loading…
37.

電子ブック
ＥＢ
37. Digital Design and Implementation with Field Programmable Devices
SpringerLink (Online service)
出版情報: Boston, MA : Springer Science + Business Media, Inc., 2005
オンライン: http://dx.doi.org/10.1007/b117975
所蔵情報: loading…
38.

電子ブック
ＥＢ
38. Assertion-Based Design. Second Edition
by Harry Foster, Adam Krolnik, David Lacey
出版情報: Boston, MA : Springer Science + Business Media, Inc., 2005
オンライン: http://dx.doi.org/10.1007/b117047
所蔵情報: loading…
39.

電子ブック
ＥＢ
39. SystemC Kernel Extensions for Heterogeneous System Modeling : A framework for Multi-MoC Modeling & Simulation
by Hiren D. Patel, Sandeep K. Shukla
出版情報: Boston, MA : Springer Science + Business Media, Inc., 2005
オンライン: http://dx.doi.org/10.1007/b117249
所蔵情報: loading…
40.

電子ブック
ＥＢ
40. Robust Control Design with MATLABR
by Da-Wei Gu, Petko Hristov Petkov, Mihail Mihaylov Konstantinov
出版情報: London : Springer-Verlag London Limited, 2005
シリーズ名: Advanced Textbooks in Control and Signal Processing ;
オンライン: http://dx.doi.org/10.1007/b135806
所蔵情報: loading…