Login / Signup
SHiLA: Synthesizing High-Level Assertions for High-Speed Validation of High-Level Designs.
Mohammad Riazati
Masoud Daneshtalab
Mikael Sjödin
Björn Lisper
Published in:
DDECS (2020)
Keyphrases
</>
high level
high speed
low level
real time
higher level
programming language
intermediate level
object level
lower level
information retrieval
neural network
general purpose
relational databases
source code
information systems
contextual information
real world
design space