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

Mô tả đầy đủ

Đã lưu trong:

Chi tiết về thư mục
Tác giả chính:	Perry, Douglas L.
Định dạng:	Sách
Ngôn ngữ:	Undetermined
Được phát hành:	New York McGraw-Hill 2005
Những chủ đề:	Integrated circuits,Electronic circuits Verification,Testing
Các nhãn:	Thêm thẻ Không có thẻ, Là người đầu tiên thẻ bản ghi này!

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

Những quyển sách tương tự

An introduction to mixed-signal IC test and measurement
Bỡi: Mark Burns
Được phát hành: (2001)

Comprehensive functional verification the complete industry cycle
Bỡi: Wile, Bruce
Được phát hành: (2005)

Microelectronic circuits
Bỡi: Sedra, Adel S.
Được phát hành: (1987)

Microelectronic circuits
Bỡi: Sedra, Adel S.
Được phát hành: (2004)

Microelectronic circuits
Bỡi: Adel S. Sedra
Được phát hành: (2004)

Microelectronic circuit design
Bỡi: Richard C. Jaeger
Được phát hành: (2008)

Analog VLSI

Diagnostic measurements in LSI/VLSI integrated circuits production /
Bỡi: Jakubowski, Andrzej.
Được phát hành: (1991)

Sổ tay tra cứu IC trong TV màu
Bỡi: Phạm, Đình Bảo
Được phát hành: (2006)

Verification techniques for system-level design
Bỡi: Fujita, Masahiro
Được phát hành: (2008)

111 digital and linear IC projects
Bỡi: Tuite, Don
Được phát hành: (1975)

Kỹ thuật số thực hành
Bỡi: Huỳnh, Đắc Thắng
Được phát hành: (2006)

Cẩm nang tra cứu IC TV màu và monitor
Bỡi: ĐỖ THANH HẢI
Được phát hành: (2002)

VLSI Handbook :
Bỡi: Giacomo, Joseph Di
Được phát hành: (2000)

Cẩm nang tra cứu và thay thế vi mạch (IC) =
Được phát hành: (2002)

Cẩm nang tra cứu IC TV màu và monitor
Bỡi: ĐỖ THANH HẢI
Được phát hành: (2002)

Cẩm nang tra cứu IC TV màu và monitor
Bỡi: ĐỖ THANH HẢI
Được phát hành: (2002)

Cẩm nang tra cứu IC TV màu và monitor
Bỡi: ĐỖ THANH HẢI
Được phát hành: (2002)

Cẩm nang tra cứu IC TV màu và monitor
Bỡi: ĐỖ THANH HẢI
Được phát hành: (2002)

Cẩm nang tra cứu IC TV màu và monitor
Bỡi: ĐỖ THANH HẢI
Được phát hành: (2002)

Electronic integrated circuits :
Bỡi: Allison, John
Được phát hành: (1975)

ASIC and FPGA verification :
Bỡi: Munden, Richard
Được phát hành: (2005)

Integrated circuit manufacturability :
Được phát hành: (1999)

Essentials of circuit analysis
Bỡi: Boylestad, Robert L.
Được phát hành: (2004)

Design and applications of analog integrated circuits
Bỡi: Soclof, Sidney
Được phát hành: (1991)

Thiết kế vi mạch CMOS VLSI:
Bỡi: Tống, Văn On
Được phát hành: (2008)

Integrated circuits :
Bỡi: William C. Till
Được phát hành: (1982)

Silicon chips and you
Bỡi: C. D. Renmore
Được phát hành: (1979)

Digital integrated circuit design
Bỡi: Ken Martin
Được phát hành: (2000)

Digital integrated circuit design
Bỡi: Martin, Ken
Được phát hành: (2000)

Digital design
Bỡi: Wakerly, John F.

VLSI 81 :
Bỡi: Gray, John P.
Được phát hành: (1981)

ESD.
Bỡi: Voldman, Steven H.
Được phát hành: (2015)

Mạch siêu cao tần
Bỡi: Vũ Đình Thành
Được phát hành: (1999)

Phân tích và thiết kế nguồn ổn định chuyển mạch
Bỡi: Đỗ Thanh Hải
Được phát hành: (2002)

Căn bản mạch logic
Bỡi: Đỗ Thanh Hải
Được phát hành: (2003)

Lý thuyết mạch
Bỡi: Phương, Xuân Nhàn
Được phát hành: (2009)

Lý thuyết mạch :
Bỡi: Phương, Xuân Nhàn
Được phát hành: (2002)

Analog integrated circuit design
Bỡi: Carusone, Tony Chan
Được phát hành: (2013)

Điện tử công nghiệp; T1
Bỡi: I L Kaganov
Được phát hành: (1979)