A Roadmap for Formal Property Verification | 名古屋工業大学図書館蔵書検索（名工大OPAC）

>> Google Books

A Roadmap for Formal Property Verification

フォーマット:

電子ブック

責任表示:

by Pallab DasGupta

言語:

英語

出版情報:

Dordrecht : Springer, 2006

形態:

v.: digital

著者名:

書誌ID:

NB02213978

ISBN:

9781402047589 [1402047584]

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

子書誌情報

オンライン

http://dx.doi.org/10.1007/978-1-4020-4758-9

所蔵情報

Loading availability information

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

詳細

主題:	Circuits and Systems; Computer-Aided Engineering (CAD, CAE) and Design; Electronic and Computer Engineering; Electronics and Microelectronics, Instrumentation; Engineering; Logic Design; Mathematical Logic and Formal Languages
分類・件名:	LCSH : Computer aided design LCSH : Computer engineering LCSH : Computer science 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 FREE : Mathematical Logic and Formal Languages
TTLL:	eng

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 電子ブック Taxonomies for the Development and Verification of Digital Systems Bailey, Brian, Anderson, Thomas, Martin, Grant, SpringerLink (Online service) Springer Science+Business Media, Inc.	7 電子ブック 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
2 電子ブック Verification Methodology Manual for SystemVerilog Bergeron, Janick, Cerny, Eduard, Hunter, Alan, Nightingale, Andrew, SpringerLink (Online service) Synopsys, Inc. and ARM Limited	8 電子ブック Power Distribution Networks with On-Chip Decoupling Capacitors Popovich, Mikhhail, Friedman, Eby G., Mezhiba, Andrey V., SpringerLink (Online service) Springer Science + Business Media, LLC
3 電子ブック New Algorithms, Architectures and Applications for Reconfigurable Computing Lysaght, Patrick, Rosenstiel, Wolfgang, SpringerLink (Online service) Springer	9 電子ブック Semiconductor Modeling : For Simulating Signal, Power, and Electromagnetic Integrity Leventhal, Roy G., Green, Lynne, SpringerLink (Online service) Springer Science+Business Media, LLC
4 電子ブック 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.	10 電子ブック Leakage in Nanometer CMOS Technologies Narendra, Siva G., Chandrakasan, Anantha, SpringerLink (Online service) Springer Science+Business Media, Inc.
5 電子ブック Advances in Design and Specification Languages for SoCs : Selected Contributions from FDL'04 Boulet, Pierre, SpringerLink (Online service) Springer	11 電子ブック The Core Test Wrapper Handbook : Rationale and Application of IEEE Std. 1500? Silva, Francisco, McLaurin, Teresa, Waayers, Tom, SpringerLink (Online service) Springer Science+Business Media, LLC
6 電子ブック CMOS Current-Mode Circuits for Data Communications Yuan, Fei, SpringerLink (Online service) Springer Science+Business Media, LLC	12 電子ブック Timing Optimization Through Clock Skew Scheduling Kourtev, Ivan S., Friedman, Eby G., Taskin, Baris, SpringerLink (Online service) Springer US