Adam M. Procter, William L. Harrison, Ian Graves, Michela Becchi, Gerard Allwein. Semantics Driven Hardware Design, Implementation, and Verification with ReWire. In Sam H. Noh, Sebastian Fischmeister, Jason Xue, editors, Proceedings of the 16th ACM SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems, LCTES 2015, CD-ROM, Portland, OR, USA, June 18 - 19, 2015. pages 13, ACM, 2015. [doi]
Abstract is missing.