Detecting non-functional circuit activity in SoC designs. - Dustin Peterson; Yannick Boekle; Oliver Bringmann 001 (ASP-DAC, 2018)