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

kod QR

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

Zapisane w:

Opis bibliograficzny
1. autor:	Rashinkar, Prakash
Format:	Sách
Język:	Undetermined
Wydane:	Springer + Business Media 2001
Hasła przedmiotowe:	Thiết kế hệ thống; Máy tính số điện tử; Electronic digital computer; Computer software;
Etykiety:	Dodaj etykietę Nie ma etykietki, Dołącz pierwszą etykiete!

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

Podobne zapisy

Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems
od: Ramesh, S., i wsp.
Wydane: (2020)

Computers today
od: Sanders, Donald H.
Wydane: (1988)

Introduction to digital electronics
od: Lo, Arthur Wu-nien
Wydane: (1967)

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

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

Fifth generation computer systems
od: Moto- Oka, T.
Wydane: (1981)

Digital computer system principles
od: Hellerman, Herbert
Wydane: (1973)

Digital systems engineering
od: Dally, William J.
Wydane: (1998)

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

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
od: Fantechi, Alessandro, i wsp.
Wydane: (2020)

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

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

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

Lectures on Runtime Verification
od: Bartocci, Ezio, i wsp.
Wydane: (2020)

Introduction to digital systems /
od: Ercegovac, Milos D.
Wydane: (1999)

Verification techniques for system-level design
od: Fujita, Masahiro
Wydane: (2008)

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

Modeling and verification using UML statecharts :
od: Drusinsky, Doron
Wydane: (2006)

Modeling and verification using UML statecharts :
od: Drusinsky, Doron
Wydane: (2006)

Digital system design using VHDL
od: Lee, Chin-Hwa
Wydane: (1992)

Runtime Verification
Wydane: (2020)

Runtime Verification
Wydane: (2020)

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

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

Digital control of dynamic systems
od: Franklin, Gene F.
Wydane: (1990)

Verification and Evaluation of Computer and Communication Systems
od: Barkaoui, Kamel, i wsp.
Wydane: (2020)

The art of computer systems performance analysis
od: Jain, Raj
Wydane: (1991)

Principles of digital computers design
od: Abd-Alla, Abd-Elfattah
Wydane: (1976)

Design of digital computers :
od: Gschwind, Hans W.
Wydane: (1975)

Introduction to mixed-Signal, embedded deign
od: Doboli, Alex
Wydane: (2011)

Software Verification and Analysis
od: Laski, Janusz, i wsp.
Wydane: (2020)

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

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

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

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

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

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

Introduction to computers and information systems
od: Long, Larry E.
Wydane: (1994)

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

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