Time optimal synthesis based upon sequential abstraction and maximizing parallelism | IEEE Conference Publication | IEEE Xplore