A Type-Safe Hdl Verified in Coq

Hardware Description Languages (HDL), such as VHDL and Verilog, simplify the circuit specifcation, simulation, and synthesis by enabling different types of abstractions. Hardware verifcation pipelines reduce design faults caused by erroneous transformations of a design specifcation into the layout d...

Ausführliche Beschreibung