CoSA: Integrated Verification for Agile Hardware Design.

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

Published in: FMCAD (2018)

Keyphrases

hardware design
fpga hardware
hardware implementation
software development
field programmable gate array
fine grained
supply chain management
face verification
hardware software
neural network
case study
multi agent
cooperative
model checking
development process
agile software development