Method for locating functional mistakes in digital circuit designs Grant US-7072819-B2 United States of America 04 Jul 2006