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

Đã lưu trong:

书目详细资料
主要作者:	Fujita, Masahiro
格式:	图书
语言:	Undetermined
出版:	Amsterdam Morgan Kaufmann Publishers 2008
主题:	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
标签:	添加标签没有标签, 成为第一个标记此记录!

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

相似书籍

ESL design and verification :
由: Bailey, Brian
出版: (2007)

Applied formal verification
由: Perry, Douglas L.
出版: (2005)

Comprehensive functional verification the complete industry cycle
由: Wile, Bruce
出版: (2005)

Counterfeit Integrated Circuits: Detection and Avoidance
由: Tehranipoor, Mark, et al.
出版: (2015)

On-chip communication architectures : system on chip interconnect
由: Pasricha, Sudeep
出版: (2008)

ĐIỀU TRA HIỆN TRẠNG KHAI THÁC NGUỒN LỢI CHÍP CHÍP (Paratapes Undulatus) Ở VÙNG CỬA SÔNG HÀN TP. ĐÀ NẴNG
由: Nguyễn, Thị Hồng
出版: (2022)

KHẢO SÁT HIỆN TRẠNG VI NHỰA TRONG LOÀI CHÍP CHÍP (Paratapes undulatus) PHÂN BỐ Ở VỊNH ĐÀ NẴNG
由: Phan, Thị Thảo Linh
出版: (2022)

Electronic Assembly Fabrication /
由: A. Harper Charles
出版: (2002)

Electronic Assembly Fabrication /
由: A. Harper Charles
出版: (2002)

On-Chip Communication Architectures (System on Chip Interconnect)
由: Sudeep, Pasricha, et al.
出版: (2026)

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

Networks on chips
由: Benini, Luca
出版: (2006)

Multiprocessor systems on chips
出版: (2005)

Thực hiện NETWORK-ON-CHIP (NoC) trên nền FPGA
由: Phạm Ngọc, Nam, et al.
出版: (2014)

Wafer-Level Chip-Scale Packaging Analog and Power Semiconductor Applications
由: Qu, Shichun, et al.
出版: (2015)

Multiprocessor systems on chips
由: Jerraya, Ahmed A. (Ahmed Amine)

Electronics Manufacturing : with Lead-Free, Halogen-Free, and Conductive-Adhesive Materials /
由: H. Lau John
出版: (2002)

Reuse methodology manual for system-on-a-Chip designs
由: Keating, Michael
出版: (2007)

Công nghệ tạo chip chuyên dụng PSoC và khả năng ứng dụng
由: PGS.TSKH. Phạm Thượng, Cát
出版: (2014)

Designer's guide to the cypress psoc
由: Ashby, Robert
出版: (2005)

Designer's guide to the cypress psoc
由: Ashby, Robert
出版: (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
由: Trần, Quang Vinh, et al.
出版: (2015)

Formal Methods for Industrial Critical Systems: 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings
由: Núñez, Manuel, et al.
出版: (2015)

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

Analysis and design of integrated circuits
出版: (1967)

Analysis and design of integrated circuits
出版: (1967)

ASIC and FPGA verification :
由: Munden, Richard
出版: (2005)

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

Modeling and verification of real-time systems :
出版: (2008)

Microarray bioinformatics
由: Stekel, Dov
出版: (2003)

Building a Blockchain-Based Credential Verification System
由: Mai, The Son, et al.
出版: (2025)

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 ước tính công suất đạp xe và nguyên mẫu máy tính xe đạp GPS dựa trên nền tảng hệ thống trên chip
由: Huynh, Viet Thang
出版: (2026)

Languages, Design Methods, and Tools for Electronic System Design:Selected Contributions from FDL 2013
由: Louërat, Marie-Minerve, et al.
出版: (2015)

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
由: Ngô, Diên Tập, et al.
出版: (2015)

Run-time security traceability for evolving systems /
由: Bauer, Andreas.

An introduction to mixed-signal IC test and measurement
由: Mark Burns
出版: (2001)

Integrated circuit design
由: Weste, Neil H. E
出版: (2011)

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