Takuji Ogihara H. Toyoshima Shinichi Murai ASTA: LSI Design Management System. 530-536 1987 DAC http://doi.acm.org/10.1145/37888.37967 db/conf/dac/dac87.html#OgiharaTM87