1 Table of Contents: “... -- Design verification through function- and behavior-oriented representations: bridging the gap between...”

2 Table of Contents: “...) by reverse engineering -- Representing design history -- Bridging the gap between AI technology and design...”