A Synthesis Framework Based on Trace and Automata Theory.

Jrme Fron, Jerry Chih-Yuan Yang, Maurizio Damiani, Giovanni De Micheli

Browse the full ISCAS paper archive.