Software synthesis from synchronous specifications using logic simulation techniques.

Yunjian Jiang, Robert K. Brayton

Browse the full DAC paper archive.