Towards Automatic Hardware Synthesis from Formal Specification to Implementation.

Fritjof Bornebusch, Christoph Lth, Robert Wille, Rolf Drechsler

Browse the full ASPDAC paper archive.