Learning Semantic Representations to Verify Hardware Designs

Practical verification relies on a "best effort" process that simulates the design on test inputs.