scientific article; zbMATH DE number 5046457

MaRDI QIDQ5483029zbMATH OpenFDO

Authors Tim Kogel, Rainer Leupers, Heinrich Meyr

Publication date 15 August 2006

zbMATH Keywords

Electronic System LevelESL design methodologies.SoC platformsTransaction Level Modeling

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Computer system organization (68M99)

Recommendations

• An accurate performance model for network-on-chip and multicomputer interconnection networks
• Models and formal verification of multiprocessor system-on-chips
• An Efficient Hybrid-Switched Network-on-Chip for Chip Multiprocessors
• Some new models for multiprocessor interconnection networks

Cited in

(14)

• A flexible framework for communication evaluation in soc design
• Full simulation coverage for SystemC transaction-level models of systems-on-a-chip
• Models and formal verification of multiprocessor system-on-chips
• scientific article; zbMATH DE number 2111133 (Why is no real title available?)
• Advanced hardware/software co-design on reconfigurable network-on-chip based hyper-platforms
• Towards Performance Prediction of Compositional Models in Industrial GALS Designs
• Processor and system-on-chip simulation
• Transaction-level system modeling
• Prophid: A platform-based design method
• Embedded software design and programming of multiprocessor system-on-chip. Simulink and System C case studies
• Multiprocessor systems on chip. Design space exploration.
• Specification and verification of a MPI implementation for a MP-SoC
• scientific article; zbMATH DE number 2043466 (Why is no real title available?)
• scientific article; zbMATH DE number 2080775 (Why is no real title available?)

Describes a project that uses

Uses Software

• C-HEAP

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5483029)