Jifeng He Jianping Zheng Simulation Approach to Provably Correct Hardware Compilation. 336-350 1994 conf/ftrtft/1994 FTRTFT db/conf/ftrtft/ftrtft1994.html#JifengJ94 http://dx.doi.org/10.1007/3-540-58468-4_172