Semantics Driven Hardware Design, Implementation, and Verification with ReWire.
Adam M. ProcterWilliam L. HarrisonIan GravesMichela BecchiGerard AllweinPublished in: LCTES (2015)
Keyphrases
- hardware design
- hardware implementation
- fpga hardware
- logic programming
- formal semantics
- field programmable gate array
- software implementation
- efficient implementation
- specification language
- artificial intelligence
- hardware software
- general purpose
- programming language
- graph cuts
- semantic information
- object oriented
- parallel implementation
- pattern recognition