Anton Pieter Kostelijk

• Verification of electronic designs by reconstruction of the hierarchy