C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
An Equivalence Checking Framework for Agile Hardware Design.
Yanzhao Wang
Fei Xie
Zhenkun Yang
Pasquale Cocchini
Jin Yang
Published in:
ASP-DAC (2023)
Keyphrases
</>
hardware design
main contribution
lightweight
real time
pairwise
hardware implementation