The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.04 - April (2003 vol.36)
pp: 60-67
Kai Richter , Technical University of Braunschweig
Marek Jersak , Technical University of Braunschweig
Rolf Ernst , Technical University of Braunschweig
ABSTRACT
<p>Multiprocessor system on chip designs use complex on-chip networks to integrate different programmable processor cores, specialized memories, and other components on a single chip. </p><p>MpSoCs have become the architecture of choice in many industries. Their heterogeneity inevitably increases with intellectual-property integration and component specialization. System integration is becoming a major challenge in their design. </p><p>Simulation is state of the art in MpSoC performance verification, but it has conceptual disadvantages that become disabling as complexity increases. Formal approaches offer a systematic alternative.</p>
CITATION
Kai Richter, Marek Jersak, Rolf Ernst, "A Formal Approach to MpSoC Performance Verification", Computer, vol.36, no. 4, pp. 60-67, April 2003, doi:10.1109/MC.2003.1193230
16 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool