Applied formal verification

QR-koodi

Applied formal verification

Formal verification is a powerful new digital design method. In this cutting-edge tutorial, two of the field's best known authors team up to show designers how to efficiently apply Formal Verification, along with hardware description languages like Verilog and VHDL, to more efficiently solve re...

Tallennettuna:

Bibliografiset tiedot
Päätekijä:	Perry, Douglas L.
Aineistotyyppi:	Kirja
Kieli:	Undetermined
Julkaistu:	New York McGraw-Hill 2005
Aiheet:	Integrated circuits,Electronic circuits Verification,Testing
Tagit:	Lisää tagi Ei tageja, Lisää ensimmäinen tagi!

Thư viện lưu trữ:	Trung tâm Học liệu Trường Đại học Cần Thơ

Samankaltaisia teoksia

Counterfeit Integrated Circuits: Detection and Avoidance
Tekijä: Tehranipoor, Mark, et al.
Julkaistu: (2015)

Formal Verification of Simulink/Stateflow Diagrams
Tekijä: Zhan, Naijun, et al.
Julkaistu: (2020)

Comprehensive functional verification the complete industry cycle
Tekijä: Wile, Bruce
Julkaistu: (2005)

An introduction to mixed-signal IC test and measurement
Tekijä: Mark Burns
Julkaistu: (2001)

Microelectronic circuits
Tekijä: Sedra, Adel S.
Julkaistu: (1987)

Microelectronic circuits
Tekijä: Sedra, Adel S.
Julkaistu: (2004)

Microelectronic circuits
Tekijä: Adel S. Sedra
Julkaistu: (2004)

Formal System Verification. 1st ed. 2018
Tekijä: Drechsler, Rolf
Julkaistu: (2020)

Microelectronic circuit design
Tekijä: Richard C. Jaeger
Julkaistu: (2008)

Analog VLSI

Diagnostic measurements in LSI/VLSI integrated circuits production /
Tekijä: Jakubowski, Andrzej.
Julkaistu: (1991)

Sổ tay tra cứu IC trong TV màu
Tekijä: Phạm, Đình Bảo
Julkaistu: (2006)

Cẩm nang tra cứu IC TV màu và monitor
Tekijä: ĐỖ THANH HẢI
Julkaistu: (2002)

VLSI Handbook :
Tekijä: Giacomo, Joseph Di
Julkaistu: (2000)

Cẩm nang tra cứu và thay thế vi mạch (IC) =
Julkaistu: (2002)

Cẩm nang tra cứu IC TV màu và monitor
Tekijä: ĐỖ THANH HẢI
Julkaistu: (2002)

Cẩm nang tra cứu IC TV màu và monitor
Tekijä: ĐỖ THANH HẢI
Julkaistu: (2002)

Cẩm nang tra cứu IC TV màu và monitor
Tekijä: ĐỖ THANH HẢI
Julkaistu: (2002)

Cẩm nang tra cứu IC TV màu và monitor
Tekijä: ĐỖ THANH HẢI
Julkaistu: (2002)

Cẩm nang tra cứu IC TV màu và monitor
Tekijä: ĐỖ THANH HẢI
Julkaistu: (2002)

Electronic integrated circuits :
Tekijä: Allison, John
Julkaistu: (1975)

111 digital and linear IC projects
Tekijä: Tuite, Don
Julkaistu: (1975)

Kỹ thuật số thực hành
Tekijä: Huỳnh, Đắc Thắng
Julkaistu: (2006)

Verification techniques for system-level design
Tekijä: Fujita, Masahiro
Julkaistu: (2008)

ASIC and FPGA verification :
Tekijä: Munden, Richard
Julkaistu: (2005)

Ultra-Low-Voltage Design of Energy-Efficient Digital Circuits
Tekijä: Reynders, Nele, et al.
Julkaistu: (2016)

Design and applications of analog integrated circuits
Tekijä: Soclof, Sidney
Julkaistu: (1991)

Thiết kế vi mạch CMOS VLSI:
Tekijä: Tống, Văn On
Julkaistu: (2008)

Integrated circuits :
Tekijä: William C. Till
Julkaistu: (1982)

Silicon chips and you
Tekijä: C. D. Renmore
Julkaistu: (1979)

Digital integrated circuit design
Tekijä: Ken Martin
Julkaistu: (2000)

Digital integrated circuit design
Tekijä: Martin, Ken
Julkaistu: (2000)

Digital design
Tekijä: Wakerly, John F.

Integrated circuit manufacturability :
Julkaistu: (1999)

Essentials of circuit analysis
Tekijä: Boylestad, Robert L.
Julkaistu: (2004)

Embedded Software Verification and Debugging
Tekijä: Lettnin, Djones, et al.
Julkaistu: (2020)

Metric Driven Design Verification
Tekijä: Carter, Hamilton B., et al.
Julkaistu: (2020)

VLSI 81 :
Tekijä: Gray, John P.
Julkaistu: (1981)

Taxonomies for the Development and Verification of Digital Systems
Tekijä: Bailey, Brian, et al.
Julkaistu: (2020)

Low-Power VLSI Circuits and Systems
Tekijä: Pal, Ajit
Julkaistu: (2015)