Validation & Verification of an EDA automated synthesis tool | IEEE Conference Publication | IEEE Xplore