collaborators

1 paper

cs.PL2019

CREST: Hardware Formal Verification with ANSI-C Reference Specifications

Andreas Tiemeyer, Tom Melham, Daniel Kroening +1

This paper presents CREST, a prototype front-end tool intended as an add-on to commercial EDA formal verifcation environments. CREST is an adaptation of the CBMC bounded model chec…