Marcello Dalpasso Alessandro Bogliolo Luca Benini Hardware/software IP protection. 593-596 2000 DAC http://doi.acm.org/10.1145/337292.337588 db/conf/dac/dac2000.html#DalpassoBB00