Jasper, JUG, formal verification, JasperGold Media Alert: Connect, Share and Discuss the Latest Design and Verification Best Practices at the 2017 Cadence Jasper User Group Conference