does a reverse-engineering EDA tool exist?