Sciweavers

ICCD
2004
IEEE
137views Hardware» more  ICCD 2004»
14 years 16 days ago
Comparative Study of Strategies for Formal Verification of High-Level Processors
Compared are different methods for evaluation of formulas expressing microprocessor correctness in the logic of Equality with Uninterpreted Functions and Memories (EUFM) by transl...
Miroslav N. Velev