Applied formal verification

QR Kodea

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

Deskribapen osoa

Gorde:

Xehetasun bibliografikoak
Egile nagusia:	Perry, Douglas L.
Formatua:	Liburua
Hizkuntza:	Undetermined
Argitaratua:	New York McGraw-Hill 2005
Gaiak:	Integrated circuits,Electronic circuits Verification,Testing
Etiketak:	Etiketa erantsi Etiketarik gabe, Izan zaitez lehena erregistro honi etiketa jartzen!

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

Antzeko izenburuak

Counterfeit Integrated Circuits: Detection and Avoidance
nork: Tehranipoor, Mark, et al.
Argitaratua: (2015)

Formal Verification of Simulink/Stateflow Diagrams
nork: Zhan, Naijun, et al.
Argitaratua: (2020)

Comprehensive functional verification the complete industry cycle
nork: Wile, Bruce
Argitaratua: (2005)

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

Microelectronic circuits
nork: Sedra, Adel S.
Argitaratua: (1987)

Microelectronic circuits
nork: Sedra, Adel S.
Argitaratua: (2004)

Microelectronic circuits
nork: Adel S. Sedra
Argitaratua: (2004)

Formal System Verification. 1st ed. 2018
nork: Drechsler, Rolf
Argitaratua: (2020)

Microelectronic circuit design
nork: Richard C. Jaeger
Argitaratua: (2008)

Analog VLSI

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

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

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

VLSI Handbook :
nork: Giacomo, Joseph Di
Argitaratua: (2000)

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

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

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

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

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

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

Electronic integrated circuits :
nork: Allison, John
Argitaratua: (1975)

111 digital and linear IC projects
nork: Tuite, Don
Argitaratua: (1975)

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

Verification techniques for system-level design
nork: Fujita, Masahiro
Argitaratua: (2008)

ASIC and FPGA verification :
nork: Munden, Richard
Argitaratua: (2005)

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

Design and applications of analog integrated circuits
nork: Soclof, Sidney
Argitaratua: (1991)

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

Integrated circuits :
nork: William C. Till
Argitaratua: (1982)

Silicon chips and you
nork: C. D. Renmore
Argitaratua: (1979)

Digital integrated circuit design
nork: Ken Martin
Argitaratua: (2000)

Digital integrated circuit design
nork: Martin, Ken
Argitaratua: (2000)

Digital design
nork: Wakerly, John F.

Integrated circuit manufacturability :
Argitaratua: (1999)

Essentials of circuit analysis
nork: Boylestad, Robert L.
Argitaratua: (2004)

Embedded Software Verification and Debugging
nork: Lettnin, Djones, et al.
Argitaratua: (2020)

Metric Driven Design Verification
nork: Carter, Hamilton B., et al.
Argitaratua: (2020)

VLSI 81 :
nork: Gray, John P.
Argitaratua: (1981)

Taxonomies for the Development and Verification of Digital Systems
nork: Bailey, Brian, et al.
Argitaratua: (2020)

Low-Power VLSI Circuits and Systems
nork: Pal, Ajit
Argitaratua: (2015)