David J. Greaves Automated Hardware Synthesis from Formal Specification Using SAT Solvers. 15-20 2004 conf/rsp/2004 IEEE International Workshop on Rapid System Prototyping http://doi.ieeecomputersociety.org/10.1109/RSP.2004.13 db/conf/rsp/rsp2004.html#Greaves04