Applied formal verification

QR Code (код быстрого отклика)

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
Метки:	Добавить метку Нет меток, Требуется 1-ая метка записи!

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)