>> Google Books

Test Pattern Generation using Boolean Proof Engines

フォーマット:
電子ブック
責任表示:
by Rolf Drechsler, Stephan Eggersgluβ, Gorschwin Fey, Daniel Tille
言語:
英語
出版情報:
Dordrecht : Springer Netherlands, 2009
形態:
v.: digital
著者名:
書誌ID:
NB02221482
ISBN:
9789048123605 [9048123607]  CiNii Books  Webcat Plus  Google Books
学内からのみアクセスすることができます。
子書誌情報
Loading
オンライン
http://dx.doi.org/10.1007/978-90-481-2360-5
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 電子ブック Robustness and Usability in Modern Design Flows

Fey, Gorschwin, Drechsler, Rolf, SpringerLink (Online service)

Springer Science + Business Media B.V
7 電子ブック Integrated Circuit Test Engineering : Modern Techniques

Grout, Ian A., SpringerLink (Online service)

Springer-Verlag London Limited
2 電子ブック Advanced BDD Optimization

Ebendt, Rudiger, Drechsler, Rolf, Fey, Gorschwin, SpringerLink (Online service)

Springer
8 電子ブック Microelectronic Test Structures for CMOS Technology

Bhushan, Manjul, Ketchen, Mark B., SpringerLink (Online service)

Springer Science+Business Media, LLC
3 電子ブック Quality-Driven SystemC Design

Grose, Daniel, Drechsler, Rolf, SpringerLink (Online service)

Springer Science+Business Media B.V.
9 電子ブック Digital VLSI Systems Design : A Design Manual for Implementation of Projects on FPGAs and ASICs Using Verilog

Ramachandran, S., SpringerLink (Online service)

Springer
4 電子ブック Power Management of Digital Circuits in Deep Sub-Micron CMOS Technologies

Henzler, Stephan, SpringerLink (Online service)

Springer
10 電子ブック Circuits and Systems for Future Generations of Wireless Communications

Tasi?, Aleksandar, Serdijn, Wouter A., Larson, Lawrence E., Setti, Gianluca, SpringerLink (Online service)

Springer Netherlands
5 電子ブック Multi-Wafer Rotating MEMS Machines : Turbines, Generators, and Engines

Lang, Jeffrey, SpringerLink (Online service)

Springer-Verlag US
11 電子ブック Design, Automation, and Test in Europe : The Most Influential Papers of 10 Years Date

Lauwereins, Rudy, Madsen, Jan, SpringerLink (Online service)

Springer Science + Business Media B.V
6 電子ブック Emerging Nanotechnologies : Test, Defect Tolerance, and Reliability

Tehranipoor, Mohammad, SpringerLink (Online service)

Springer Science+Business Media, LLC
12 電子ブック Accelerating Test, Validation and Debug of High Speed Serial Interfaces

Fan, Yongquan, Zilic, Zeljko, SpringerLink (Online service)

Springer Science+Business media B.V.