Formal verification for highassurance behavioral synthesis (2009)

by Ip Ray , Kecheng Hao , Yan Chen , Fei Xie , Jin Yang
Venue:in Proc. of ATVA
Citations:5 - 4 self