CoSA: Integrated Verification for Agile Hardware Design.

Cristian Mattarei, Makai Mann, Clark W. Barrett, Ross G. Daly, Dillon Huff, Pat Hanrahan

Browse the full FMCAD paper archive.