Multilevel design understanding: from specification to logic (invited paper).

Sandip Ray, Ian G. Harris, Grschwin Fey, Mathias Soeken

Browse the full ICCAD paper archive.