Generic Pipelined Processor Modeling and High Performance Cycle-Accurate Simulator Generation

Detailed modeling of processors and high performance cycle-accurate simulators are essential for today's hardware and software design. These problems are challenging enough by themselves and have seen many previous research efforts. Addressing both simultaneously is even more challenging, with many existing approaches focusing on one over another. In this paper, we propose the Reduced Colored Petri Net (RCPN) model that has two advantages: first, it offers a very simple and intuitive way of modeling pipelined processors; second, it can generate high performance cycle-accurate simulators. RCPN benefits from all the useful features of Colored Petri Nets without suffering from their exponential growth in complexity. RCPN processor models are very intuitive since they are a mirror image of the processor pipeline block diagram. Furthermore, in our experiments on the generated cycle-accurate simulators for XScale and StrongArm processor models, we achieved an order of magnitude (~15 times) speedup over the popular SimpleScalar ARM simulator.Comment: Submitted on behalf of EDAA (http://www.edaa.com/

Automatic Test Generation for Space

The European Space Agency (ESA) uses an engine to perform tests in the Ground Segment infrastructure, specially the Operational Simulator. This engine uses many different tools to ensure the development of regression testing infrastructure and these tests perform black-box testing to the C++ simulator implementation. VST (VisionSpace Technologies) is one of the companies that provides these services to ESA and they need a tool to infer automatically tests from the existing C++ code, instead of writing manually scripts to perform tests. With this motivation in mind, this paper explores automatic testing approaches and tools in order to propose a system that satisfies VST needs

Quantum simulation of the wavefunction to probe frustrated Heisenberg spin systems

Quantum simulators are controllable quantum systems that can reproduce the dynamics of the system of interest, which are unfeasible for classical computers. Recent developments in quantum technology enable the precise control of individual quantum particles as required for studying complex quantum systems. Particularly, quantum simulators capable of simulating frustrated Heisenberg spin systems provide platforms for understanding exotic matter such as high-temperature superconductors. Here we report the analog quantum simulation of the ground-state wavefunction to probe arbitrary Heisenberg-type interactions among four spin-1/2 particles . Depending on the interaction strength, frustration within the system emerges such that the ground state evolves from a localized to a resonating valence-bond state. This spin-1/2 tetramer is created using the polarization states of four photons. The single-particle addressability and tunable measurement-induced interactions provide us insights into entanglement dynamics among individual particles. We directly extract ground-state energies and pair-wise quantum correlations to observe the monogamy of entanglement