A robust general constrained random pattern generator for constraints with variable ordering ICCAD 2012 2012 作者：Bo-Han Wu, Chung-Yang (Ric) Huang
