Formal Verification for High-Assurance Behavioral Synthesis (2009)

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