Darko Kirovski David T. Liu Jennifer L. Wong Miodrag Potkonjak Forensic engineering techniques for VLSI CAD tools. 581-586 2000 DAC http://doi.acm.org/10.1145/337292.337584 db/conf/dac/dac2000.html#KirovskiLWP00