Applied formal verification

Côd 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...

Disgrifiad llawn

Wedi'i Gadw mewn:

Manylion Llyfryddiaeth
Prif Awdur:	Perry, Douglas L.
Fformat:	Llyfr
Iaith:	Undetermined
Cyhoeddwyd:	New York McGraw-Hill 2005
Pynciau:	Integrated circuits,Electronic circuits Verification,Testing
Tagiau:	Ychwanegu Tag Dim Tagiau, Byddwch y cyntaf i dagio'r cofnod hwn!

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

Eitemau Tebyg

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

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

Comprehensive functional verification the complete industry cycle
gan: Wile, Bruce
Cyhoeddwyd: (2005)

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

Microelectronic circuits
gan: Sedra, Adel S.
Cyhoeddwyd: (1987)

Microelectronic circuits
gan: Sedra, Adel S.
Cyhoeddwyd: (2004)

Microelectronic circuits
gan: Adel S. Sedra
Cyhoeddwyd: (2004)

Formal System Verification. 1st ed. 2018
gan: Drechsler, Rolf
Cyhoeddwyd: (2020)

Microelectronic circuit design
gan: Richard C. Jaeger
Cyhoeddwyd: (2008)

Analog VLSI

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

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

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

VLSI Handbook :
gan: Giacomo, Joseph Di
Cyhoeddwyd: (2000)

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

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

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

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

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

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

Electronic integrated circuits :
gan: Allison, John
Cyhoeddwyd: (1975)

111 digital and linear IC projects
gan: Tuite, Don
Cyhoeddwyd: (1975)

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

Verification techniques for system-level design
gan: Fujita, Masahiro
Cyhoeddwyd: (2008)

ASIC and FPGA verification :
gan: Munden, Richard
Cyhoeddwyd: (2005)

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

Design and applications of analog integrated circuits
gan: Soclof, Sidney
Cyhoeddwyd: (1991)

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

Integrated circuits :
gan: William C. Till
Cyhoeddwyd: (1982)

Silicon chips and you
gan: C. D. Renmore
Cyhoeddwyd: (1979)

Digital integrated circuit design
gan: Ken Martin
Cyhoeddwyd: (2000)

Digital integrated circuit design
gan: Martin, Ken
Cyhoeddwyd: (2000)

Digital design
gan: Wakerly, John F.

Integrated circuit manufacturability :
Cyhoeddwyd: (1999)

Essentials of circuit analysis
gan: Boylestad, Robert L.
Cyhoeddwyd: (2004)

Embedded Software Verification and Debugging
gan: Lettnin, Djones, et al.
Cyhoeddwyd: (2020)

Metric Driven Design Verification
gan: Carter, Hamilton B., et al.
Cyhoeddwyd: (2020)

VLSI 81 :
gan: Gray, John P.
Cyhoeddwyd: (1981)

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

Low-Power VLSI Circuits and Systems
gan: Pal, Ajit
Cyhoeddwyd: (2015)