US7146595B2 - Data Structures for Representing the Logical and Physical Information of an Integrated Circuit