Femto-VHDL: The Semantics of a Subset of VHDL and its Embedding in the HOL Proof Assistant

John Peter Van Tassel, Gonville and Caius College

Click Here...