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

क्यूआर कोड

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;
टैग :	टैग जोड़ें कोई टैग नहीं, इस रिकॉर्ड को टैग करने वाले पहले व्यक्ति बनें!

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., और अन्य
प्रकाशित: (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, और अन्य
प्रकाशित: (2020)

Digital systems engineering
द्वारा: Dally, William J.
प्रकाशित: (1998)

Kỹ thuật số
द्वारा: Nguyễn, Gia Hiểu
प्रकाशित: (2006)

Lectures on Runtime Verification
द्वारा: Bartocci, Ezio, और अन्य
प्रकाशित: (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, और अन्य
प्रकाशित: (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, और अन्य
प्रकाशित: (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)