Optimal design of synchronous circuits using software pipelining techniques | IEEE Conference Publication | IEEE Xplore