20/20 Design Vision CONFERENCE PROCEEDINGS OF THE SIXTH INTERNATIONAL DEFSA CONFERENCE Compilers Amanda Breytenbach Leora Faber