Verification techniques for system-level design

Mã QR

Verification techniques for system-level design

This book will explain how to verify SoC logic designs using "formal" and "semi-formal" verification techniques. The critical issue to be addressed is whether the functionality of the design is the one that the designers intended. Simulation has been used for checking the correct...

Mô tả đầy đủ

Đã lưu trong:

Chi tiết về thư mục
Tác giả chính:	Fujita, Masahiro
Định dạng:	Sách
Ngôn ngữ:	Undetermined
Được phát hành:	Amsterdam Morgan Kaufmann Publishers 2008
Những chủ đề:	Integrated circuits,Formal methods (Computer science),Mạch tích hợp,Phương pháp hình thức (Khoa học máy tính),Systems on a chip,Hệ thống trên một chip Verification,Mã xác nhận,Testing,Thử nghiệm
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ự

ESL design and verification :
Bỡi: Bailey, Brian
Được phát hành: (2007)

Applied formal verification
Bỡi: Perry, Douglas L.
Được phát hành: (2005)

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

Counterfeit Integrated Circuits: Detection and Avoidance
Bỡi: Tehranipoor, Mark, et al.
Được phát hành: (2015)

On-chip communication architectures : system on chip interconnect
Bỡi: Pasricha, Sudeep
Được phát hành: (2008)

Electronic Assembly Fabrication /
Bỡi: A. Harper Charles
Được phát hành: (2002)

Electronic Assembly Fabrication /
Bỡi: A. Harper Charles
Được phát hành: (2002)

Multiprocessor systems on chips
Được phát hành: (2005)

Design of on-chip crossbar network topology using chained edge partitioning /
Bỡi: Jun, Minje.

Networks on chips
Bỡi: Benini, Luca
Được phát hành: (2006)

Wafer-Level Chip-Scale Packaging Analog and Power Semiconductor Applications
Bỡi: Qu, Shichun, et al.
Được phát hành: (2015)

Multiprocessor systems on chips
Bỡi: Jerraya, Ahmed A. (Ahmed Amine)

Reuse methodology manual for system-on-a-Chip designs
Bỡi: Keating, Michael
Được phát hành: (2007)

Electronics Manufacturing : with Lead-Free, Halogen-Free, and Conductive-Adhesive Materials /
Bỡi: H. Lau John
Được phát hành: (2002)

Designer's guide to the cypress psoc
Bỡi: Ashby, Robert
Được phát hành: (2005)

Designer's guide to the cypress psoc
Bỡi: Ashby, Robert
Được phát hành: (2005)

Thiết kế và thực tiễn hệ thống trên một chip cho một số ứng dụng đo lường, điều khiển và giám sát môi trường qua mạng Ethernet
Bỡi: Trần, Quang Vinh, et al.
Được phát hành: (2015)

Formal Methods for Industrial Critical Systems: 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings
Bỡi: Núñez, Manuel, et al.
Được phát hành: (2015)

Analysis and design of integrated circuits
Được phát hành: (1967)

Analysis and design of integrated circuits
Được phát hành: (1967)

Closing a system in the dynamic input/output automata model /
Bỡi: Kapus, Tatjana.

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

A mutS-based protein chip for detection of DNA mutations /

Microarray bioinformatics
Bỡi: Stekel, Dov
Được phát hành: (2003)

Modeling and verification of real-time systems :
Được phát hành: (2008)

AMD sẽ có đối thủ cho Atom của intel /

Detection of a salmonella enterica serovar California strain spreading in Spanish feed mills and genetic characterization with DNA microarrays /

Nghiên cứu thiết kế và tích hợp các chíp chuyên dụng vào hệ thống đo lường và thu thập dữ liệu
Bỡi: Ngô, Diên Tập, et al.
Được phát hành: (2015)

Languages, Design Methods, and Tools for Electronic System Design:Selected Contributions from FDL 2013
Bỡi: Louërat, Marie-Minerve, et al.
Được phát hành: (2015)

Integrated circuit design
Bỡi: Weste, Neil H. E
Được phát hành: (2011)

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

Run-time security traceability for evolving systems /
Bỡi: Bauer, Andreas.

A highly adaptive and efficient router architecture for network-on-chip /
Bỡi: Ahmadinia, Ali.

GTX 200 : Những chip đồ hoạ nguyên khối cao cấp cuối cùng /

Effects of atmospheric ozone on microarray data quality /

Determination of binding constants on microarrays with confocal fluorescence detection /
Bỡi: Elbs, Martin.

VLSI test principles and architectures :
Được phát hành: (2006)

Metagenomic profiling : Microarray analysis of an environmental genomic library /
Bỡi: Sebat, Jonathan L.

Demonstration of direct bioanalysis of drugs in plasma using nanoelectrospray infusion from a silicon chip coupled with tandem mass spectrometry /