A synthesis method to propagate false path information from RTL to gate level | IEEE Conference Publication | IEEE Xplore