Dec 18, 2018 · In cycle-accurate models, simulation cycles correspond to hardware clock ticks, whereas in WCET analysis models they correspond to changes in ...

This paper proposes a method to ensurethe semantic consistency between the two HW models weconsider, focusing on time abstraction issues.

In this paper, we introduce xMAStime, a new domain-specific language inspired by xMAS. xMAStime allows the modeling of full micro-architectures comprising ...

Abstract—The xMAS micro-architecture modeling language has been introduced by Intel to facilitate the formal representa- tion and analysis of on-chip ...

The approach relies on the theory of endochronous systems, which allows us to ensure functional equivalence and timing consistency between the two generated ...

We use a greedy algorithm to maximize the submodular objective function, and derive provable guarantees on the optimality of the solution. We tested our ...

Nov 28, 2018 · Fatma Jebali, Dumitru Potop-Butucaru: Ensuring Consistency between Cycle-Accurate and Instruction Set Simulators. ACSD 2018: 105-114.

Jan 11, 2012 · The tradeoff between performance and accuracy is a perennial conundrum when developing models. Software developers generally need models that ...

This paper explores optimization scenarios that affect the cosimulation performance, resulting in 30% faster co-simulation.

In this paper, we propose a new processor modeling technique that partitions a cycle-accurate model into two layers, an inner functional kernel and an outer ...