fault: A Python Embedded Domain-Specific Language For Metaprogramming Portable Hardware Verification Components.
Lenny TruongSteven HerbstRajsekhar SetaluriMakai MannRoss G. DalyKeyi ZhangCaleb DonovickDaniel StanleyMark HorowitzClark W. BarrettPat HanrahanPublished in: CoRR (2020)
Keyphrases
- programming language
- embedded systems
- open source
- real time
- domain specific languages
- control software
- hardware and software
- fault diagnosis
- low cost
- image processing
- lightweight
- failure modes
- building blocks
- database
- hardware implementation
- computing systems
- commercial off the shelf
- hardware designs
- case study
- embedded processors
- databases
- verification method
- hardware architecture
- error detection
- face verification
- error correction
- neural network
- software components
- computer systems