Applied formal verification

QR Kod

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

Kaydedildi:

Detaylı Bibliyografya
Yazar:	Perry, Douglas L.
Materyal Türü:	Kitap
Dil:	Undetermined
Baskı/Yayın Bilgisi:	New York McGraw-Hill 2005
Konular:	Integrated circuits,Electronic circuits Verification,Testing
Etiketler:	Etiketle Etiket eklenmemiş, İlk siz ekleyin!

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

Benzer Materyaller

Counterfeit Integrated Circuits: Detection and Avoidance
Yazar:: Tehranipoor, Mark, ve diğerleri
Baskı/Yayın Bilgisi: (2015)

Formal Verification of Simulink/Stateflow Diagrams
Yazar:: Zhan, Naijun, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Comprehensive functional verification the complete industry cycle
Yazar:: Wile, Bruce
Baskı/Yayın Bilgisi: (2005)

An introduction to mixed-signal IC test and measurement
Yazar:: Mark Burns
Baskı/Yayın Bilgisi: (2001)

Microelectronic circuits
Yazar:: Sedra, Adel S.
Baskı/Yayın Bilgisi: (1987)

Microelectronic circuits
Yazar:: Sedra, Adel S.
Baskı/Yayın Bilgisi: (2004)

Microelectronic circuits
Yazar:: Adel S. Sedra
Baskı/Yayın Bilgisi: (2004)

Formal System Verification. 1st ed. 2018
Yazar:: Drechsler, Rolf
Baskı/Yayın Bilgisi: (2020)

Microelectronic circuit design
Yazar:: Richard C. Jaeger
Baskı/Yayın Bilgisi: (2008)

Analog VLSI

Diagnostic measurements in LSI/VLSI integrated circuits production /
Yazar:: Jakubowski, Andrzej.
Baskı/Yayın Bilgisi: (1991)

Sổ tay tra cứu IC trong TV màu
Yazar:: Phạm, Đình Bảo
Baskı/Yayın Bilgisi: (2006)

Cẩm nang tra cứu IC TV màu và monitor
Yazar:: ĐỖ THANH HẢI
Baskı/Yayın Bilgisi: (2002)

VLSI Handbook :
Yazar:: Giacomo, Joseph Di
Baskı/Yayın Bilgisi: (2000)

Cẩm nang tra cứu và thay thế vi mạch (IC) =
Baskı/Yayın Bilgisi: (2002)

Cẩm nang tra cứu IC TV màu và monitor
Yazar:: ĐỖ THANH HẢI
Baskı/Yayın Bilgisi: (2002)

Cẩm nang tra cứu IC TV màu và monitor
Yazar:: ĐỖ THANH HẢI
Baskı/Yayın Bilgisi: (2002)

Cẩm nang tra cứu IC TV màu và monitor
Yazar:: ĐỖ THANH HẢI
Baskı/Yayın Bilgisi: (2002)

Cẩm nang tra cứu IC TV màu và monitor
Yazar:: ĐỖ THANH HẢI
Baskı/Yayın Bilgisi: (2002)

Cẩm nang tra cứu IC TV màu và monitor
Yazar:: ĐỖ THANH HẢI
Baskı/Yayın Bilgisi: (2002)

Electronic integrated circuits :
Yazar:: Allison, John
Baskı/Yayın Bilgisi: (1975)

111 digital and linear IC projects
Yazar:: Tuite, Don
Baskı/Yayın Bilgisi: (1975)

Kỹ thuật số thực hành
Yazar:: Huỳnh, Đắc Thắng
Baskı/Yayın Bilgisi: (2006)

Verification techniques for system-level design
Yazar:: Fujita, Masahiro
Baskı/Yayın Bilgisi: (2008)

ASIC and FPGA verification :
Yazar:: Munden, Richard
Baskı/Yayın Bilgisi: (2005)

Ultra-Low-Voltage Design of Energy-Efficient Digital Circuits
Yazar:: Reynders, Nele, ve diğerleri
Baskı/Yayın Bilgisi: (2016)

Design and applications of analog integrated circuits
Yazar:: Soclof, Sidney
Baskı/Yayın Bilgisi: (1991)

Thiết kế vi mạch CMOS VLSI:
Yazar:: Tống, Văn On
Baskı/Yayın Bilgisi: (2008)

Integrated circuits :
Yazar:: William C. Till
Baskı/Yayın Bilgisi: (1982)

Silicon chips and you
Yazar:: C. D. Renmore
Baskı/Yayın Bilgisi: (1979)

Digital integrated circuit design
Yazar:: Ken Martin
Baskı/Yayın Bilgisi: (2000)

Digital integrated circuit design
Yazar:: Martin, Ken
Baskı/Yayın Bilgisi: (2000)

Digital design
Yazar:: Wakerly, John F.

Integrated circuit manufacturability :
Baskı/Yayın Bilgisi: (1999)

Essentials of circuit analysis
Yazar:: Boylestad, Robert L.
Baskı/Yayın Bilgisi: (2004)

Embedded Software Verification and Debugging
Yazar:: Lettnin, Djones, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Metric Driven Design Verification
Yazar:: Carter, Hamilton B., ve diğerleri
Baskı/Yayın Bilgisi: (2020)

VLSI 81 :
Yazar:: Gray, John P.
Baskı/Yayın Bilgisi: (1981)

Taxonomies for the Development and Verification of Digital Systems
Yazar:: Bailey, Brian, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Low-Power VLSI Circuits and Systems
Yazar:: Pal, Ajit
Baskı/Yayın Bilgisi: (2015)