L. Bauer, M. Shafique, S. Kramer, and J. Henkel. DAC '07: Proceedings of the 44th annual conference on Design automation, page 791--796. New York, NY, USA, ACM, (2007)
F. Sun, S. Ravi, A. Raghunathan, and N. Jha. ICCAD '02: Proceedings of the 2002 IEEE/ACM international conference on Computer-aided design, page 641--648. New York, NY, USA, ACM, (2002)