Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Ravi, Gokulan"'
Memory consistency model (MCM) issues in out-of-order-issue microprocessor-based shared-memory systems are notoriously non-intuitive and a source of hardware design bugs. Prior hardware verification work is limited to in-order-issue processors, to pr
Externí odkaz:
http://arxiv.org/abs/2404.03113
