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

Fuld beskrivelse

Đã lưu trong:

Bibliografiske detaljer
Hovedforfatter:	Fujita, Masahiro
Format:	Bog
Sprog:	Undetermined
Udgivet:	Amsterdam Morgan Kaufmann Publishers 2008
Fag:	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:	Tilføj Tag Ingen Tags, Vær først til at tagge denne postø!

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

Lignende værker

ESL design and verification :
af: Bailey, Brian
Udgivet: (2007)

Applied formal verification
af: Perry, Douglas L.
Udgivet: (2005)

Comprehensive functional verification the complete industry cycle
af: Wile, Bruce
Udgivet: (2005)

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

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

Electronic Assembly Fabrication /
af: A. Harper Charles
Udgivet: (2002)

Electronic Assembly Fabrication /
af: A. Harper Charles
Udgivet: (2002)

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

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

Multiprocessor systems on chips
Udgivet: (2005)

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

Networks on chips
af: Benini, Luca
Udgivet: (2006)

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

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

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

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

Designer's guide to the cypress psoc
af: Ashby, Robert
Udgivet: (2005)

Designer's guide to the cypress psoc
af: Ashby, Robert
Udgivet: (2005)

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

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
af: Trần, Quang Vinh, et al.
Udgivet: (2015)

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

Analysis and design of integrated circuits
Udgivet: (1967)

Analysis and design of integrated circuits
Udgivet: (1967)

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

ASIC and FPGA verification :
af: Munden, Richard
Udgivet: (2005)

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

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

Microarray bioinformatics
af: Stekel, Dov
Udgivet: (2003)

Building a Blockchain-Based Credential Verification System
af: Mai, The Son, et al.
Udgivet: (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 /

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

Integrated circuit design
af: Weste, Neil H. E
Udgivet: (2011)

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

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

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

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