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

Digital VLSI Design and Simulation with Verilog

Wiley

Computer-Aided Reasoning: ACL2 Case Studies: 4 (Advances in Formal Methods, 4)

Springer

Assertion-Based Design

Springer

Principles of Verifiable RTL Design: A functional coding style supporting verification processes in Verilog

Springer

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

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

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

Springer

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

Springer

Synthesis of Arithmetic Circuits: FPGA, ASIC and Embedded Systems

Wiley

Guide to FPGA Implementation of Arithmetic Functions: 149 (Lecture Notes in Electrical Engineering, 149)

Springer

Fundamentals of Digital Logic and Microcomputer Design

Wiley

Computer Architecture: Software Aspects, Coding, and Hardware

CRC Press

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

Springer

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

Springer

Post-Silicon and Runtime Verification for Modern Processors

Springer

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

Springer

Digital Logic Design Using Verilog: Coding and RTL Synthesis

Springer

Embedded Microprocessor System Design using FPGAs

Springer

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

Apress

Handbook of Floating-Point Arithmetic

Birkhauser

Handbook of Floating-Point Arithmetic

Birkhauser