All Title Author
Keywords Abstract

Publish in OALib Journal
ISSN: 2333-9721
APC: Only $99

ViewsDownloads

Relative Articles

New Model and Algorithm for Hardware/Software Partitioning

Hardware/Software Partitioning Algorithm Based on Path
基于路径的软硬件划分算法

Effective Multi-objective Genetic Algorithm for Hardware-software Partitioning
一种有效的面向多目标软硬件划分的遗传算法

Hardware/software task partitioning and scheduling algorithm on multi-core system on chip with reconfigurable hardware
一种集成可重构硬件的多核片上系统的软硬件任务划分与调度算法

Research of the method of software/hardware partitioning in the embedded system
嵌入式系统软硬件划分方法探索

MULTILEVEL BIONIC ALGORITHM FOR DETECTION AND IDENTIFICATION OF SOFTWARE AND HARDWARE IMPACTS ON TELECOMMUNICATION NETWORKS Многоуровневый бионический алгоритм для обнаружения и идентификации программно-аппаратных воздействий на информационно-телекоммуникационные сети

Efficient Heuristic and Tabu Search for Hardware/Software Partitioning
高效软硬件划分算法及其提升技术

A Method for Hardware/Software Partitioning of Embedded System in Two-level
在两个级别上对嵌入式系统应用进行硬件/软件划分

Applying Multi-Core Model Checking to Hardware-Software Partitioning in Embedded Systems (extended version)

Efficient Hardware/Software Implementation of LPC Algorithm in Speech Coding Applications

More...

An Algebraic Hardware/Software Partitioning Algorithm

Keywords: hardware/software co-design,hardware/software partition,program algebra
计算机
,程序设计,代数硬/软件区分算法,软/硬件联合设计

Full-Text   Cite this paper   Add to My Lib

Abstract:

Hardware and software co-design is a design technique which delivers computer systems comprising hardware and software components. A critical phase of the co-design process is to decompose a program into hardware and software. This paper proposes an algebraic partitioning algorithm whose correctness is verified in program algebra. The authors introduce a program analysis phase before program partitioning and develop a collection of syntax-based splitting rules. The former provides the information for moving operations from software to hardware and reducing the interaction between components, and the latter supports a compositional approach to program partitioning. The work is partially supported by the National Natural Science Foundation of China under grant Nos.69873003 and 69983001. QIN Shengchao was born in 1974. He is a Ph.D. candidate in Department of Informatics, School of Mathematical Science, Peking University. He got his B.S. degree in the same department in 1997. His research interests include formal methods and semantics, unifying theories to programming, and formal engineering approaches. HE Jifeng is a senior research fellow of UNU/IIST. He was a senior research fellow of the programming research group, Oxford University before 1998. He is a professor of computer science in East China Normal University since 1986, Shanghai. His research interest lies in the sound methods of specification of computer systems, communications, application of standards, and the techniques for designing and implementing those specifications in software and/or hardware with high reliability and low cost. QIU Zongyan is a professor of computer science and deputy head of the Department of Informatics, Peking University. His research interests are formal methods, programming languages, and real-time systems. ZHANG Naixiao is a professor of computer science in the Department of Informatics, Peking University. His research interests are formal methods and domain-specific languages.

Full-Text

comments powered by Disqus