Please refer to this link on EDAPlayground for full theory code from my forthcoming paper at Synopsys SNUG 2019. I will update this posting by the time of the conference in Austin, TX, September 11, 2019.
https://www.edaplayground.com/x/3zeN
The theory code is also available here:
SNUG2019_Austin_TheoryCode_20190718.zip
See you at SNUG!
verificationhack 