תוצאות חיפוש - "Integrated circuits"

1

Professional verification : a guide to advanced functional verification /

מאת Wilcox, Paul, MBA
Boston : Kluwer Academic, 2004

נושאים: “...Integrated circuits Verification....”

ספר

2

Metric-driven design verification : an engineer's and executive's guide to first pass success /

מאת Carter, Hamilton B.
New York : Springer, 2007

נושאים: “...Integrated circuits Verification....”

ספר

3

Assertion-based design /

מאת Foster, Harry, 1956-
Boston : Kluwer Academic Publishers, 2004
2nd ed.

נושאים: “...Integrated circuits Very large scale integration Design and construction....”

ספר

4

A practical introduction to PSL /

מאת Eisner, Cindy
New York : Springer, 2006

נושאים: “...Integrated circuits Verification. http://id.loc.gov/authorities/subjects/sh93005422...”

ספר

5

Standardized functional verification /

מאת Wiemann, Alan
New York, N.Y. ; [London] : Springer, 2008

נושאים: “...Integrated circuits Verification. https://id.loc.gov/authorities/subjects/sh93005422...”

ספר

6

Introduction to formal hardware verification /

מאת Kropf, Thomas, 1961-
Berlin ; New York : Springer, 1999

נושאים: “...Integrated circuits Very large scale integration Computer-aided design. http://id.loc.gov...”

ספר

7

Generating hardware assertion checkers : for hardware verification, emulation, post-fabrication debugging and on-line monitoring /

מאת Boulé, Marc, 1974-
[Dordrecht, Netherlands] : Springer, 2008

נושאים: “...Integrated circuits Very large scale integration Computer-aided design....”

ספר

8

Advances in hardware design and verification : IFIP TC10 WG10.5 International Conference on Correct Hardware and Verification Methods, 16-18 October 1997, Montreal Canada /

London : Chapman & Hall on behalf of the International Federation for Information Processing (IFIP), 1997
First edition.

נושאים: “...Integrated circuits Congresses....”

Conference Proceeding ספר

9

The E hardware verification language /

מאת Iman, Sasan
Boston : Kluwer Academic Publishers, 2004

נושאים: “...Integrated circuits Verification....”

ספר

10

Comprehensive functional verification the complete industry cycle /

מאת Wile, Bruce
Amsterdam ; Boston : Elsevier/Morgan Kaufmann, 2005

נושאים: “...Integrated circuits Verification. https://id.loc.gov/authorities/subjects/sh93005422...”

ספר

11

Logic synthesis and verification algorithms /

מאת Hachtel, Gary D.
Boston : Kluwer Academic Publishers, 1996

נושאים: “...Integrated circuits Very large scale integration https://id.loc.gov/authorities/subjects/sh85067125...”

ספר

12

Scalable hardware verification with symbolic simulation /

מאת Bertacco, Valeria
New York, NY : Springer, 2006

נושאים: “...Integrated circuits Verification Simulation methods....”

ספר

13

Hardware verification with SystemVerilog : an object-oriented framework /

מאת Mintz, Mike
New York, NY : Springer, 2007

נושאים: “...Integrated circuits Verification. http://id.loc.gov/authorities/subjects/sh93005422...”

ספר

צמצם חיפוש