Archimedes-esque tools automate accelerate safe secure correct by proof ... Towards Automatic Hardware Synthesis from Formal Specification to Implementation Fritjof Bornebusch1 , Christoph Lüth1,2 , Robert Wille1,3 , Rolf Drechsler1,2 1Cyber Physical Systems, DFKI GmbH, Bremen, Germany, 2Group of Computer Architecture, University of Bremen .... http://www.informatik.uni-bremen.de/agra/doc/konf/towards_automatic_hardware_synthesis_from_formal_specification_to_implementation.pdf @User @User @User @User