Login / Signup
Instruction-Level Abstraction (ILA): A Uniform Specification for System-on-Chip (SoC) Verification.
Bo-Yuan Huang
Hongce Zhang
Pramod Subramanyan
Yakir Vizel
Aarti Gupta
Sharad Malik
Published in:
ACM Trans. Design Autom. Electr. Syst. (2019)
Keyphrases
</>
hardware and software
high level
embedded systems
formal verification
asynchronous circuits
hardware software partitioning
incremental learning algorithm
databases
formal methods
data mining
video sequences
supervised learning
design methodology
commercial systems