Search Results for - Narrowed by: Systems engineering. - Computer aided design.

Millimeter-Wave Low Noise Amplifiers

2024-05-30T00:01:51Z

by Božanić, Mladen. author.
https://doi.org/10.1007/978-3-319-69020-9
Format: Electronic Resources

VLSI-SoC: Design for Reliability, Security, and Low Power 23rd IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2015, Daejeon, Korea, October 5-7, 2015, Revised Selected Papers

2024-05-30T00:01:51Z

by Shin, Youngsoo. editor.
https://doi.org/10.1007/978-3-319-46097-0
Format: Electronic Resources

Power Amplifiers for the S-, C-, X- and Ku-bands An EDA Perspective

2024-05-30T00:01:51Z

by Božanić, Mladen. author.
https://doi.org/10.1007/978-3-319-28376-0
Format: Electronic Resources

System Verilog for Verification A Guide to Learning the Testbench Language Features

2024-05-30T00:01:51Z

by Spear, Chris. author.
http://dx.doi.org/10.1007/978-0-387-76530-3
Format: Electronic Resources

Low-Power High-Level Synthesis for Nanoscale CMOS Circuits

2024-05-30T00:01:51Z

by Patra, Priyardarsan. author.
http://dx.doi.org/10.1007/978-0-387-76474-0
Format: Electronic Resources

CMOS Active Inductors and Transformers Principle, Implementation, and Applications

2024-05-30T00:01:51Z

by Yuan, Fei. author.
http://dx.doi.org/10.1007/978-0-387-76479-5
Format: Electronic Resources

Nanometer Technology Designs High-Quality Delay Tests

2024-05-30T00:01:51Z

by Tehranipoor, Mohammad. author.
http://dx.doi.org/10.1007/978-0-387-75728-5
Format: Electronic Resources

Functional Verification Coverage Measurement and Analysis

2024-05-30T00:01:51Z

by Piziali, Andrew. author.
http://dx.doi.org/10.1007/b117979
Format: Electronic Resources

Rapid Prototyping of Digital Systems

2024-05-30T00:01:51Z

by Hamblen, James O. author.
http://dx.doi.org/10.1007/978-0-387-72671-7
Format: Electronic Resources

Power Distribution Networks with On-Chip Decoupling Capacitors

2024-05-30T00:01:51Z

by Popovich, Mikhhail. author.
http://dx.doi.org/10.1007/978-0-387-71601-5
Format: Electronic Resources

Creating Assertion-Based IP

2024-05-30T00:01:51Z

by Foster, Harry D. author.
http://dx.doi.org/10.1007/978-0-387-68398-0
Format: Electronic Resources

Design for Manufacturability and Statistical Design A Constructive Approach

2024-05-30T00:01:51Z

by Orshansky, Michael. author.
http://dx.doi.org/10.1007/978-0-387-69011-7
Format: Electronic Resources

Standardized Functional Verification

2024-05-30T00:01:51Z

by Wiemann, Alan. author.
http://dx.doi.org/10.1007/978-0-387-71733-3
Format: Electronic Resources

Inverse Problems in Electric Circuits and Electromagnetics

2024-05-30T00:01:51Z

by Chechurin, V. L. author.
http://dx.doi.org/10.1007/978-0-387-46047-5
Format: Electronic Resources

Routing Congestion in VLSI Circuits: Estimation and Optimization

2024-05-30T00:01:51Z

by Saxena, Prashant. author.
http://dx.doi.org/10.1007/0-387-48550-3
Format: Electronic Resources

Verilog and SystemVerilog Gotchas 101 Common Coding Errors and How to Avoid Them

2024-05-30T00:01:51Z

by Sutherland, Stuart. author.
http://dx.doi.org/10.1007/978-0-387-71715-9
Format: Electronic Resources

Hardware Verification with SystemVerilog An Object-Oriented Framework

2024-05-30T00:01:51Z

by Mintz, Mike. author.
http://dx.doi.org/10.1007/978-0-387-71740-1
Format: Electronic Resources

Global Specification and Validation of Embedded Systems Integrating Heterogeneous Components

2024-05-30T00:01:51Z

by Nicolescu, G. editor.
http://dx.doi.org/10.1007/978-1-4020-6153-0
Format: Electronic Resources

Full-Chip Nanometer Routing Techniques

2024-05-30T00:01:51Z

by Ho, Tsung-Yi. author.
http://dx.doi.org/10.1007/978-1-4020-6195-0
Format: Electronic Resources

Dynamics of Microelectromechanical Systems

2024-05-30T00:01:51Z

by Lobontiu, Nicolae. author.
http://dx.doi.org/10.1007/978-0-387-68195-5
Format: Electronic Resources

Systematic Methodology for Real-Time Cost-Effective Mapping of Dynamic Concurrent Task-Based Systems on Heterogeneous Platforms

2024-05-30T00:01:51Z

by Ma, Zhe. editor.
http://dx.doi.org/10.1007/978-1-4020-6344-2
Format: Electronic Resources

Design for Manufacturability and Yield for Nano-Scale CMOS

2024-05-30T00:01:51Z

by Chiang, Charles C. author.
http://dx.doi.org/10.1007/978-1-4020-5188-3
Format: Electronic Resources

CMOS Current-Mode Circuits for Data Communications

2024-05-30T00:01:51Z

by Yuan, Fei. author.
http://dx.doi.org/10.1007/978-0-387-47691-9
Format: Electronic Resources

SAT-Based Scalable Formal Verification Solutions

2024-05-30T00:01:51Z

by Ganai, Malay K. author.
http://dx.doi.org/10.1007/978-0-387-69167-1
Format: Electronic Resources

Closing the Power Gap Between ASIC & Custom Tools and Techniques for Low Power Design

2024-05-30T00:01:51Z

by Chinnery, David. author.
http://dx.doi.org/10.1007/978-0-387-68953-1
Format: Electronic Resources

Verification Methodology Manual for SystemVerilog

2024-05-30T00:01:51Z

by Bergeron, Janick. author.
http://dx.doi.org/10.1007/b135575
Format: Electronic Resources

Semiconductor Modeling For Simulating Signal, Power, and Electromagnetic Integrity

2024-05-30T00:01:51Z

by Leventhal, Roy G. author.
http://dx.doi.org/10.1007/b104647
Format: Electronic Resources

Abstraction Refinement for Large Scale Model Checking

2024-05-30T00:01:51Z

by Wang, Chao. author.
http://dx.doi.org/10.1007/0-387-34600-7
Format: Electronic Resources

The Core Test Wrapper Handbook Rationale and Application of IEEE Std. 1500™

2024-05-30T00:01:51Z

by Silva, Francisco. author.
http://dx.doi.org/10.1007/0-387-34609-0
Format: Electronic Resources

SystemVerilog for Design A Guide to Using SystemVerilog for Hardware Design and Modeling

2024-05-30T00:01:51Z

by Sutherland, Stuart. author.
http://dx.doi.org/10.1007/0-387-36495-1
Format: Electronic Resources

Interconnect Noise Optimization in Nanometer Technologies

2024-05-30T00:01:51Z

by Elgamel, Mohamed A. author.
http://dx.doi.org/10.1007/0-387-29366-3
Format: Electronic Resources

Writing Testbenches using System Verilog

2024-05-30T00:01:51Z

by Bergeron, Janick. author.
http://dx.doi.org/10.1007/0-387-31275-7
Format: Electronic Resources

Systemverilog for Verification A Guide to Learning the Testbench Language Features

2024-05-30T00:01:51Z

by Spear, Chris. author.
http://dx.doi.org/10.1007/b138536
Format: Electronic Resources

Rapid Prototyping of Digital Systems

2024-05-30T00:01:51Z

by Hamblen, James O. author.
http://dx.doi.org/10.1007/0-387-28965-8
Format: Electronic Resources

Electromagnetic Compatibility of Integrated Circuits Techniques for low emission and susceptibility

2024-05-30T00:01:51Z

by Ben Dhia, Sonia. editor.
http://dx.doi.org/10.1007/b137864
Format: Electronic Resources

Constraint-Based Verification

2024-05-30T00:01:51Z

by Yuan, Jun. author.
http://dx.doi.org/10.1007/0-387-30784-2
Format: Electronic Resources

Leakage in Nanometer CMOS Technologies

2024-05-30T00:01:51Z

by Narendra, Siva G. author.
http://dx.doi.org/10.1007/0-387-28133-9
Format: Electronic Resources

Embedded System Design

2024-05-30T00:01:51Z

by Marwedel, Peter. author.
http://dx.doi.org/10.1007/0-387-30087-2
Format: Electronic Resources

Integrated System-Level Modeling of Network-on-Chip enabled Multi-Processor Platforms

2024-05-30T00:01:51Z

by Kogel, Tim. author.
http://dx.doi.org/10.1007/1-4020-4826-2
Format: Electronic Resources

Reuse-Based Methodologies and Tools in the Design of Analog and Mixed-Signal Integrated Circuits

2024-05-30T00:01:51Z

by CASTRO-LÓPEZ, R. author.
http://dx.doi.org/10.1007/978-1-4020-5139-5
Format: Electronic Resources

A Roadmap for Formal Property Verification

2024-05-30T00:01:51Z

by DasGupta, Pallab. author.
http://dx.doi.org/10.1007/978-1-4020-4758-9
Format: Electronic Resources

Hardware Verification with C++ A Practitioner’s Handbook

2024-05-30T00:01:51Z

by Mintz, Mike. author.
http://dx.doi.org/10.1007/978-0-387-36254-0
Format: Electronic Resources

Thermal and Power Management of Integrated Circuits

2024-05-30T00:01:51Z

by Vassighi, Arman. author.
http://dx.doi.org/10.1007/0-387-29749-9
Format: Electronic Resources

Scalable Hardware Verification with Symbolic Simulation

2024-05-30T00:01:51Z

by Bertacco, Valeria. author.
http://dx.doi.org/10.1007/0-387-29906-8
Format: Electronic Resources

Taxonomies for the Development and Verification of Digital Systems

2024-05-30T00:01:51Z

by Bailey, Brian. editor.
http://dx.doi.org/10.1007/b104217
Format: Electronic Resources

Mixed-Signal Layout Generation Concepts

2024-05-30T00:01:51Z

by Lin, Chieh. author.
http://dx.doi.org/10.1007/b106472
Format: Electronic Resources

Advances in Design and Specification Languages for SoCs Selected Contributions from FDL’04

2024-05-30T00:01:51Z

by Boulet, Pierre. editor.
http://dx.doi.org/10.1007/b136935
Format: Electronic Resources

Digital Design and Implementation with Field Programmable Devices

2024-05-30T00:01:51Z

by Navabi, Zainalabedin. author.
http://dx.doi.org/10.1007/b117975
Format: Electronic Resources

Assertion-Based Design

2024-05-30T00:01:51Z

by Foster, Harry. author.
http://dx.doi.org/10.1007/b117047
Format: Electronic Resources

Direct Transistor-level Layout for Digital Blocks

2024-05-30T00:01:51Z

by Gopalakrishnan, Prakash. author.
http://dx.doi.org/10.1007/b117054
Format: Electronic Resources

SystemC Kernel Extensions for Heterogeneous System Modeling A framework for Multi-MoC Modeling & Simulation

2024-05-30T00:01:51Z

by Patel, Hiren D. author.
http://dx.doi.org/10.1007/b117249
Format: Electronic Resources

Interconnect-Centric Design for Advanced SoC and NoC

2024-05-30T00:01:51Z

by Nurmi, Jari. editor.
http://dx.doi.org/10.1007/b117241
Format: Electronic Resources

Functional Verification of Programmable Embedded Architectures A Top-Down Approach

2024-05-30T00:01:51Z

by Mishra, Prabhat. author.
http://dx.doi.org/10.1007/b137514
Format: Electronic Resources