Sign in
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