You are about to access our book library "The Fusion of Hardware Design and Verification: Proceedings full version" .