Towards Automatic Hardware Synthesis from Formal Specification to Implementation | IEEE Conference Publication | IEEE Xplore