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

Mã QR

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

Đã lưu trong:

Bibliografiske detaljer
Hovedforfatter:	Rashinkar, Prakash
Format:	Sách
Sprog:	Undetermined
Udgivet:	Springer + Business Media 2001
Fag:	Thiết kế hệ thống; Máy tính số điện tử; Electronic digital computer; Computer software;
Tags:	Tilføj Tag Ingen Tags, Vær først til at tagge denne postø!

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

Lignende værker

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

Computers today
af: Sanders, Donald H.
Udgivet: (1988)

Introduction to digital electronics
af: Lo, Arthur Wu-nien
Udgivet: (1967)

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

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

Fifth generation computer systems
af: Moto- Oka, T.
Udgivet: (1981)

Digital computer system principles
af: Hellerman, Herbert
Udgivet: (1973)

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

Digital systems engineering
af: Dally, William J.
Udgivet: (1998)

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

Lectures on Runtime Verification
af: Bartocci, Ezio, et al.
Udgivet: (2020)

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

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

Introduction to digital systems /
af: Ercegovac, Milos D.
Udgivet: (1999)

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

Verification techniques for system-level design
af: Fujita, Masahiro
Udgivet: (2008)

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

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

Modeling and verification using UML statecharts :
af: Drusinsky, Doron
Udgivet: (2006)

Modeling and verification using UML statecharts :
af: Drusinsky, Doron
Udgivet: (2006)

Digital system design using VHDL
af: Lee, Chin-Hwa
Udgivet: (1992)

Digital control of dynamic systems
af: Franklin, Gene F.
Udgivet: (1990)

Runtime Verification
Udgivet: (2020)

Runtime Verification
Udgivet: (2020)

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

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

The art of computer systems performance analysis
af: Jain, Raj
Udgivet: (1991)

Principles of digital computers design
af: Abd-Alla, Abd-Elfattah
Udgivet: (1976)

Design of digital computers :
af: Gschwind, Hans W.
Udgivet: (1975)

Introduction to mixed-Signal, embedded deign
af: Doboli, Alex
Udgivet: (2011)

Software Verification and Analysis
af: Laski, Janusz, et al.
Udgivet: (2020)

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

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

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

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

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

Introduction to computers and information systems
af: Long, Larry E.
Udgivet: (1994)

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

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

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