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

Cur síos iomlán

Đã lưu trong:

Sonraí Bibleagrafaíochta
Príomhúdar:	Perry, Douglas L.
Formáid:	Leabhar
Teanga:	Undetermined
Foilsithe:	New York McGraw-Hill 2005
Ábhair:	Integrated circuits,Electronic circuits Verification,Testing
Clibeanna:	Cuir Clib Leis Gan Chlibeanna, Bí ar an gcéad duine leis an taifead seo a chlibeáil!

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

Míreanna Comhchosúla

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

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

Comprehensive functional verification the complete industry cycle
le: Wile, Bruce
Foilsithe: (2005)

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

Microelectronic circuits
le: Sedra, Adel S.
Foilsithe: (1987)

Microelectronic circuits
le: Sedra, Adel S.
Foilsithe: (2004)

Microelectronic circuits
le: Adel S. Sedra
Foilsithe: (2004)

Formal System Verification. 1st ed. 2018
le: Drechsler, Rolf
Foilsithe: (2020)

Microelectronic circuit design
le: Richard C. Jaeger
Foilsithe: (2008)

Analog VLSI

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

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

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

VLSI Handbook :
le: Giacomo, Joseph Di
Foilsithe: (2000)

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

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

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

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

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

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

Electronic integrated circuits :
le: Allison, John
Foilsithe: (1975)

111 digital and linear IC projects
le: Tuite, Don
Foilsithe: (1975)

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

Verification techniques for system-level design
le: Fujita, Masahiro
Foilsithe: (2008)

ASIC and FPGA verification :
le: Munden, Richard
Foilsithe: (2005)

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

Design and applications of analog integrated circuits
le: Soclof, Sidney
Foilsithe: (1991)

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

Integrated circuits :
le: William C. Till
Foilsithe: (1982)

Silicon chips and you
le: C. D. Renmore
Foilsithe: (1979)

Digital integrated circuit design
le: Ken Martin
Foilsithe: (2000)

Digital integrated circuit design
le: Martin, Ken
Foilsithe: (2000)

Digital design
le: Wakerly, John F.

Integrated circuit manufacturability :
Foilsithe: (1999)

Essentials of circuit analysis
le: Boylestad, Robert L.
Foilsithe: (2004)

Embedded Software Verification and Debugging
le: Lettnin, Djones, et al.
Foilsithe: (2020)

Metric Driven Design Verification
le: Carter, Hamilton B., et al.
Foilsithe: (2020)

VLSI 81 :
le: Gray, John P.
Foilsithe: (1981)

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

Low-Power VLSI Circuits and Systems
le: Pal, Ajit
Foilsithe: (2015)