Automatic Merge-Point Detection for Sequential Equivalence Checking of System-Level and RTL Descriptions.

Bijan Alizadeh, Masahiro Fujita

Browse the full ATVA paper archive.