Mark Bickford

• Learn to Play Irish Mandolin
• Formal semantics for a subset of VHDL and its use in analysis of the FTPP scoreboard circuit