Samit Chaudhuri Michael Quayle Synthesis using sequential functional modules (SFMs). 436-441 1996 ICCAD http://doi.acm.org/10.1145/244522.244849 db/conf/iccad/iccad1996.html#ChaudhuriQ96