Logic Simulation: Simulate, Digital circuit, Hardware description language, synthesis, Register transfer level, SPICE, Formal verification, Code coverage.

Logic Synthesis: Register transfer level, gates, Hardware Description Language, VHDL, Verilog, Bitstream

CIRCUITON DIGITAL SYSTEM MODELING: Hardware Abstraction Techniques for Simulation Verification and Synthesis

VHDL: THE COMPLETE GUIDE to HARDWARE DESCRIPTION LANGUAGE: Learn Digital Design, Simulation,...

SILICORE HARDWARE DESCRIPTION PRACTICE: Cycle Accurate Modeling of Processors Memory and Digital Logic Systems