Reconciling conflicting design-automation standards | IEEE Journals & Magazine | IEEE Xplore