Glimpse: mathematical embedding of hardware specification for neural compilation.
Byung Hoon AhnSean KinzerHadi EsmaeilzadehPublished in: DAC (2022)
Keyphrases
- low cost
- mathematical modeling
- code generation
- hardware and software
- network architecture
- real time
- control program
- neural network
- mathematical expressions
- computer systems
- vector space
- feature extraction
- neural model
- hardware implementation
- computing systems
- specification language
- parallel hardware
- computational power
- embedded systems
- associative memory
- high level
- formal specification
- formal methods
- computing power
- mathematical models
- personal computer
- high end
- vlsi implementation
- programming language
- neural fuzzy
- data sets