Yunjian Jiang Robert K. Brayton Software synthesis from synchronous specifications using logic simulation techniques. 319-324 2002 conf/dac/2002 DAC https://doi.org/10.1145/513918.514002 db/conf/dac/dac2002.html#JiangB02