Taxonomies for the Development and Verification of Digital Systems

>> Google Books

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

形態:

v.: digital

著者名:

書誌ID:

NB02213672

ISBN:

9780387240213 [0387240217]

学内からのみアクセスすることができます。

子書誌情報

オンライン

http://dx.doi.org/10.1007/b104217

所蔵情報

タイトルが類似している資料

詳細

主題:	Circuits and Systems; Computer-Aided Engineering (CAD, CAE) and Design; Electronic and Computer Engineering; Electronics and Microelectronics, Instrumentation; Engineering; Logic Design
分類・件名:	LCSH : Computer aided design LCSH : Computer engineering LCSH : Electronics LCSH : Engineering LCSH : Logic design LCSH : Systems engineering FREE : Engineering FREE : Circuits and Systems FREE : Computer-Aided Engineering (CAD, CAE) and Design FREE : Electronic and Computer Engineering FREE : Electronics and Microelectronics, Instrumentation FREE : Logic Design
TTLL:	eng

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 電子ブック A Roadmap for Formal Property Verification DasGupta, Pallab, SpringerLink (Online service) Springer	7 電子ブック Advances in Design and Specification Languages for SoCs : Selected Contributions from FDL'04 Boulet, Pierre, SpringerLink (Online service) Springer
2 電子ブック ESL Models and their Application : Electronic System Level Design and Verification in Practice Bailey, Brian, Martin, Grant, SpringerLink (Online service) Springer Science+Business Media, LLC	8 電子ブック CMOS Current-Mode Circuits for Data Communications Yuan, Fei, SpringerLink (Online service) Springer Science+Business Media, LLC
3 電子ブック Verification Methodology Manual for SystemVerilog Bergeron, Janick, Cerny, Eduard, Hunter, Alan, Nightingale, Andrew, SpringerLink (Online service) Synopsys, Inc. and ARM Limited	9 電子ブック Rapid Prototyping of Digital Systems Hamblen, James O., Furman, Michael D., Hall, Tyson S., SpringerLink (Online service) Springer Science+Business Media, LLC
4 電子ブック New Algorithms, Architectures and Applications for Reconfigurable Computing Lysaght, Patrick, Rosenstiel, Wolfgang, SpringerLink (Online service) Springer	10 電子ブック Rapid Prototyping of Digital Systems Hamblen, James O., Furman, Michael D., Hall, Tyson S., SpringerLink (Online service) Springer Science+Business Media, Inc.
5 電子ブック VLSI Physical Design: From Graph Partitioning to Timing Closure Kahng, Andrew B., Lienig, Jens, Markov, Igor L., Hu, Jin, SpringerLink (Online service) Springer Science+Business Media B.V.	11 電子ブック Closing the Power Gap Between ASIC & Custom : Tools and Techniques for Low Power Design Chinnery, David, Keutzer, Kurt, SpringerLink (Online service) Springer Science+Business Media, LLC
6 電子ブック System Verilog for Verification : A Guide to Learning the Testbench Language Features Spear, Chris, SpringerLink (Online service) Springer Science+Business Media, LLC	12 電子ブック Power Distribution Networks with On-Chip Decoupling Capacitors Popovich, Mikhhail, Friedman, Eby G., Mezhiba, Andrey V., SpringerLink (Online service) Springer Science + Business Media, LLC