@InProceedings{BGJPPW07a, author = {R. Bloem and S. Galler and B. Jobstmann and N. Piterman and A. Pnueli and M. Weiglhofer}, title = {Automatic Hardware Synthesis from Specifications: A Case Study}, booktitle = {Design Automation and Test in Europe}, pages = {1188--1193}, year = {2007}, publisher = acm, pdf = {2007/BGJPPW07.pdf}, url = {2007/BGJPPW07.html}, keywords = {Synthesis}, }