Applied formal verification

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

Fuld beskrivelse

Đã lưu trong:

Bibliografiske detaljer
Hovedforfatter:	Perry, Douglas L.
Format:	Bog
Sprog:	Undetermined
Udgivet:	New York McGraw-Hill 2005
Fag:	Integrated circuits,Electronic circuits Verification,Testing
Tags:	Tilføj Tag Ingen Tags, Vær først til at tagge denne postø!

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

Lignende værker

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

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

Comprehensive functional verification the complete industry cycle
af: Wile, Bruce
Udgivet: (2005)

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

Microelectronic circuits
af: Sedra, Adel S.
Udgivet: (1987)

Microelectronic circuits
af: Sedra, Adel S.
Udgivet: (2004)

Microelectronic circuits
af: Adel S. Sedra
Udgivet: (2004)

Formal System Verification. 1st ed. 2018
af: Drechsler, Rolf
Udgivet: (2020)

Microelectronic circuit design
af: Richard C. Jaeger
Udgivet: (2008)

Analog VLSI

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

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

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

VLSI Handbook :
af: Giacomo, Joseph Di
Udgivet: (2000)

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

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

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

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

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

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

Electronic integrated circuits :
af: Allison, John
Udgivet: (1975)

111 digital and linear IC projects
af: Tuite, Don
Udgivet: (1975)

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

Verification techniques for system-level design
af: Fujita, Masahiro
Udgivet: (2008)

ASIC and FPGA verification :
af: Munden, Richard
Udgivet: (2005)

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

Design and applications of analog integrated circuits
af: Soclof, Sidney
Udgivet: (1991)

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

Integrated circuits :
af: William C. Till
Udgivet: (1982)

Silicon chips and you
af: C. D. Renmore
Udgivet: (1979)

Digital integrated circuit design
af: Ken Martin
Udgivet: (2000)

Digital integrated circuit design
af: Martin, Ken
Udgivet: (2000)

Digital design
af: Wakerly, John F.

Integrated circuit manufacturability :
Udgivet: (1999)

Essentials of circuit analysis
af: Boylestad, Robert L.
Udgivet: (2004)

Embedded Software Verification and Debugging
af: Lettnin, Djones, et al.
Udgivet: (2020)

Metric Driven Design Verification
af: Carter, Hamilton B., et al.
Udgivet: (2020)

VLSI 81 :
af: Gray, John P.
Udgivet: (1981)

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

Low-Power VLSI Circuits and Systems
af: Pal, Ajit
Udgivet: (2015)