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