Gabe Moretti Tim Hopes Ramesh Narayanaswamy Nanette Collins Dave Kelf Tom Anderson Janick Bergeron Ashish Dixit Peter Flake Panel: Your Core - My Problem? Integration and Verification of IP. 170-171 2001 conf/dac/2001 DAC http://doi.acm.org/10.1145/378239.378395 db/conf/dac/dac2001.html#MorettiHNCKABDF01