Daniel Gajski IP-based Design Methodology. 43 1999 DAC http://doi.acm.org/10.1145/309847.309864 db/conf/dac/dac99.html#Gajski99