Interactive presentation: Automatic hardware synthesis from specifications: a case study.

Roderick Bloem, Stefan J. Galler, Barbara Jobstmann, Nir Piterman, Amir Pnueli, Martin Weiglhofer

Browse the full DATE paper archive.