A Formalization of a Subset of VHDL in the Boyer-Moore Logic

A Formalization of a Subset of VHDL in the Boyer-Moore Logic-download

Abstract. We present a mathematical definition of a hardware description language that admits
a semantics- preserving translation to a subset of VHDL. The language is based on the VHDL
model of event-driven simulation and includes behavioral and structural circuit

Related

research project ideas-electronics-VLSI-VHDL
free research papers-VLSI-VHDL
Proof theory and a validation condition generator for VHDL
Fundamentals of DIGITAL LOGIC with VHDL design
Fundamentals of DIGITAL LOGIC with VHDL design

COMMENT vlsi

Implementing a petri net specification in a fpga using vhdl
A structured VHDL design method
FREE IEEE PAPER