Applied formal verification

QR code

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

Volledige beschrijving

Bewaard in:

Bibliografische gegevens
Hoofdauteur:	Perry, Douglas L.
Formaat:	Boek
Taal:	Undetermined
Gepubliceerd in:	New York McGraw-Hill 2005
Onderwerpen:	Integrated circuits,Electronic circuits Verification,Testing
Tags:	Voeg label toe Geen labels, Wees de eerste die dit record labelt!

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

Gelijkaardige items

Counterfeit Integrated Circuits: Detection and Avoidance
door: Tehranipoor, Mark, et al.
Gepubliceerd in: (2015)

Formal Verification of Simulink/Stateflow Diagrams
door: Zhan, Naijun, et al.
Gepubliceerd in: (2020)

Comprehensive functional verification the complete industry cycle
door: Wile, Bruce
Gepubliceerd in: (2005)

An introduction to mixed-signal IC test and measurement
door: Mark Burns
Gepubliceerd in: (2001)

Microelectronic circuits
door: Sedra, Adel S.
Gepubliceerd in: (1987)

Microelectronic circuits
door: Sedra, Adel S.
Gepubliceerd in: (2004)

Microelectronic circuits
door: Adel S. Sedra
Gepubliceerd in: (2004)

Formal System Verification. 1st ed. 2018
door: Drechsler, Rolf
Gepubliceerd in: (2020)

Microelectronic circuit design
door: Richard C. Jaeger
Gepubliceerd in: (2008)

Analog VLSI

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

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

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

VLSI Handbook :
door: Giacomo, Joseph Di
Gepubliceerd in: (2000)

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

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

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

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

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

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

Electronic integrated circuits :
door: Allison, John
Gepubliceerd in: (1975)

111 digital and linear IC projects
door: Tuite, Don
Gepubliceerd in: (1975)

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

Verification techniques for system-level design
door: Fujita, Masahiro
Gepubliceerd in: (2008)

ASIC and FPGA verification :
door: Munden, Richard
Gepubliceerd in: (2005)

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

Design and applications of analog integrated circuits
door: Soclof, Sidney
Gepubliceerd in: (1991)

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

Integrated circuits :
door: William C. Till
Gepubliceerd in: (1982)

Silicon chips and you
door: C. D. Renmore
Gepubliceerd in: (1979)

Digital integrated circuit design
door: Ken Martin
Gepubliceerd in: (2000)

Digital integrated circuit design
door: Martin, Ken
Gepubliceerd in: (2000)

Digital design
door: Wakerly, John F.

Integrated circuit manufacturability :
Gepubliceerd in: (1999)

Essentials of circuit analysis
door: Boylestad, Robert L.
Gepubliceerd in: (2004)

Embedded Software Verification and Debugging
door: Lettnin, Djones, et al.
Gepubliceerd in: (2020)

Metric Driven Design Verification
door: Carter, Hamilton B., et al.
Gepubliceerd in: (2020)

VLSI 81 :
door: Gray, John P.
Gepubliceerd in: (1981)

Taxonomies for the Development and Verification of Digital Systems
door: Bailey, Brian, et al.
Gepubliceerd in: (2020)

Low-Power VLSI Circuits and Systems
door: Pal, Ajit
Gepubliceerd in: (2015)