Now showing items 1-2 of 2
Semantics-driven design and implementation of high-assurance hardware
(University of Missouri--Columbia, 2014)
Device-level composition in ReWire
(University of Missouri--Columbia, 2015)
[ACCESS RESTRICTED TO THE UNIVERSITY OF MISSOURI AT REQUEST OF AUTHOR.] ReWire provides engineers with a tool to specify, verify and implement hardware devices for FPGAs from a high-level Haskell-like language. Previous ...