PSC:软硬件协同设计的一种中间模型

PSC: An Intermediate Model for Hardware Software Codesign

下载PDF

导出

摘要提出了一种软硬件协同设计的系统模型—— PSC(进程状态控制 )。建立了 PSC的可视化表示、形式化的定义和演化规则。PSC是一种层次化建模方法 ,它可以将系统控制逻辑和功能实现分离 ,有助于将模型转换为物理实现。 Process state control(PSC) is an intermediate system model proposed for hardware software codesign. Visulization, formal definition, and evaluation rules of PSC are presented. PSC is a hierarchical method for system modeling. It separates the control strcuture of the system from the functionality parts, which results in flexible ways of implementing structure and functionality of the system.

作者刘洋虞慧群宋国新

机构地区华东理工大学计算机科学与工程系

出处《华东理工大学学报（自然科学版）》 CAS CSCD 北大核心 2002年第3期305-310,共6页 Journal of East China University of Science and Technology

基金教育部高等学校骨干教师资助计划国家自然科学基金( 6 970 3 0 0 8 6 990 3 0 0 4) 国防科技重点实验室基金资助项目 ( 99JS94.10 .1.DZ42 0 1)

关键词 PSC 协同设计中间模型进程状态控制可视化软件硬件 process state control(PSC) model codesign visulization

分类号 TP31 [自动化与计算机技术—计算机软件与理论]

引文网络
相关文献

参考文献9

1[1]Staunstrup J, Wolf W. Hardware/Software Co-Design: Principles and Practice[M]. Dordrecht: Kluwer Academic Publishers, 1997.
2[2]Gordon M J C. HOL: A proof generating system for higher-order logic[A]. VLSI Specification, Verification and Systems[C]. Dordrecht: Kluwer Academic Publishers, 1988.73-128.
3[3]Zhou C, Hoare C A R, Ravn A P. A calculus of durations[J]. Information Processing Letters, 1991,40(5):269-276.
4[4]Harel D. Statecharts: A visual formalism for complex systems[J]. Science of Computer Programming, 1987,8:231-274.
5[5]Reisig W. Petri Nets[M]. Berlin: Springer-Verlag, 1985.
6[6]Hoare C A R. Communicating Sequential Processes[M]. London: Prentice-Hall, 1985.
7[7]Davies J, Scheneider S. A Brief History of Timed CSP[M]. Oxford: Oxford University, 1992.
8[8]Liao S Y. Towards a new standard for system-level design[A]. Proceedings of the 8th International Workshop on Hardware/Software Codesign[C]. [s.l.]: ACM Press, 2000.2-6.
9[9]Chiodo M, Giusto P, Hsieh H, et al. Formal Specification Model for Hardware/Software Codesign[R]. Berkeley: U.C. Berkeley, 1993.

1敬荣强.多功能又添新功能——HP PSC 2410 Photosmart评测[J].微电脑世界,2003(22):104-104.
2杨海东.如何优化SQL Server数据库的性能[J].有线电视技术,2002,9(17):63-64. 被引量：3
3钱健.计算机技术在电力自动化系统中的应用[J].无线互联科技,2012,9(11):146-146. 被引量：2
4陈宜生,冯艳全,曹家珍.细胞自动机与自组织花样的形成[J].天津大学学报,1990,23(2):74-80.
5王俊峰,戚晓滨,夏宽理,任杰.设计模式和UML[J].计算机应用研究,1999,16(5):27-29. 被引量：6
6陈平形,吴伟,吴春旺,吴俊杰,唐玉华.量子计算的研究现状和发展动向[J].国防科技,2014,35(6):3-6. 被引量：3
7陈习武.高校教务管理系统的设计与实现[J].湖南城市学院学报（自然科学版）,2016,25(3):87-88.
8Henry Lin.SOC技术发展趋势[J].中国集成电路,2003,12(49):11-16.
9滕红,李国才,龚耀寰.基于PCI的数据收发卡设计[J].实验科学与技术,2004,2(1):31-33.
10Actel利用ARM7使能的Fusion融合可编程系统芯片简化嵌入式设计[J].电子与封装,2006,6(4):44-44.

华东理工大学学报（自然科学版）

2002年第3期

浏览历史

内容加载中请稍等...

PSC:软硬件协同设计的一种中间模型

参考文献9

相关作者

相关机构

相关主题

浏览历史