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: CAV (1) (2020)
Keyphrases
- embedded systems
- programming language
- control software
- hardware and software
- open source
- domain specific languages
- fault detection
- hardware designs
- low cost
- general purpose
- micro controller
- real time
- image processing
- open source software
- neural network
- fault diagnosis
- model checking
- hw sw
- hardware software
- failure modes
- formal verification
- database
- smart camera
- hardware architecture
- hardware design
- graphical user interface
- face verification
- artificial intelligence
- decision trees
- software components
- building blocks
- lightweight
- computer systems
- signal processing