Verification techniques for system-level design

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

Descrizione completa

Salvato in:

Dettagli Bibliografici
Autore principale:	Fujita, Masahiro
Natura:	Libro
Lingua:	Undetermined
Pubblicazione:	Amsterdam Morgan Kaufmann Publishers 2008
Soggetti:	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
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne! !

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

Documenti analoghi

ESL design and verification :
di: Bailey, Brian
Pubblicazione: (2007)

Applied formal verification
di: Perry, Douglas L.
Pubblicazione: (2005)

Comprehensive functional verification the complete industry cycle
di: Wile, Bruce
Pubblicazione: (2005)

Counterfeit Integrated Circuits: Detection and Avoidance
di: Tehranipoor, Mark, et al.
Pubblicazione: (2015)

On-chip communication architectures : system on chip interconnect
di: Pasricha, Sudeep
Pubblicazione: (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
di: Nguyễn, Thị Hồng
Pubblicazione: (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
di: Phan, Thị Thảo Linh
Pubblicazione: (2022)

Electronic Assembly Fabrication /
di: A. Harper Charles
Pubblicazione: (2002)

Electronic Assembly Fabrication /
di: A. Harper Charles
Pubblicazione: (2002)

On-Chip Communication Architectures (System on Chip Interconnect)
di: Sudeep, Pasricha, et al.
Pubblicazione: (2026)

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

Networks on chips
di: Benini, Luca
Pubblicazione: (2006)

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

Multiprocessor systems on chips
Pubblicazione: (2005)

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

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

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

Reuse methodology manual for system-on-a-Chip designs
di: Keating, Michael
Pubblicazione: (2007)

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

Designer's guide to the cypress psoc
di: Ashby, Robert
Pubblicazione: (2005)

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

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

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

Research and Design of a Low-Power Chip-Based System Based on RISC-V Architecture using ASIC Technology
di: Nguyen, Duc Thao
Pubblicazione: (2026)

Analysis and design of integrated circuits
Pubblicazione: (1967)

Analysis and design of integrated circuits
Pubblicazione: (1967)

ASIC and FPGA verification :
di: Munden, Richard
Pubblicazione: (2005)

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

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

Microarray bioinformatics
di: Stekel, Dov
Pubblicazione: (2003)

Building a Blockchain-Based Credential Verification System
di: Mai, The Son, et al.
Pubblicazione: (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
di: Huynh, Viet Thang
Pubblicazione: (2026)

Languages, Design Methods, and Tools for Electronic System Design:Selected Contributions from FDL 2013
di: Louërat, Marie-Minerve, et al.
Pubblicazione: (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
di: Ngô, Diên Tập, et al.
Pubblicazione: (2015)

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

An introduction to mixed-signal IC test and measurement
di: Mark Burns
Pubblicazione: (2001)

Integrated circuit design
di: Weste, Neil H. E
Pubblicazione: (2011)