Technology mapping for sequential circuits based on retiming techniques | IEEE Conference Publication | IEEE Xplore