Introduction Cyclic equation systems Sequential circuits Implementation Example Conclusion.pdf
- 1、本文档共40页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
Introduction Cyclic equation systems Sequential circuits Implementation Example Conclusion
Introduction Cyclic equation systems Sequential circuits Implementation Example Conclusion
Causality Analysis of Synchronous Programs
with Delayed Actions
Klaus Schneider · Jens Brandt · Tobias Schu?le
Reactive Systems Group
Department of Computer Science
University of Kaiserslautern
rmatik.uni-kl.de
CASES 2004
Klaus Schneider · Jens Brandt · Tobias Schu?le:
Causality Analyses with Delayed Actions
Introduction Cyclic equation systems Sequential circuits Implementation Example Conclusion
1 Introduction
2 Cyclic equation systems
3 Sequential circuits
4 Implementation
5 Example
Klaus Schneider · Jens Brandt · Tobias Schu?le:
Causality Analyses with Delayed Actions
Introduction Cyclic equation systems Sequential circuits Implementation Example Conclusion
Synchronous Programs
Synchronous programs
I macrosteps
I same logical amount of time
I explicitely marked
I consist of finitely many
microsteps
I microsteps
I require no time
emit y2;
`0 : pause;
loop
local q in
if ?y1 ∧ ?y2
then emit y0 end;
if y0 ∧ ?y2
then emit y1 end;
q := ?y2;
next(y2) := q;
` : pause
end local
end loop
Klaus Schneider · Jens Brandt · Tobias Schu?le:
Causality Analyses with Delayed Actions
Introduction Cyclic equation systems Sequential circuits Implementation Example Conclusion
Synchronous Programs
Synchronous programs
I macrosteps
I same logical amount of time
I explicitely marked
I consist of finitely many
microsteps
I microsteps
I require no time
emit y2;
`0 : pause;
loop
local q in
if ?y1 ∧ ?y2
then emit y0 end;
if y0 ∧ ?y2
then emit y1 end;
q := ?y2;
next(y2) := q;
` : pause
end local
end loop
Klaus Schneider · Jens Brandt · Tobias Schu?le:
Causality Analyses with Delayed Actions
Introduction Cyclic equation systems Sequential circuits Implementation Example Conclusion
Synchronous Programs
Pros and cons
Pros
I precise predictions of worst-case execution times
I formal semantics: program semantics and program
correctness
I straightforward translation to synchronous circuits
I hardware-software
您可能关注的文档
- Ground-state path integral Monte Carlo simulations of positive ions in $^4$He clusters bubb.pdf
- Group Newsletter Instant holography.pdf
- GRE阅读理解中常见的行文关系——让步.pdf
- GRE阅读理解真题练习-智课教育旗下智课教育.pdf
- GRE阅读理解模拟练习题一-智课教育旗下智课教育.pdf
- Gre句子填空题解析2.pdf
- Growth Laws in Cancer Implications for Radiotherapy.pdf
- Growth Mechanisms and Oxidation-Resistance of Gold-Coated Iron Nanoparticles.pdf
- gsc11_joint_15 Evolution of TD-SCDMA.ppt
- GS-38 脱脂客户标准.pdf
最近下载
- 小学研究课题立项申报:基于小学生高阶思维发展的课堂微项目活动设计研究.docx
- 网站安全等级保护--应急预案.docx
- 输送带发展前景分析.pptx
- IPC-6018c,6018cs,6017,6016,6015,6013d,6012e,ds,da 英文资料分享.pdf
- 高中数学公式(经典).doc VIP
- 顶管施工测量方案.doc
- 2024年度医院中医肛肠外科科带教计划课件.pptx
- 全国青少年劳动技能与智能设计大赛赛题与评价标准.PDF
- 2021-2022学年福建省宁德市校际联盟八年级(上)第一次月考英语试卷(附答案详解).docx VIP
- 2023年(最全版)二级建造师考试真题及参考答案.docx
文档评论(0)