Amit Prakash, Ramakrishna Kotla, Tanmoy Mandal, and Adnan Aziz 2002
In IEEE/ACM International Workshop on Logic and Synthesis