A System to Validate and Certify Soft and Hard IP. - Bernard Laurent; Thierry Karger (DATE, 2003)