Zhaori Bi, Dian Zhou, Sheng-Guo Wang, Xuan Zeng: Optimization and Quality Estimation of Circuit Design via Random Region Covering Method. ACM Trans. Design Autom. Electr. Syst. 23(1): 1:1-1:25 (2017)