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

QR-Code

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

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Rashinkar, Prakash
Format:	Sách
Sprache:	Undetermined
Veröffentlicht:	Springer + Business Media 2001
Schlagworte:	Thiết kế hệ thống; Máy tính số điện tử; Electronic digital computer; Computer software;
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

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

Ähnliche Einträge

Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems
von: Ramesh, S., et al.
Veröffentlicht: (2020)

Computers today
von: Sanders, Donald H.
Veröffentlicht: (1988)

Introduction to digital electronics
von: Lo, Arthur Wu-nien
Veröffentlicht: (1967)

The system designer’s guide to VHDL-AMS :
von: Ashenden, Peter J.
Veröffentlicht: (2003)

The system designer’s guide to VHDL-AMS :
von: Ashenden, Peter J.
Veröffentlicht: (2003)

Fifth generation computer systems
von: Moto- Oka, T.
Veröffentlicht: (1981)

Digital computer system principles
von: Hellerman, Herbert
Veröffentlicht: (1973)

Digital systems engineering
von: Dally, William J.
Veröffentlicht: (1998)

Kỹ thuật số
von: Nguyễn, Gia Hiểu
Veröffentlicht: (2006)

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
von: Fantechi, Alessandro, et al.
Veröffentlicht: (2020)

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

Verification and validation for quality of UML 2.0 madels
von: Unhelkar, Bhuvan
Veröffentlicht: (2005)

Kỹ thuật số 2
von: Hồ, Trung Mỹ
Veröffentlicht: (2006)

Lectures on Runtime Verification
von: Bartocci, Ezio, et al.
Veröffentlicht: (2020)

Introduction to digital systems /
von: Ercegovac, Milos D.
Veröffentlicht: (1999)

Verification techniques for system-level design
von: Fujita, Masahiro
Veröffentlicht: (2008)

Verification and validation for quality of UML 2.0 models
von: Unhelkar, Bhuvan
Veröffentlicht: (2005)

Modeling and verification using UML statecharts :
von: Drusinsky, Doron
Veröffentlicht: (2006)

Modeling and verification using UML statecharts :
von: Drusinsky, Doron
Veröffentlicht: (2006)

Digital system design using VHDL
von: Lee, Chin-Hwa
Veröffentlicht: (1992)

Runtime Verification
Veröffentlicht: (2020)

Runtime Verification
Veröffentlicht: (2020)

Iso and Ansi ergonomic standards for computer products: A guide to implementation and compliance
von: Wanda J. Smith
Veröffentlicht: (1996)

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

Verification and Evaluation of Computer and Communication Systems
von: Barkaoui, Kamel, et al.
Veröffentlicht: (2020)

Digital control of dynamic systems
von: Franklin, Gene F.
Veröffentlicht: (1990)

The art of computer systems performance analysis
von: Jain, Raj
Veröffentlicht: (1991)

Principles of digital computers design
von: Abd-Alla, Abd-Elfattah
Veröffentlicht: (1976)

Design of digital computers :
von: Gschwind, Hans W.
Veröffentlicht: (1975)

Introduction to mixed-Signal, embedded deign
von: Doboli, Alex
Veröffentlicht: (2011)

Software Verification and Analysis
von: Laski, Janusz, et al.
Veröffentlicht: (2020)

Giáo trình kỹ thuật số :
von: Nguyễn, Viết Nguyên
Veröffentlicht: (2005)

Giáo trình kỹ thuật số
von: Nguyễn Viết Nguyên
Veröffentlicht: (2004)

Kỹ thuật số 2
von: Hồ, Trung Mỹ
Veröffentlicht: (2005)

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

Kỹ thuật số
von: Nguyễn, Thúy Vân
Veröffentlicht: (2008)

Introduction to computers and information systems
von: Long, Larry E.
Veröffentlicht: (1994)

Synthesis of Arithmetic Circuits : FPGA, ASIC, and embedded systems
von: Deschamps, Jean-Pierre
Veröffentlicht: (2006)

Kỹ thuật số
von: Nguyễn, Gia Hiểu
Veröffentlicht: (2006)

Modeling and verification of real-time systems :
Veröffentlicht: (2008)