Verification techniques for system-level design

QR-koodi

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

Tallennettuna:

Bibliografiset tiedot
Päätekijä:	Fujita, Masahiro
Aineistotyyppi:	Kirja
Kieli:	Undetermined
Julkaistu:	Amsterdam Morgan Kaufmann Publishers 2008
Aiheet:	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
Tagit:	Lisää tagi Ei tageja, Lisää ensimmäinen tagi!

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

Samankaltaisia teoksia

ESL design and verification :
Tekijä: Bailey, Brian
Julkaistu: (2007)

Applied formal verification
Tekijä: Perry, Douglas L.
Julkaistu: (2005)

Comprehensive functional verification the complete industry cycle
Tekijä: Wile, Bruce
Julkaistu: (2005)

Counterfeit Integrated Circuits: Detection and Avoidance
Tekijä: Tehranipoor, Mark, et al.
Julkaistu: (2015)

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

Electronic Assembly Fabrication /
Tekijä: A. Harper Charles
Julkaistu: (2002)

Electronic Assembly Fabrication /
Tekijä: A. Harper Charles
Julkaistu: (2002)

On-Chip Communication Architectures (System on Chip Interconnect)
Tekijä: Sudeep, Pasricha, et al.
Julkaistu: (2026)

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

Networks on chips
Tekijä: Benini, Luca
Julkaistu: (2006)

Multiprocessor systems on chips
Julkaistu: (2005)

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

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

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

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

Reuse methodology manual for system-on-a-Chip designs
Tekijä: Keating, Michael
Julkaistu: (2007)

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

Designer's guide to the cypress psoc
Tekijä: Ashby, Robert
Julkaistu: (2005)

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

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

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

Analysis and design of integrated circuits
Julkaistu: (1967)

Analysis and design of integrated circuits
Julkaistu: (1967)

ASIC and FPGA verification :
Tekijä: Munden, Richard
Julkaistu: (2005)

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

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

Microarray bioinformatics
Tekijä: Stekel, Dov
Julkaistu: (2003)

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

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

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

An introduction to mixed-signal IC test and measurement
Tekijä: Mark Burns
Julkaistu: (2001)

Integrated circuit design
Tekijä: Weste, Neil H. E
Julkaistu: (2011)

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