Marcello Dalpasso Alessandro Bogliolo Luca Benini Virtual Simulation of Distributed IP-based Designs. 50-55 1999 DAC http://doi.acm.org/10.1145/309847.309866 db/conf/dac/dac99.html#DalpassoBB99