DELPHI: a framework for RTL-based architecture design evaluation using DSENT models | IEEE Conference Publication | IEEE Xplore