Formal equivalence verification and debugging techniques with auto-correction mechanism for RTL designs
Alizadeh, Bijan, Behnam, PaymanТом:
37
Мова:
english
Журнал:
Microprocessors and Microsystems
DOI:
10.1016/j.micpro.2013.10.002
Date:
November, 2013
Файл:
PDF, 1.83 MB
english, 2013