অনুসন্ধান ফলাফলগুলি

1

Professional verification : a guide to advanced functional verification /

অনুযায়ী Wilcox, Paul, MBA
Boston : Kluwer Academic, 2004

বিষয়গুলি: “...Integrated circuits Verification....”

গ্রন্থ

2

Assertion-based design /

অনুযায়ী Foster, Harry, 1956-
Boston : Kluwer Academic Publishers, 2004
2nd ed.

বিষয়গুলি: “...Integrated circuits Very large scale integration Design and construction....”

গ্রন্থ

3

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....”

গ্রন্থ

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....”

কনফারেন্স প্রসিডিং গ্রন্থ

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...”

গ্রন্থ

সংকীর্ণ অনুসন্ধান