Instruction-Level Abstraction (ILA): A Uniform Specification for System-on-Chip (SoC) Verification.
Bo-Yuan HuangHongce ZhangPramod SubramanyanYakir VizelAarti GuptaSharad MalikPublished in: CoRR (2018)
Keyphrases
- hardware and software
- formal verification
- incremental learning algorithm
- high level
- embedded systems
- hardware software partitioning
- incremental learning
- power consumption
- formal specification
- asynchronous circuits
- data sets
- low power
- image classification
- object oriented
- commercial systems
- relational databases
- hardware designs