Vigyan Singhal Carl Pixley Adnan Aziz Shaz Qadeer Robert K. Brayton Sequential optimization in the absence of global reset. 222-251 2003 8 ACM Trans. Design Autom. Electr. Syst. 2 http://doi.acm.org/10.1145/762488.762493 db/journals/todaes/todaes8.html#SinghalPAQB03