Exploring optimal solution to hardware/software partitioning for synchronous model

DOI10.1007/S00165-005-0072-YMaRDI QIDQ2432215zbMATH OpenOpenAlexFDO

Authors Jifeng He, Dang Van Hung, Geguang Pu, Wang Yi, Zongyan Qiu

Publication date 25 October 2006

Published in Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00165-005-0072-y

zbMATH Keywords

reachabilitytimed automatahardware/software partitioningscheduling algorithm

Mathematics Subject Classification ID

Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Computer system organization (68M99)

Recommendations

• Integrated Formal Methods
• A constructive approach to hardware/software partitioning
• Finding optimal hardware/software partitions
• An algebraic hardware/software partitioning algorithm
• Publication:4939105

Cited in

(3)

• Optimal hardware/software co-synthesis for core-based SoC designs
• Integrated Formal Methods
• A constructive approach to hardware/software partitioning

Describes a project that uses

Uses Software

• Uppaal
• HyTech

This page was built for publication: Exploring optimal solution to hardware/software partitioning for synchronous model

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