Hardware/Software Co-Assurance using the Rust Programming Language and ACL2.
David HardinPublished in: ACL2 (2022)
Keyphrases
- programming language
- hardware software
- hardware and software
- hw sw
- embedded systems
- object oriented
- design methodology
- general purpose
- software engineering
- high level
- strongly typed
- hardware design
- high performance computing
- multi core processors
- programming environment
- functional programming
- low cost
- computer programs
- database
- high level programming language
- power consumption
- user interface
- information systems
- machine learning