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

תיאור מלא

שמור ב:

מידע ביבליוגרפי
מחבר ראשי:	Perry, Douglas L.
פורמט:	ספר
שפה:	Undetermined
יצא לאור:	New York McGraw-Hill 2005
נושאים:	Integrated circuits,Electronic circuits Verification,Testing
תגים:	הוספת תג אין תגיות, היה/י הראשונ/ה לתייג את הרשומה!

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

פריטים דומים

Counterfeit Integrated Circuits: Detection and Avoidance
מאת: Tehranipoor, Mark, et al.
יצא לאור: (2015)

Formal Verification of Simulink/Stateflow Diagrams
מאת: Zhan, Naijun, et al.
יצא לאור: (2020)

Comprehensive functional verification the complete industry cycle
מאת: Wile, Bruce
יצא לאור: (2005)

An introduction to mixed-signal IC test and measurement
מאת: Mark Burns
יצא לאור: (2001)

Microelectronic circuits
מאת: Sedra, Adel S.
יצא לאור: (1987)

Microelectronic circuits
מאת: Sedra, Adel S.
יצא לאור: (2004)

Microelectronic circuits
מאת: Adel S. Sedra
יצא לאור: (2004)

Formal System Verification. 1st ed. 2018
מאת: Drechsler, Rolf
יצא לאור: (2020)

Microelectronic circuit design
מאת: Richard C. Jaeger
יצא לאור: (2008)

Analog VLSI

Diagnostic measurements in LSI/VLSI integrated circuits production /
מאת: Jakubowski, Andrzej.
יצא לאור: (1991)

Sổ tay tra cứu IC trong TV màu
מאת: Phạm, Đình Bảo
יצא לאור: (2006)

Cẩm nang tra cứu IC TV màu và monitor
מאת: ĐỖ THANH HẢI
יצא לאור: (2002)

VLSI Handbook :
מאת: Giacomo, Joseph Di
יצא לאור: (2000)

Cẩm nang tra cứu và thay thế vi mạch (IC) =
יצא לאור: (2002)

Cẩm nang tra cứu IC TV màu và monitor
מאת: ĐỖ THANH HẢI
יצא לאור: (2002)

Cẩm nang tra cứu IC TV màu và monitor
מאת: ĐỖ THANH HẢI
יצא לאור: (2002)

Cẩm nang tra cứu IC TV màu và monitor
מאת: ĐỖ THANH HẢI
יצא לאור: (2002)

Cẩm nang tra cứu IC TV màu và monitor
מאת: ĐỖ THANH HẢI
יצא לאור: (2002)

Cẩm nang tra cứu IC TV màu và monitor
מאת: ĐỖ THANH HẢI
יצא לאור: (2002)

Electronic integrated circuits :
מאת: Allison, John
יצא לאור: (1975)

111 digital and linear IC projects
מאת: Tuite, Don
יצא לאור: (1975)

Kỹ thuật số thực hành
מאת: Huỳnh, Đắc Thắng
יצא לאור: (2006)

Verification techniques for system-level design
מאת: Fujita, Masahiro
יצא לאור: (2008)

ASIC and FPGA verification :
מאת: Munden, Richard
יצא לאור: (2005)

Ultra-Low-Voltage Design of Energy-Efficient Digital Circuits
מאת: Reynders, Nele, et al.
יצא לאור: (2016)

Design and applications of analog integrated circuits
מאת: Soclof, Sidney
יצא לאור: (1991)

Thiết kế vi mạch CMOS VLSI:
מאת: Tống, Văn On
יצא לאור: (2008)

Integrated circuits :
מאת: William C. Till
יצא לאור: (1982)

Silicon chips and you
מאת: C. D. Renmore
יצא לאור: (1979)

Digital integrated circuit design
מאת: Ken Martin
יצא לאור: (2000)

Digital integrated circuit design
מאת: Martin, Ken
יצא לאור: (2000)

Digital design
מאת: Wakerly, John F.

Integrated circuit manufacturability :
יצא לאור: (1999)

Essentials of circuit analysis
מאת: Boylestad, Robert L.
יצא לאור: (2004)

Embedded Software Verification and Debugging
מאת: Lettnin, Djones, et al.
יצא לאור: (2020)

Metric Driven Design Verification
מאת: Carter, Hamilton B., et al.
יצא לאור: (2020)

VLSI 81 :
מאת: Gray, John P.
יצא לאור: (1981)

Taxonomies for the Development and Verification of Digital Systems
מאת: Bailey, Brian, et al.
יצא לאור: (2020)

Low-Power VLSI Circuits and Systems
מאת: Pal, Ajit
יצא לאור: (2015)