most citedHardware/Software Co-verification Using Path-based Symbolic Execution

1 citations · 1 across the 1 of their papers we have counts for

collaborators
Showing cs.PLShow all

1 paper · 1 filter

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…