Applied formal verification

kod QR

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

Szczegółowa specyfikacja

Zapisane w:

Opis bibliograficzny
1. autor:	Perry, Douglas L.
Format:	Książka
Język:	Undetermined
Wydane:	New York McGraw-Hill 2005
Hasła przedmiotowe:	Integrated circuits,Electronic circuits Verification,Testing
Etykiety:	Dodaj etykietę Nie ma etykietki, Dołącz pierwszą etykiete!

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

Podobne zapisy

Counterfeit Integrated Circuits: Detection and Avoidance
od: Tehranipoor, Mark, i wsp.
Wydane: (2015)

Formal Verification of Simulink/Stateflow Diagrams
od: Zhan, Naijun, i wsp.
Wydane: (2020)

Comprehensive functional verification the complete industry cycle
od: Wile, Bruce
Wydane: (2005)

An introduction to mixed-signal IC test and measurement
od: Mark Burns
Wydane: (2001)

Microelectronic circuits
od: Sedra, Adel S.
Wydane: (1987)

Microelectronic circuits
od: Sedra, Adel S.
Wydane: (2004)

Microelectronic circuits
od: Adel S. Sedra
Wydane: (2004)

Formal System Verification. 1st ed. 2018
od: Drechsler, Rolf
Wydane: (2020)

Microelectronic circuit design
od: Richard C. Jaeger
Wydane: (2008)

Analog VLSI

Diagnostic measurements in LSI/VLSI integrated circuits production /
od: Jakubowski, Andrzej.
Wydane: (1991)

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

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

VLSI Handbook :
od: Giacomo, Joseph Di
Wydane: (2000)

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

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

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

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

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

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

Electronic integrated circuits :
od: Allison, John
Wydane: (1975)

111 digital and linear IC projects
od: Tuite, Don
Wydane: (1975)

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

Verification techniques for system-level design
od: Fujita, Masahiro
Wydane: (2008)

ASIC and FPGA verification :
od: Munden, Richard
Wydane: (2005)

Ultra-Low-Voltage Design of Energy-Efficient Digital Circuits
od: Reynders, Nele, i wsp.
Wydane: (2016)

Design and applications of analog integrated circuits
od: Soclof, Sidney
Wydane: (1991)

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

Integrated circuits :
od: William C. Till
Wydane: (1982)

Silicon chips and you
od: C. D. Renmore
Wydane: (1979)

Digital integrated circuit design
od: Ken Martin
Wydane: (2000)

Digital integrated circuit design
od: Martin, Ken
Wydane: (2000)

Digital design
od: Wakerly, John F.

Integrated circuit manufacturability :
Wydane: (1999)

Essentials of circuit analysis
od: Boylestad, Robert L.
Wydane: (2004)

Embedded Software Verification and Debugging
od: Lettnin, Djones, i wsp.
Wydane: (2020)

Metric Driven Design Verification
od: Carter, Hamilton B., i wsp.
Wydane: (2020)

VLSI 81 :
od: Gray, John P.
Wydane: (1981)

Taxonomies for the Development and Verification of Digital Systems
od: Bailey, Brian, i wsp.
Wydane: (2020)

Low-Power VLSI Circuits and Systems
od: Pal, Ajit
Wydane: (2015)