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