Tai-Hung Liu Khurram Sajid Adnan Aziz Vigyan Singhal Optimizing Designs Containing Black Boxes. 113-116 1997 DAC http://doi.acm.org/10.1145/266021.266045 db/conf/dac/dac97.html#LiuSAS97