Spec2Si: bridging EDA tool gaps as we enter the twenty first century | IEEE Conference Publication | IEEE Xplore