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

QR Code (код быстрого отклика)

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

Сохранить в:

Библиографические подробности
Главный автор:	Rashinkar, Prakash
Формат:	Sách
Язык:	Undetermined
Опубликовано:	Springer + Business Media 2001
Предметы:	Thiết kế hệ thống; Máy tính số điện tử; Electronic digital computer; Computer software;
Метки:	Добавить метку Нет меток, Требуется 1-ая метка записи!

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

Схожие документы

Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems
по: Ramesh, S., et al.
Опубликовано: (2020)

Computers today
по: Sanders, Donald H.
Опубликовано: (1988)

Introduction to digital electronics
по: Lo, Arthur Wu-nien
Опубликовано: (1967)

The system designer’s guide to VHDL-AMS :
по: Ashenden, Peter J.
Опубликовано: (2003)

The system designer’s guide to VHDL-AMS :
по: Ashenden, Peter J.
Опубликовано: (2003)

Fifth generation computer systems
по: Moto- Oka, T.
Опубликовано: (1981)

Digital computer system principles
по: Hellerman, Herbert
Опубликовано: (1973)

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
по: Fantechi, Alessandro, et al.
Опубликовано: (2020)

Digital systems engineering
по: Dally, William J.
Опубликовано: (1998)

Kỹ thuật số
по: Nguyễn, Gia Hiểu
Опубликовано: (2006)

Lectures on Runtime Verification
по: Bartocci, Ezio, et al.
Опубликовано: (2020)

Phương pháp phân tích và tổng hợp thiết bị số
по: Nguyễn, Duy Bảo
Опубликовано: (2005)

Verification and validation for quality of UML 2.0 madels
по: Unhelkar, Bhuvan
Опубликовано: (2005)

Introduction to digital systems /
по: Ercegovac, Milos D.
Опубликовано: (1999)

Kỹ thuật số 2
по: Hồ, Trung Mỹ
Опубликовано: (2006)

Verification techniques for system-level design
по: Fujita, Masahiro
Опубликовано: (2008)

Verification and validation for quality of UML 2.0 models
по: Unhelkar, Bhuvan
Опубликовано: (2005)

Iso and Ansi ergonomic standards for computer products: A guide to implementation and compliance
по: Wanda J. Smith
Опубликовано: (1996)

Modeling and verification using UML statecharts :
по: Drusinsky, Doron
Опубликовано: (2006)

Modeling and verification using UML statecharts :
по: Drusinsky, Doron
Опубликовано: (2006)

Digital system design using VHDL
по: Lee, Chin-Hwa
Опубликовано: (1992)

Digital control of dynamic systems
по: Franklin, Gene F.
Опубликовано: (1990)

Runtime Verification
Опубликовано: (2020)

Runtime Verification
Опубликовано: (2020)

Verification and Evaluation of Computer and Communication Systems
по: Barkaoui, Kamel, et al.
Опубликовано: (2020)

Kỹ thuật số lý thuyết và bài tập
по: Tống, Văn On
Опубликовано: (2007)

The art of computer systems performance analysis
по: Jain, Raj
Опубликовано: (1991)

Principles of digital computers design
по: Abd-Alla, Abd-Elfattah
Опубликовано: (1976)

Design of digital computers :
по: Gschwind, Hans W.
Опубликовано: (1975)

Introduction to mixed-Signal, embedded deign
по: Doboli, Alex
Опубликовано: (2011)

Software Verification and Analysis
по: Laski, Janusz, et al.
Опубликовано: (2020)

Giáo trình kỹ thuật số :
по: Nguyễn, Viết Nguyên
Опубликовано: (2005)

Giáo trình kỹ thuật số
по: Nguyễn Viết Nguyên
Опубликовано: (2004)

Kỹ thuật số 2
по: Hồ, Trung Mỹ
Опубликовано: (2005)

Giáo trình kỹ thuật số và mạch logic :
по: Chu, Khắc Huy
Опубликовано: (2006)

Kỹ thuật số
по: Nguyễn, Thúy Vân
Опубликовано: (2008)

Introduction to computers and information systems
по: Long, Larry E.
Опубликовано: (1994)

Modeling and verification of real-time systems :
Опубликовано: (2008)

Kỹ thuật số
по: Nguyễn, Gia Hiểu
Опубликовано: (2006)

Synthesis of Arithmetic Circuits : FPGA, ASIC, and embedded systems
по: Deschamps, Jean-Pierre
Опубликовано: (2006)