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

Mã QR

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

Đã lưu trong:

Chi tiết về thư mục
Tác giả chính:	Rashinkar, Prakash
Định dạng:	Sách
Ngôn ngữ:	Undetermined
Được phát hành:	Springer + Business Media 2001
Những chủ đề:	Thiết kế hệ thống; Máy tính số điện tử; Electronic digital computer; Computer software;
Các nhãn:	Thêm thẻ Không có thẻ, Là người đầu tiên thẻ bản ghi này!

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

Những quyển sách tương tự

Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems
Bỡi: Ramesh, S., et al.
Được phát hành: (2020)

Computers today
Bỡi: Sanders, Donald H.
Được phát hành: (1988)

Introduction to digital electronics
Bỡi: Lo, Arthur Wu-nien
Được phát hành: (1967)

The system designer’s guide to VHDL-AMS :
Bỡi: Ashenden, Peter J.
Được phát hành: (2003)

The system designer’s guide to VHDL-AMS :
Bỡi: Ashenden, Peter J.
Được phát hành: (2003)

Fifth generation computer systems
Bỡi: Moto- Oka, T.
Được phát hành: (1981)

Digital computer system principles
Bỡi: Hellerman, Herbert
Được phát hành: (1973)

Digital systems engineering
Bỡi: Dally, William J.
Được phát hành: (1998)

Kỹ thuật số
Bỡi: Nguyễn, Gia Hiểu
Được phát hành: (2006)

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
Bỡi: Fantechi, Alessandro, et al.
Được phát hành: (2020)

Phương pháp phân tích và tổng hợp thiết bị số
Bỡi: Nguyễn, Duy Bảo
Được phát hành: (2005)

Kỹ thuật số 2
Bỡi: Hồ, Trung Mỹ
Được phát hành: (2006)

Verification and validation for quality of UML 2.0 madels
Bỡi: Unhelkar, Bhuvan
Được phát hành: (2005)

Lectures on Runtime Verification
Bỡi: Bartocci, Ezio, et al.
Được phát hành: (2020)

Introduction to digital systems /
Bỡi: Ercegovac, Milos D.
Được phát hành: (1999)

Verification techniques for system-level design
Bỡi: Fujita, Masahiro
Được phát hành: (2008)

Verification and validation for quality of UML 2.0 models
Bỡi: Unhelkar, Bhuvan
Được phát hành: (2005)

Modeling and verification using UML statecharts :
Bỡi: Drusinsky, Doron
Được phát hành: (2006)

Modeling and verification using UML statecharts :
Bỡi: Drusinsky, Doron
Được phát hành: (2006)

Digital system design using VHDL
Bỡi: Lee, Chin-Hwa
Được phát hành: (1992)

Runtime Verification
Được phát hành: (2020)

Runtime Verification
Được phát hành: (2020)

Kỹ thuật số lý thuyết và bài tập
Bỡi: Tống, Văn On
Được phát hành: (2007)

Iso and Ansi ergonomic standards for computer products: A guide to implementation and compliance
Bỡi: Wanda J. Smith
Được phát hành: (1996)

Digital control of dynamic systems
Bỡi: Franklin, Gene F.
Được phát hành: (1990)

Verification and Evaluation of Computer and Communication Systems
Bỡi: Barkaoui, Kamel, et al.
Được phát hành: (2020)

The art of computer systems performance analysis
Bỡi: Jain, Raj
Được phát hành: (1991)

Principles of digital computers design
Bỡi: Abd-Alla, Abd-Elfattah
Được phát hành: (1976)

Design of digital computers :
Bỡi: Gschwind, Hans W.
Được phát hành: (1975)

Introduction to mixed-Signal, embedded deign
Bỡi: Doboli, Alex
Được phát hành: (2011)

Software Verification and Analysis
Bỡi: Laski, Janusz, et al.
Được phát hành: (2020)

Giáo trình kỹ thuật số :
Bỡi: Nguyễn, Viết Nguyên
Được phát hành: (2005)

Giáo trình kỹ thuật số
Bỡi: Nguyễn Viết Nguyên
Được phát hành: (2004)

Kỹ thuật số 2
Bỡi: Hồ, Trung Mỹ
Được phát hành: (2005)

Giáo trình kỹ thuật số và mạch logic :
Bỡi: Chu, Khắc Huy
Được phát hành: (2006)

Kỹ thuật số
Bỡi: Nguyễn, Thúy Vân
Được phát hành: (2008)

Synthesis of Arithmetic Circuits : FPGA, ASIC, and embedded systems
Bỡi: Deschamps, Jean-Pierre
Được phát hành: (2006)

Introduction to computers and information systems
Bỡi: Long, Larry E.
Được phát hành: (1994)

Kỹ thuật số
Bỡi: Nguyễn, Gia Hiểu
Được phát hành: (2006)

Modeling and verification of real-time systems :
Được phát hành: (2008)