W04 6th Workshop on Design Automation for Understanding Hardware Designs (DUHDE6)