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

Codi QR

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

Guardat en:

Dades bibliogràfiques
Autor principal:	Rashinkar, Prakash
Format:	Sách
Idioma:	Undetermined
Publicat:	Springer + Business Media 2001
Matèries:	Thiết kế hệ thống; Máy tính số điện tử; Electronic digital computer; Computer software;
Etiquetes:	Afegir etiqueta Sense etiquetes, Sigues el primer a etiquetar aquest registre!

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

Ítems similars

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

Computers today
per: Sanders, Donald H.
Publicat: (1988)

Introduction to digital electronics
per: Lo, Arthur Wu-nien
Publicat: (1967)

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

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

Fifth generation computer systems
per: Moto- Oka, T.
Publicat: (1981)

Digital computer system principles
per: Hellerman, Herbert
Publicat: (1973)

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

Digital systems engineering
per: Dally, William J.
Publicat: (1998)

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

Lectures on Runtime Verification
per: Bartocci, Ezio, et al.
Publicat: (2020)

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

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

Introduction to digital systems /
per: Ercegovac, Milos D.
Publicat: (1999)

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

Verification techniques for system-level design
per: Fujita, Masahiro
Publicat: (2008)

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

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

Modeling and verification using UML statecharts :
per: Drusinsky, Doron
Publicat: (2006)

Modeling and verification using UML statecharts :
per: Drusinsky, Doron
Publicat: (2006)

Digital system design using VHDL
per: Lee, Chin-Hwa
Publicat: (1992)

Digital control of dynamic systems
per: Franklin, Gene F.
Publicat: (1990)

Runtime Verification
Publicat: (2020)

Runtime Verification
Publicat: (2020)

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

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

The art of computer systems performance analysis
per: Jain, Raj
Publicat: (1991)

Principles of digital computers design
per: Abd-Alla, Abd-Elfattah
Publicat: (1976)

Design of digital computers :
per: Gschwind, Hans W.
Publicat: (1975)

Introduction to mixed-Signal, embedded deign
per: Doboli, Alex
Publicat: (2011)

Software Verification and Analysis
per: Laski, Janusz, et al.
Publicat: (2020)

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

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

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

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

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

Introduction to computers and information systems
per: Long, Larry E.
Publicat: (1994)

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

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

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