Bo-Han Wu, Chung-Yang (Ric) Huang. A robust general constrained random pattern generator for constraints with variable ordering. In 2012 IEEE/ACM International Conference on Computer-Aided Design, ICCAD 2012, San Jose, CA, USA, November 5-8, 2012. pages 109-114, IEEE, 2012. [doi]
Abstract is missing.