Design Understanding: From Logic to Specification*

Zusammenfassung

We present an outline of the field of Design Understanding and summarize state-of-the-art research in deriving human-understandable knowledge in form of logic properties from an unknown design.