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

QR-koodi

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

Tallennettuna:

Bibliografiset tiedot
Päätekijä:	Rashinkar, Prakash
Aineistotyyppi:	Sách
Kieli:	Undetermined
Julkaistu:	Springer + Business Media 2001
Aiheet:	Thiết kế hệ thống; Máy tính số điện tử; Electronic digital computer; Computer software;
Tagit:	Lisää tagi Ei tageja, Lisää ensimmäinen tagi!

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

Samankaltaisia teoksia

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

Computers today
Tekijä: Sanders, Donald H.
Julkaistu: (1988)

Introduction to digital electronics
Tekijä: Lo, Arthur Wu-nien
Julkaistu: (1967)

The system designer’s guide to VHDL-AMS :
Tekijä: Ashenden, Peter J.
Julkaistu: (2003)

The system designer’s guide to VHDL-AMS :
Tekijä: Ashenden, Peter J.
Julkaistu: (2003)

Fifth generation computer systems
Tekijä: Moto- Oka, T.
Julkaistu: (1981)

Digital computer system principles
Tekijä: Hellerman, Herbert
Julkaistu: (1973)

Digital systems engineering
Tekijä: Dally, William J.
Julkaistu: (1998)

Kỹ thuật số
Tekijä: Nguyễn, Gia Hiểu
Julkaistu: (2006)

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

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

Verification and validation for quality of UML 2.0 madels
Tekijä: Unhelkar, Bhuvan
Julkaistu: (2005)

Kỹ thuật số 2
Tekijä: Hồ, Trung Mỹ
Julkaistu: (2006)

Lectures on Runtime Verification
Tekijä: Bartocci, Ezio, et al.
Julkaistu: (2020)

Introduction to digital systems /
Tekijä: Ercegovac, Milos D.
Julkaistu: (1999)

Verification techniques for system-level design
Tekijä: Fujita, Masahiro
Julkaistu: (2008)

Verification and validation for quality of UML 2.0 models
Tekijä: Unhelkar, Bhuvan
Julkaistu: (2005)

Modeling and verification using UML statecharts :
Tekijä: Drusinsky, Doron
Julkaistu: (2006)

Modeling and verification using UML statecharts :
Tekijä: Drusinsky, Doron
Julkaistu: (2006)

Digital system design using VHDL
Tekijä: Lee, Chin-Hwa
Julkaistu: (1992)

Runtime Verification
Julkaistu: (2020)

Runtime Verification
Julkaistu: (2020)

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

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

Verification and Evaluation of Computer and Communication Systems
Tekijä: Barkaoui, Kamel, et al.
Julkaistu: (2020)

Digital control of dynamic systems
Tekijä: Franklin, Gene F.
Julkaistu: (1990)

The art of computer systems performance analysis
Tekijä: Jain, Raj
Julkaistu: (1991)

Principles of digital computers design
Tekijä: Abd-Alla, Abd-Elfattah
Julkaistu: (1976)

Design of digital computers :
Tekijä: Gschwind, Hans W.
Julkaistu: (1975)

Introduction to mixed-Signal, embedded deign
Tekijä: Doboli, Alex
Julkaistu: (2011)

Software Verification and Analysis
Tekijä: Laski, Janusz, et al.
Julkaistu: (2020)

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

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

Kỹ thuật số 2
Tekijä: Hồ, Trung Mỹ
Julkaistu: (2005)

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

Kỹ thuật số
Tekijä: Nguyễn, Thúy Vân
Julkaistu: (2008)

Introduction to computers and information systems
Tekijä: Long, Larry E.
Julkaistu: (1994)

Synthesis of Arithmetic Circuits : FPGA, ASIC, and embedded systems
Tekijä: Deschamps, Jean-Pierre
Julkaistu: (2006)

Kỹ thuật số
Tekijä: Nguyễn, Gia Hiểu
Julkaistu: (2006)

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