Creating Assertion-Based IP

QR Code (код быстрого отклика)

Creating Assertion-Based IP

Сохранить в:

Библиографические подробности
Главные авторы:	Foster, Harry D., Krolnik, Adam C.
Формат:	‌
Язык:	English
Опубликовано:	Springer US 2020
Предметы:	Engineering Circuits and Systems Computer-Aided Engineering (CAD, CAE) and Design Electrical Engineering
Online-ссылка:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/85852
Метки:	Добавить метку Нет меток, Требуется 1-ая метка записи!

Thư viện lưu trữ:	Thư viện Trường Đại học Đà Lạt

Схожие документы

Assertion-Based Design
по: Foster, Harry D., et al.
Опубликовано: (2020)

Timing Optimization Through Clock Skew Scheduling
по: Kourtev, Ivan S., et al.
Опубликовано: (2020)

Clocking in Modern VLSI Systems
по: Xanthopoulos, Thucydides
Опубликовано: (2020)

Functional Verification Coverage Measurement and Analysis
по: Piziali, Andrew
Опубликовано: (2020)

Digital Design and Implementation with Field Programmable Devices
по: Navabi, Zainalabedin
Опубликовано: (2020)

Standardized Functional Verification
по: Wiemann, Alan
Опубликовано: (2020)

Routing Congestion in VLSI Circuits
по: Saxena, Prashant, et al.
Опубликовано: (2020)

Open Verification Methodology Cookbook
по: Glasser, Mark
Опубликовано: (2020)

Rapid Prototyping of Digital Systems
по: Hamblen, James O., et al.
Опубликовано: (2020)

Embedded System Design
по: Gajski, Daniel D., et al.
Опубликовано: (2020)

Nanosystems Design and Technology
по: DeMicheli, Giovanni, et al.
Опубликовано: (2020)

Full-Chip Nanometer Routing Techniques
по: Ho, Tsung-Yi, et al.
Опубликовано: (2020)

Functional Design Errors in Digital Circuits
по: Chang, Kai-hui, et al.
Опубликовано: (2020)

Verilog and SystemVerilog Gotchas
по: Sutherland, Stuart, et al.
Опубликовано: (2020)

Global Specification and Validation of Embedded Systems
по: Nicolescu, G., et al.
Опубликовано: (2020)

CMOS Active Inductors and Transformers
по: Yuan, Fei
Опубликовано: (2020)

Closing the Power Gap between ASIC & Custom
по: Chinnery, David, et al.
Опубликовано: (2020)

Hardware Verification with System Verilog
по: Mintz, Mike, et al.
Опубликовано: (2020)

Inverse Problems in Electric Circuits and Electromagnetics
по: Korovkin, N.V., et al.
Опубликовано: (2020)

Design of Embedded Control Systems
по: Adamski, Marian Andrzej, et al.
Опубликовано: (2020)

Design for Manufacturability and Statistical Design
по: Orshansky, Michael, et al.
Опубликовано: (2020)

Systematic Methodology for Real-Time Cost-Effective Mapping of Dynamic Concurrent Task-Based Systems on Heterogenous Platforms
по: Ma, Zhe, et al.
Опубликовано: (2020)

Solid Modeling and Applications
по: Um, Dugan
Опубликовано: (2020)

Models for Computer Aided Tolerancing in Design and Manufacturing
по: Davidson, Joseph K.
Опубликовано: (2020)

Millimeter-Wave Low Noise Amplifiers. 1st ed. 2018
по: Božanić, Mladen, et al.
Опубликовано: (2020)

SystemVerilog for Verification
по: Spear, Chris
Опубликовано: (2020)

Design for Manufacturability and Yield for Nano-Scale CMOS
по: Chiang, Charles, et al.
Опубликовано: (2020)

CMOS Current-Mode Circuits for Data Communications
по: Yuan, Fei
Опубликовано: (2020)

Nanometer Technology Designs
по: Ahmed, Nisar
Опубликовано: (2020)

Low-Power High-Level Synthesis for Nanoscale CMOS Circuits
по: Mohanty, Saraju P., et al.
Опубликовано: (2020)

Carbon Nanotube Electronics
по: Javey, Ali, et al.
Опубликовано: (2020)

Static Timing Analysis for Nanometer Designs
по: Bhasker, J., et al.
Опубликовано: (2020)

Advanced Design and Manufacturing Based on STEP
по: Xu, Xun, et al.
Опубликовано: (2020)

Advances in Ergonomics of Manufacturing: Managing the Enterprise of the Future. 1st ed. 2018
по: Trzcielinski, Stefan
Опубликовано: (2020)

The Universal Generating Function in Reliability Analysis and Optimization
по: Levitin, Gregory
Опубликовано: (2020)

Computational Morphologies. 1st ed. 2018
по: Rossi, Michela, et al.
Опубликовано: (2020)

Designing Inclusive Futures
по: Langdon, P., et al.
Опубликовано: (2020)

3D Manufacturing Innovation
по: Toriya, Hiroshi
Опубликовано: (2020)

Backward Fuzzy Rule Interpolation
по: Jin, Shangzhu, et al.
Опубликовано: (2019)

Design Computing and Cognition '08
по: Gero, John S., et al.
Опубликовано: (2020)