Supplementary Material for Learning Semantic Representations to Verify Hardware Designs V asudevan, Jiang, Bieber, Singh, Shajaei, Ho, Sutton, NeurIPS 2021 Appendix A Additional figures