A System for Incremental Synthesis to Gate-Level and Reoptimization Following RTL Design Changes | IEEE Conference Publication | IEEE Xplore