Springer Formal Verification of Floating-Point Hardware Design: A Mathematical Approach

Formal Verification of Floating-Point Hardware Design: A Mathematical Approach

Springer

Formal Verification of Floating-Point Hardware Design: A Mathematical Approach

Springer

Formal Verification of Floating-Point Hardware Design: A Mathematical Approach

Springer

Modern Assembly Language Programming with the ARM Processor

Newnes

ARM Assembly Language: Fundamentals and Techniques

Embedded Microprocessor System Design using FPGAs

Springer

Modern Arm Assembly Language Programming: Covers Armv8-A 32-bit, 64-bit, and SIMD

Apress

Digital VLSI Design and Simulation with Verilog

Wiley

SystemVerilog for Verification: A Guide to Learning the Testbench Language Features

Springer

SystemVerilog for Verification: A Guide to Learning the Testbench Language Features

Springer

Computer Architecture: Software Aspects, Coding, and Hardware

CRC Press

Application Analysis Tools for ASIP Design: Application Profiling and Instruction-set Customization

Springer

Fundamentals of Digital Logic and Microcomputer Design

Wiley

Technology Mapping for LUT-Based FPGA: 713 (Lecture Notes in Electrical Engineering, 713)

Springer

Advanced Digital System Design: A Practical Guide to Verilog Based FPGA and ASIC Implementation

PLD Based Design with VHDL: RTL Design, Synthesis and Implementation

Springer

Advanced Digital System Design: A Practical Guide to Verilog Based FPGA and ASIC Implementation

Design of Digital Systems and Devices: 79 (Lecture Notes in Electrical Engineering, 79)

Springer

Assertion-Based Design

Springer

Multi-Processor System-on-Chip 2: Applications

Wiley

Logic Synthesis for Compositional Microprogram Control Units: 22 (Lecture Notes in Electrical Engineering, 22)

Springer

Synthesis of Arithmetic Circuits: FPGA, ASIC and Embedded Systems

Wiley

Design of High-Performance Microprocessor Circuits

Wiley-IEEE Press

Processor and System-on-Chip Simulation

Springer