9 citations · 13 across the 5 of their papers we have counts for
1 paper · 1 filter
Payman Behnam, Bijan Alizadeh, Sajjad Taheri
In this paper, we present an efficient formal approach to check the equivalence of synthesized RTL against the high-level specification in the presence of pipelining transformation…