Invited: A Scalable Formal Approach for Correctness-Assured Hardware Design.

Jin Yang Jeremy Casas Zhenkun Yang

Published in: DAC (2023)

Keyphrases

hardware design
hardware implementation
fpga hardware
hardware software
field programmable gate array
information systems
formal model
formal methods
highly scalable
data analysis
pairwise
open source
knowledge management
markov random field