CREST translates full ANSI-C reference models into Verilog, enabling RTL equivalence checking against high-level C specifications.
Hauser, ``Berkeley SoftFloat ,'' (Accessed 22 Jan
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.PL 1years
2019 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
CREST: Hardware Formal Verification with ANSI-C Reference Specifications
CREST translates full ANSI-C reference models into Verilog, enabling RTL equivalence checking against high-level C specifications.