Proceedings Second International Symposium on Advanced Research in Asynchronous Circuits and Systems最新文献_第3页

Combining process algebras and Petri nets for the specification and synthesis of asynchronous circuits 结合过程代数与Petri网进行异步电路的描述与综合

Proceedings Second International Symposium on Advanced Research in Asynchronous Circuits and Systems Pub Date : 1996-03-18 DOI: 10.1109/ASYNC.1996.494453

M. A. Peña, J. Cortadella

引用次数: 33

Some limitations to speed-independence in asynchronous circuits 异步电路中速度独立性的一些限制

Proceedings Second International Symposium on Advanced Research in Asynchronous Circuits and Systems Pub Date : 1996-03-18 DOI: 10.1109/ASYNC.1996.494442

M. Bush, M. B. Josephs

引用次数: 5

Control resynthesis for control-dominated asynchronous designs 控制主导异步设计的控制再合成

Proceedings Second International Symposium on Advanced Research in Asynchronous Circuits and Systems Pub Date : 1996-03-18 DOI: 10.1109/ASYNC.1996.494454

T. Kolks, S. Vercauteren, Bill Lin

{"title":"Control resynthesis for control-dominated asynchronous designs","authors":"T. Kolks, S. Vercauteren, Bill Lin","doi":"10.1109/ASYNC.1996.494454","DOIUrl":"https://doi.org/10.1109/ASYNC.1996.494454","url":null,"abstract":"Syntax directed translation based compilation from high-level concurrent programs has matured significantly over the past few years. They have been applied to significant designs in the domains of digital signal processing and microprocessor designs. For data-path dominated designs, like those found in digital signal processing applications, syntax directed translation approaches have been shown to generate efficient asynchronous implementations. However for control-dominated designs where the data processing parts play a relatively minor role, we believe the solutions produced by pure syntax directed translation methods may be significantly improved. In this paper we consider the problem of resynthesizing the control parts of the syntax directed translation solutions by means of STG based algorithmic synthesis approaches. This involves a strategy for partitioning between the control and data processing parts, algorithms for reconstructing the STGs from the control partitions, and a strategy for resynthesizing these reconstructed STGs using existing STG-based synthesis approaches. We show with a realistic design experiment that our control resynthesis approach can offer significant improvements over pure syntax directed translation solutions.","PeriodicalId":365358,"journal":{"name":"Proceedings Second International Symposium on Advanced Research in Asynchronous Circuits and Systems","volume":"110 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-03-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116673759","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 35

Characterizing metastability 描述亚稳度

Proceedings Second International Symposium on Advanced Research in Asynchronous Circuits and Systems Pub Date : 1900-01-01 DOI: 10.1109/ASYNC.1996.494449

C. Foley

引用次数: 36