设计空间及其模式:两阶段异步管道建模

HOWARD-60 Pub Date : 1900-01-01 DOI:10.29007/8p8h
G. Birtwistle, K. Stevens
{"title":"设计空间及其模式:两阶段异步管道建模","authors":"G. Birtwistle, K. Stevens","doi":"10.29007/8p8h","DOIUrl":null,"url":null,"abstract":"We present a systematic way of studying state machine based design spaces and apply it to the study of asynchronous pipelines. Starting with the specification of the most concurrent behaviour as a state machine, all possible valid smaller designs may be generated by systematically removing structured patterns of output states (C cuts) and input states (R cuts). Taking the cartesian product of cuts C×R yields the complete design space which may then be partitioned according to well understood design styles. In this paper we extend previous results by studying mixed asynchronous pipelines of which homogeneous behaviours form a subset. The approach is presented using the much smaller 2phase setting (3×6) but the insights and structures revealed carry over to full 4phase designs (35×140). We present a complete overview of mixed 2phase linear pipeline behaviours; show how their structuring C cuts and R cuts relate; characterise the behaviours of linear pipelines in terms of these cuts for any depth; and show how the much larger R mixed behaviour patterns can be calculated from knowledge of the C behaviour patterns. Applications of the theory cover mixed linear pipeline and ring behaviours and the automatic generation of quality circuits from our specifications.","PeriodicalId":422904,"journal":{"name":"HOWARD-60","volume":"1 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":"{\"title\":\"A Design Space and its Patterns: Modelling 2phase Asynchronous Pipelines\",\"authors\":\"G. Birtwistle, K. Stevens\",\"doi\":\"10.29007/8p8h\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"We present a systematic way of studying state machine based design spaces and apply it to the study of asynchronous pipelines. Starting with the specification of the most concurrent behaviour as a state machine, all possible valid smaller designs may be generated by systematically removing structured patterns of output states (C cuts) and input states (R cuts). Taking the cartesian product of cuts C×R yields the complete design space which may then be partitioned according to well understood design styles. In this paper we extend previous results by studying mixed asynchronous pipelines of which homogeneous behaviours form a subset. The approach is presented using the much smaller 2phase setting (3×6) but the insights and structures revealed carry over to full 4phase designs (35×140). We present a complete overview of mixed 2phase linear pipeline behaviours; show how their structuring C cuts and R cuts relate; characterise the behaviours of linear pipelines in terms of these cuts for any depth; and show how the much larger R mixed behaviour patterns can be calculated from knowledge of the C behaviour patterns. Applications of the theory cover mixed linear pipeline and ring behaviours and the automatic generation of quality circuits from our specifications.\",\"PeriodicalId\":422904,\"journal\":{\"name\":\"HOWARD-60\",\"volume\":\"1 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1900-01-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"1\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"HOWARD-60\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.29007/8p8h\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"HOWARD-60","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.29007/8p8h","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 1

摘要

提出了一种系统的基于状态机的设计空间研究方法,并将其应用于异步管道的研究。从作为状态机的最并发行为的规范开始,所有可能有效的较小设计都可以通过系统地删除输出状态(C切割)和输入状态(R切割)的结构化模式来生成。采用切割的笛卡尔积C×R得到完整的设计空间,然后可以根据很好地理解的设计风格进行划分。在本文中,我们通过研究混合异步管道扩展了先前的结果,其中同构行为构成了一个子集。该方法使用更小的2阶段设置(3×6),但揭示的见解和结构延续到完整的4阶段设计(35×140)。我们提出了一个完整的概述混合两相线性管道行为;展示它们的结构C切割和R切割之间的关系;描述线性管道在任何深度下的切割特性;并展示如何从C行为模式的知识中计算出更大的R混合行为模式。该理论的应用包括混合线性管道和环形行为以及根据我们的规格自动生成高质量电路。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
A Design Space and its Patterns: Modelling 2phase Asynchronous Pipelines
We present a systematic way of studying state machine based design spaces and apply it to the study of asynchronous pipelines. Starting with the specification of the most concurrent behaviour as a state machine, all possible valid smaller designs may be generated by systematically removing structured patterns of output states (C cuts) and input states (R cuts). Taking the cartesian product of cuts C×R yields the complete design space which may then be partitioned according to well understood design styles. In this paper we extend previous results by studying mixed asynchronous pipelines of which homogeneous behaviours form a subset. The approach is presented using the much smaller 2phase setting (3×6) but the insights and structures revealed carry over to full 4phase designs (35×140). We present a complete overview of mixed 2phase linear pipeline behaviours; show how their structuring C cuts and R cuts relate; characterise the behaviours of linear pipelines in terms of these cuts for any depth; and show how the much larger R mixed behaviour patterns can be calculated from knowledge of the C behaviour patterns. Applications of the theory cover mixed linear pipeline and ring behaviours and the automatic generation of quality circuits from our specifications.
求助全文
通过发布文献求助,成功后即可免费获取论文全文。 去求助
来源期刊
自引率
0.00%
发文量
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
copy
已复制链接
快去分享给好友吧!
我知道了
右上角分享
点击右上角分享
0
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术官方微信