Title: Formal Semantics for a Subset of VHDL and Its Use in Analysis of the FTPP Scoreboard Circuit