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

Mã QR

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

Đã lưu trong:

Sonraí Bibleagrafaíochta
Príomhúdar:	Rashinkar, Prakash
Formáid:	Sách
Teanga:	Undetermined
Foilsithe:	Springer + Business Media 2001
Ábhair:	Thiết kế hệ thống; Máy tính số điện tử; Electronic digital computer; Computer software;
Clibeanna:	Cuir Clib Leis Gan Chlibeanna, Bí ar an gcéad duine leis an taifead seo a chlibeáil!

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

Míreanna Comhchosúla

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

Computers today
le: Sanders, Donald H.
Foilsithe: (1988)

Introduction to digital electronics
le: Lo, Arthur Wu-nien
Foilsithe: (1967)

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

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

Fifth generation computer systems
le: Moto- Oka, T.
Foilsithe: (1981)

Digital computer system principles
le: Hellerman, Herbert
Foilsithe: (1973)

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

Digital systems engineering
le: Dally, William J.
Foilsithe: (1998)

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

Lectures on Runtime Verification
le: Bartocci, Ezio, et al.
Foilsithe: (2020)

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

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

Introduction to digital systems /
le: Ercegovac, Milos D.
Foilsithe: (1999)

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

Verification techniques for system-level design
le: Fujita, Masahiro
Foilsithe: (2008)

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

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

Modeling and verification using UML statecharts :
le: Drusinsky, Doron
Foilsithe: (2006)

Modeling and verification using UML statecharts :
le: Drusinsky, Doron
Foilsithe: (2006)

Digital system design using VHDL
le: Lee, Chin-Hwa
Foilsithe: (1992)

Digital control of dynamic systems
le: Franklin, Gene F.
Foilsithe: (1990)

Runtime Verification
Foilsithe: (2020)

Runtime Verification
Foilsithe: (2020)

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

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

The art of computer systems performance analysis
le: Jain, Raj
Foilsithe: (1991)

Principles of digital computers design
le: Abd-Alla, Abd-Elfattah
Foilsithe: (1976)

Design of digital computers :
le: Gschwind, Hans W.
Foilsithe: (1975)

Introduction to mixed-Signal, embedded deign
le: Doboli, Alex
Foilsithe: (2011)

Software Verification and Analysis
le: Laski, Janusz, et al.
Foilsithe: (2020)

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

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

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

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

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

Introduction to computers and information systems
le: Long, Larry E.
Foilsithe: (1994)

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

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

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