Warm-Up Simulation Methodology for HW/SW Co-Designed Processors
No abstract available.
Related papers
- Using Coverage to Deploy Formal Verification in a Simulation World CAV 2011
- A case study in top-down performance estimation for a large-scale parallel application PPoPP 2006
- Understanding and utilizing hardware transactional memory capacity ISMM 2021
- A block-and-actions generator as an alternative to a simulator for collecting architecture measurements PLDI 1987
- Pantomime: Constructive Leakage Proofs via Simulation PLDI 2026
- Explicit Data Placement (XDP): A Methodology for Explicit Compile-Time Representation and Optimization PPoPP 1993
- Facile: A Language and Compiler for High-Performance Processor Simulators PLDI 2001
- Running the manual: an approach to high-assurance microkernel development Haskell 2006