Darko Kirovski, David T. Liu, Jennifer L. Wong, Miodrag Potkonjak: Forensic engineering techniques for VLSI CAD tools. DAC 2000: 581-586