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

QR kód

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

Uloženo v:

Podrobná bibliografie
Hlavní autor:	Rashinkar, Prakash
Médium:	Sách
Jazyk:	Undetermined
Vydáno:	Springer + Business Media 2001
Témata:	Thiết kế hệ thống; Máy tính số điện tử; Electronic digital computer; Computer software;
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo otaguje tento záznam!

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

Podobné jednotky

Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems
Autor: Ramesh, S., a další
Vydáno: (2020)

Computers today
Autor: Sanders, Donald H.
Vydáno: (1988)

Introduction to digital electronics
Autor: Lo, Arthur Wu-nien
Vydáno: (1967)

The system designer’s guide to VHDL-AMS :
Autor: Ashenden, Peter J.
Vydáno: (2003)

The system designer’s guide to VHDL-AMS :
Autor: Ashenden, Peter J.
Vydáno: (2003)

Fifth generation computer systems
Autor: Moto- Oka, T.
Vydáno: (1981)

Digital computer system principles
Autor: Hellerman, Herbert
Vydáno: (1973)

Digital systems engineering
Autor: Dally, William J.
Vydáno: (1998)

Kỹ thuật số
Autor: Nguyễn, Gia Hiểu
Vydáno: (2006)

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
Autor: Fantechi, Alessandro, a další
Vydáno: (2020)

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

Verification and validation for quality of UML 2.0 madels
Autor: Unhelkar, Bhuvan
Vydáno: (2005)

Kỹ thuật số 2
Autor: Hồ, Trung Mỹ
Vydáno: (2006)

Lectures on Runtime Verification
Autor: Bartocci, Ezio, a další
Vydáno: (2020)

Introduction to digital systems /
Autor: Ercegovac, Milos D.
Vydáno: (1999)

Verification techniques for system-level design
Autor: Fujita, Masahiro
Vydáno: (2008)

Verification and validation for quality of UML 2.0 models
Autor: Unhelkar, Bhuvan
Vydáno: (2005)

Modeling and verification using UML statecharts :
Autor: Drusinsky, Doron
Vydáno: (2006)

Modeling and verification using UML statecharts :
Autor: Drusinsky, Doron
Vydáno: (2006)

Digital system design using VHDL
Autor: Lee, Chin-Hwa
Vydáno: (1992)

Runtime Verification
Vydáno: (2020)

Runtime Verification
Vydáno: (2020)

Iso and Ansi ergonomic standards for computer products: A guide to implementation and compliance
Autor: Wanda J. Smith
Vydáno: (1996)

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

Verification and Evaluation of Computer and Communication Systems
Autor: Barkaoui, Kamel, a další
Vydáno: (2020)

Digital control of dynamic systems
Autor: Franklin, Gene F.
Vydáno: (1990)

The art of computer systems performance analysis
Autor: Jain, Raj
Vydáno: (1991)

Principles of digital computers design
Autor: Abd-Alla, Abd-Elfattah
Vydáno: (1976)

Design of digital computers :
Autor: Gschwind, Hans W.
Vydáno: (1975)

Introduction to mixed-Signal, embedded deign
Autor: Doboli, Alex
Vydáno: (2011)

Software Verification and Analysis
Autor: Laski, Janusz, a další
Vydáno: (2020)

Giáo trình kỹ thuật số :
Autor: Nguyễn, Viết Nguyên
Vydáno: (2005)

Giáo trình kỹ thuật số
Autor: Nguyễn Viết Nguyên
Vydáno: (2004)

Kỹ thuật số 2
Autor: Hồ, Trung Mỹ
Vydáno: (2005)

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

Kỹ thuật số
Autor: Nguyễn, Thúy Vân
Vydáno: (2008)

Introduction to computers and information systems
Autor: Long, Larry E.
Vydáno: (1994)

Synthesis of Arithmetic Circuits : FPGA, ASIC, and embedded systems
Autor: Deschamps, Jean-Pierre
Vydáno: (2006)

Kỹ thuật số
Autor: Nguyễn, Gia Hiểu
Vydáno: (2006)

Modeling and verification of real-time systems :
Vydáno: (2008)