DMCA

Formal verification for highassurance behavioral synthesis (2009)

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