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

QR Kodea

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

Gorde:

Xehetasun bibliografikoak
Egile nagusia:	Rashinkar, Prakash
Formatua:	Sách
Hizkuntza:	Undetermined
Argitaratua:	Springer + Business Media 2001
Gaiak:	Thiết kế hệ thống; Máy tính số điện tử; Electronic digital computer; Computer software;
Etiketak:	Etiketa erantsi Etiketarik gabe, Izan zaitez lehena erregistro honi etiketa jartzen!

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

Antzeko izenburuak

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

Computers today
nork: Sanders, Donald H.
Argitaratua: (1988)

Introduction to digital electronics
nork: Lo, Arthur Wu-nien
Argitaratua: (1967)

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

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

Fifth generation computer systems
nork: Moto- Oka, T.
Argitaratua: (1981)

Digital computer system principles
nork: Hellerman, Herbert
Argitaratua: (1973)

Digital systems engineering
nork: Dally, William J.
Argitaratua: (1998)

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

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

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

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

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

Lectures on Runtime Verification
nork: Bartocci, Ezio, et al.
Argitaratua: (2020)

Introduction to digital systems /
nork: Ercegovac, Milos D.
Argitaratua: (1999)

Verification techniques for system-level design
nork: Fujita, Masahiro
Argitaratua: (2008)

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

Modeling and verification using UML statecharts :
nork: Drusinsky, Doron
Argitaratua: (2006)

Modeling and verification using UML statecharts :
nork: Drusinsky, Doron
Argitaratua: (2006)

Digital system design using VHDL
nork: Lee, Chin-Hwa
Argitaratua: (1992)

Runtime Verification
Argitaratua: (2020)

Runtime Verification
Argitaratua: (2020)

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

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

Digital control of dynamic systems
nork: Franklin, Gene F.
Argitaratua: (1990)

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

The art of computer systems performance analysis
nork: Jain, Raj
Argitaratua: (1991)

Principles of digital computers design
nork: Abd-Alla, Abd-Elfattah
Argitaratua: (1976)

Design of digital computers :
nork: Gschwind, Hans W.
Argitaratua: (1975)

Introduction to mixed-Signal, embedded deign
nork: Doboli, Alex
Argitaratua: (2011)

Software Verification and Analysis
nork: Laski, Janusz, et al.
Argitaratua: (2020)

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

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

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

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

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

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

Introduction to computers and information systems
nork: Long, Larry E.
Argitaratua: (1994)

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

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