Verification supporting apparatus, verification supporting method, and computer product Grant US-8015519-B2 United States of America 06 Sep 2011
Design and optimization methods for integrated circuits Grant US-6931612-B1 United States of America 16 Aug 2005