Assertion-Based Design (Information Technology: Transmission, Processing & Storage)
Creating Assertion-Based IP (Integrated Circuits and Systems)
SystemVerilog Assertions Handbook, 3rd Edition ... for Dynamic and Formal Verification (SystemVerilog Assertions, SystemVerilog Assertions Handbook)
ESL Design and Verification: A Prescription for Electronic System Level Methodology (Systems on Silicon)
ESL Models and their Application: Electronic System Level Design and Verification in Practice (Embedded Systems)
Advanced Formal Verification
Applied Formal Verification: For Digital Circuit Design (Electronic Engineering)
A Practical Guide to Adopting the Universal Verification Methodology (Uvm) Second Edition
Comprehensive Functional Verification: The Complete Industry Cycle (Systems on Silicon)
Design Verification with e
Doulos UVM Golden Reference Guide
Mixed-Signal Methodology Guide
Principles of Functional Verification
Taxonomies for the Development and Verification of Digital Systems
TLM-Driven Design and Verification Methodology
Verification Methodology Manual for Low Power
Verification Methodology Manual for SystemVerilog
Functional Verification Coverage Measurement and Analysis (Information Technology: Transmission, Processing & Storage)
Metric Driven Design Verification: An Engineer''s and Executive''s Guide to First Pass Success'"
Advanced Verification Topics
Timing Verification of Application-Specific Integrated Circuits (ASICs)
Verilog and SystemVerilog Gotchas: 101 Common Coding Errors and How to Avoid Them
Aspect-Oriented Programming with the e Verification Language, Volume .: A Pragmatic Guide for Testbench Developers (Systems on Silicon)
SystemVerilog for Verification: A Guide to Learning the Testbench Language Features
Writing Testbenches: Functional Verification of HDL Models
Doulos VHDL Golden Reference Guide
Advanced FPGA Design: Architecture, Implementation, and Optimization
The MicroZed Chronicles - Using the Zynq 101: Complete First Year
The MicroZed Chronicles - Using the Zynq 101: Second Year
The Zynq Book: Embedded Processing with the Arm Cortex-A9 on the Xilinx Zynq-7000 All Programmable Soc
High-Level Synthesis Blue Book
High-Level Synthesis: from Algorithm to Digital Circuit
Embedded Systems Development: From Functional Models to Implementations
Theory of Modeling and Simulation, Second Edition
Towards a Design Flow for Reversible Logic
Universal Serial Bus System Architecture (PC System Architecture Series)
ARM System-on-Chip Architecture (2nd Edition)
Correct-by-Construction Approaches for SoC Design
Networks on Chips: Technology and Tools (Systems on Silicon)
On-Chip Communication Architectures: System on Chip Interconnect (Systems on Silicon)
Principles of Verifiable RTL Design Second Edition - A Functional Coding Style Supporting Verification Processes in Verilog
Free Range VHDL. The no-frills guide to writing powerful code for your digital implementations
Verilog HDL (2nd Edition)
Why Programs Fail: A Guide to Systematic Debugging
The C++ Programming Language: Special Edition (3rd Edition)
Programming Language Pragmatics, Third Edition
Refactoring: Improving the Design of Existing Code
The Pragmatic Programmer: From Journeyman to Master
Design Patterns: Elements of Reusable Object-Oriented Software
Head First Design Patterns
Implementation Patterns
Language Implementation Patterns: Create Your Own Domain-Specific and General Programming Languages (Pragmatic Programmers)
FPGAs!? Now What? - Learning FPGA Design with the XULA Board
FPGAs for Dummies - 2nd Intel Special Edition
Introducing the Spartan 3E FPGA and VHDL
© 2003-2023 AMIQ Consulting - ALL Rights Reserved. Privacy Policy.