System-On-A-Chip verification : Methodology and techniques

Codice QR

System-On-A-Chip verification : Methodology and techniques

Salvato in:

Dettagli Bibliografici
Autore principale:	Rashinkar, Prakash
Natura:	Sách
Lingua:	Undetermined
Pubblicazione:	Springer + Business Media 2001
Soggetti:	Thiết kế hệ thống; Máy tính số điện tử; Electronic digital computer; Computer software;
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne! !

Thư viện lưu trữ:	Trung tâm Thư viện - Trường Đại học Công nghiệp TP. Hồ Chí Minh

Documenti analoghi

Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems
di: Ramesh, S., et al.
Pubblicazione: (2020)

Computers today
di: Sanders, Donald H.
Pubblicazione: (1988)

Introduction to digital electronics
di: Lo, Arthur Wu-nien
Pubblicazione: (1967)

The system designer’s guide to VHDL-AMS :
di: Ashenden, Peter J.
Pubblicazione: (2003)

The system designer’s guide to VHDL-AMS :
di: Ashenden, Peter J.
Pubblicazione: (2003)

Fifth generation computer systems
di: Moto- Oka, T.
Pubblicazione: (1981)

Digital computer system principles
di: Hellerman, Herbert
Pubblicazione: (1973)

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
di: Fantechi, Alessandro, et al.
Pubblicazione: (2020)

Digital systems engineering
di: Dally, William J.
Pubblicazione: (1998)

Kỹ thuật số
di: Nguyễn, Gia Hiểu
Pubblicazione: (2006)

Phương pháp phân tích và tổng hợp thiết bị số
di: Nguyễn, Duy Bảo
Pubblicazione: (2005)

Lectures on Runtime Verification
di: Bartocci, Ezio, et al.
Pubblicazione: (2020)

Verification and validation for quality of UML 2.0 madels
di: Unhelkar, Bhuvan
Pubblicazione: (2005)

Introduction to digital systems /
di: Ercegovac, Milos D.
Pubblicazione: (1999)

Kỹ thuật số 2
di: Hồ, Trung Mỹ
Pubblicazione: (2006)

Verification techniques for system-level design
di: Fujita, Masahiro
Pubblicazione: (2008)

Verification and validation for quality of UML 2.0 models
di: Unhelkar, Bhuvan
Pubblicazione: (2005)

Iso and Ansi ergonomic standards for computer products: A guide to implementation and compliance
di: Wanda J. Smith
Pubblicazione: (1996)

Modeling and verification using UML statecharts :
di: Drusinsky, Doron
Pubblicazione: (2006)

Modeling and verification using UML statecharts :
di: Drusinsky, Doron
Pubblicazione: (2006)

Digital system design using VHDL
di: Lee, Chin-Hwa
Pubblicazione: (1992)

Digital control of dynamic systems
di: Franklin, Gene F.
Pubblicazione: (1990)

Runtime Verification
Pubblicazione: (2020)

Runtime Verification
Pubblicazione: (2020)

Verification and Evaluation of Computer and Communication Systems
di: Barkaoui, Kamel, et al.
Pubblicazione: (2020)

Kỹ thuật số lý thuyết và bài tập
di: Tống, Văn On
Pubblicazione: (2007)

The art of computer systems performance analysis
di: Jain, Raj
Pubblicazione: (1991)

Principles of digital computers design
di: Abd-Alla, Abd-Elfattah
Pubblicazione: (1976)

Design of digital computers :
di: Gschwind, Hans W.
Pubblicazione: (1975)

Introduction to mixed-Signal, embedded deign
di: Doboli, Alex
Pubblicazione: (2011)

Giáo trình kỹ thuật số :
di: Nguyễn, Viết Nguyên
Pubblicazione: (2005)

Giáo trình kỹ thuật số
di: Nguyễn Viết Nguyên
Pubblicazione: (2004)

Kỹ thuật số 2
di: Hồ, Trung Mỹ
Pubblicazione: (2005)

Giáo trình kỹ thuật số và mạch logic :
di: Chu, Khắc Huy
Pubblicazione: (2006)

Kỹ thuật số
di: Nguyễn, Thúy Vân
Pubblicazione: (2008)

Software Verification and Analysis
di: Laski, Janusz, et al.
Pubblicazione: (2020)

Introduction to computers and information systems
di: Long, Larry E.
Pubblicazione: (1994)

Kỹ thuật số
di: Nguyễn, Gia Hiểu
Pubblicazione: (2006)

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

Synthesis of Arithmetic Circuits : FPGA, ASIC, and embedded systems
di: Deschamps, Jean-Pierre
Pubblicazione: (2006)

Notice: fwrite(): write of 697 bytes failed with errno=28 No space left on device in C:\vufind\module\VuFind\src\VuFind\Session\File.php on line 152
Cannot write session to C:\Windows\TEMP\vufind_sessions/sess_lgmge673mnr3066kavm2mjcgbe
Warning: session_write_close(): Failed to write session data using user defined save handler. (session.save_path: \xampp\tmp) in C:\vufind\vendor\laminas\laminas-session\src\SessionManager.php on line 235