Formal verification for high-assurance behavioral synthesis (2009)

by S Ray, K Hao, F Xie, J Yang
Venue:In Proc. of ATVA