Login / Signup
Symbolic Elaboration: Checking Generator Properties in Dynamic Hardware Description Languages.
Peitian Pan
Shunning Jiang
Yanghui Ou
Christopher Batten
Published in:
MEMOCODE (2023)
Keyphrases
</>
description languages
low cost
dynamic environments
real time
artificial intelligence
description language
data model
domain knowledge
general purpose
open source
computer systems