Creating Assertion-Based IP

QRコード

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
オンライン･アクセス:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/85852
タグ:	タグ追加タグなし, このレコードへの初めてのタグを付けませんか!

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

類似資料

Assertion-Based Design
著者:: Foster, Harry D., 等
出版事項: (2020)

Timing Optimization Through Clock Skew Scheduling
著者:: Kourtev, Ivan S., 等
出版事項: (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, 等
出版事項: (2020)

Open Verification Methodology Cookbook
著者:: Glasser, Mark
出版事項: (2020)

Rapid Prototyping of Digital Systems
著者:: Hamblen, James O., 等
出版事項: (2020)

Embedded System Design
著者:: Gajski, Daniel D., 等
出版事項: (2020)

Nanosystems Design and Technology
著者:: DeMicheli, Giovanni, 等
出版事項: (2020)

Full-Chip Nanometer Routing Techniques
著者:: Ho, Tsung-Yi, 等
出版事項: (2020)

Functional Design Errors in Digital Circuits
著者:: Chang, Kai-hui, 等
出版事項: (2020)

Verilog and SystemVerilog Gotchas
著者:: Sutherland, Stuart, 等
出版事項: (2020)

Global Specification and Validation of Embedded Systems
著者:: Nicolescu, G., 等
出版事項: (2020)

CMOS Active Inductors and Transformers
著者:: Yuan, Fei
出版事項: (2020)

Closing the Power Gap between ASIC & Custom
著者:: Chinnery, David, 等
出版事項: (2020)

Hardware Verification with System Verilog
著者:: Mintz, Mike, 等
出版事項: (2020)

Inverse Problems in Electric Circuits and Electromagnetics
著者:: Korovkin, N.V., 等
出版事項: (2020)

Design of Embedded Control Systems
著者:: Adamski, Marian Andrzej, 等
出版事項: (2020)

Design for Manufacturability and Statistical Design
著者:: Orshansky, Michael, 等
出版事項: (2020)

Systematic Methodology for Real-Time Cost-Effective Mapping of Dynamic Concurrent Task-Based Systems on Heterogenous Platforms
著者:: Ma, Zhe, 等
出版事項: (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, 等
出版事項: (2020)

SystemVerilog for Verification
著者:: Spear, Chris
出版事項: (2020)

Design for Manufacturability and Yield for Nano-Scale CMOS
著者:: Chiang, Charles, 等
出版事項: (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., 等
出版事項: (2020)

Carbon Nanotube Electronics
著者:: Javey, Ali, 等
出版事項: (2020)

Static Timing Analysis for Nanometer Designs
著者:: Bhasker, J., 等
出版事項: (2020)

Advanced Design and Manufacturing Based on STEP
著者:: Xu, Xun, 等
出版事項: (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, 等
出版事項: (2020)

Designing Inclusive Futures
著者:: Langdon, P., 等
出版事項: (2020)

3D Manufacturing Innovation
著者:: Toriya, Hiroshi
出版事項: (2020)

Backward Fuzzy Rule Interpolation
著者:: Jin, Shangzhu, 等
出版事項: (2019)

Design Computing and Cognition '08
著者:: Gero, John S., 等
出版事項: (2020)