| |
PacMan: A toolsuite which can synthesis multi-processor cycle-accurate SoC simulation platform Xinping Zhu, 6 Oct 2004 Last updated: 13 Dec 2004
Primary Author:
Xinping Zhu (Princeton)
PacMan is a multiprocessor cycle-accurate simulator which can simulate a cluster
of PEs connected by custom on-chip communication architectures, such as wormhole
based packet-switching, fully connected crossbar switches or
regular standalone buses. The topologies supported include mesh,
torus and star shape.
The concurrency model used by PacMan is based on works by Wei Qin,
who developed a fast ARM simulator SimIt-ARM.
Both the PE model (previously developed by Wei Qin) and On-Chip Communication Architecture (OCA) model
are developed using the Operation State Machine (OSM). We provide a unique
methodology where both the PE and OCA are modeled with the same style, thus
enhancing simulation efficiecy and posing
huge potential for further efforts such as model validation, verification, etc.
Strictly speaking, the software toolsuite we provide is an automatic simulation platform generator. The simulators themselves are synthesized from a hierarchy of machine specification
languages. The goal is to provide the designers maximum flexibility in specifying the characteristics of the mult-PE based SoC, such as interconnection topology, the
type of the network flow control, buffering scheme, etc.
We provide a full toolsuite which can interpret the specification and synthesize the intended system simulator. Through simulation, critical system performance metrics such as timing, communication patterns are obtained. This "synthesis+simulation" approach enables the designers to have a trustworthy evaluation of the full system design in a relative short design cycle.
The minimum requirement for installing the software are a Redhat 7.0 box
on X86 with Perl and current g++ compiler suites.
Key Features and Highlights
- A C/C++ written cycle-accurate communication architecture simulator.
- A machine specification language hierarchy targeting at simulator synthesis.
- A library of reusable communication modules such as
buffers (channel), arbiters and crossbars.
- A variety of selections of applicable communication
network topology, e.g. bus, k-ary n-cube, torus, mesh, etc.
- Fully integrated with an accurate ARM PE model. Can simulate message passing based application binaries compiled by crosscompilers.
- Fast Simulation Speed. (> 7K cycles per second for a 16PE cluster with 7.2 flit per cycle traffic model)
- Fast design turn-around time. The entire process of
synthesizing a simulator, running the simulation, takes less than 7
minutes.
Download
Reference
X.Zhu, W.Qin, S.Malik,
Modeling Operation and Microarchitecture Concurrency for
Communication Architectures with Application to Retargetable
Simulation
, Proceedings of International Conference on Hardware/Software
Co-design and System Synthesis (CODES+ISSS), Sep, 2004(
pdf,
powerpoint )
X.Zhu, S.Malik, "Using A Communication Architecture Specification
in an Application-driven Retargetable Prototyping Platform for Distributed Processing", Proceedings of 2004 Design Automation and Test in Europe Conference (DATE 04), Feb, 2004 (PDF )
Wei Qin, Sharad Malik. Flexible
and Formal Modeling of Microprocessors with Application to
Retargetable Simulation. Design, Automation, and
Test in Europe (DATE), March, 2003.
W. Qin, Mescal Architecture Description Language 1.0,
(MADL Page)
| |