Title: Formal semantics for a subset of VHDL and its use in analysis of the FTPP scoreboard circuit