用于在事务级别分析单片系统的工具箱

Fifth International Conference on Application of Concurrency to System Design (ACSD'05) Pub Date : 2005-06-07 DOI:10.1109/ACSD.2005.23

M. Moy, F. Maraninchi, L. Maillet-Contoz

{"title":"用于在事务级别分析单片系统的工具箱","authors":"M. Moy, F. Maraninchi, L. Maillet-Contoz","doi":"10.1109/ACSD.2005.23","DOIUrl":null,"url":null,"abstract":"We describe a toolbox for the analysis of systems-on-a-chip described in SystemC at the transactional level. The tools are able to extract information from SystemC code, and to build a set of parallel automata that capture the semantics of a SystemC design, including the transaction-level specific constructs. As far as we know, this provides the first executable formal semantics of SystemC. Being implemented as a traditional compiler front-end, it is able to deal with general SystemC designs. The intermediate representation is now connected to existing formal verification tools via appropriate encodings. The toolbox is open and other tools will be used in the future.","PeriodicalId":279517,"journal":{"name":"Fifth International Conference on Application of Concurrency to System Design (ACSD'05)","volume":"2 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2005-06-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"72","resultStr":"{\"title\":\"LusSy: a toolbox for the analysis of systems-on-a-chip at the transactional level\",\"authors\":\"M. Moy, F. Maraninchi, L. Maillet-Contoz\",\"doi\":\"10.1109/ACSD.2005.23\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"We describe a toolbox for the analysis of systems-on-a-chip described in SystemC at the transactional level. The tools are able to extract information from SystemC code, and to build a set of parallel automata that capture the semantics of a SystemC design, including the transaction-level specific constructs. As far as we know, this provides the first executable formal semantics of SystemC. Being implemented as a traditional compiler front-end, it is able to deal with general SystemC designs. The intermediate representation is now connected to existing formal verification tools via appropriate encodings. The toolbox is open and other tools will be used in the future.\",\"PeriodicalId\":279517,\"journal\":{\"name\":\"Fifth International Conference on Application of Concurrency to System Design (ACSD'05)\",\"volume\":\"2 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2005-06-07\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"72\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Fifth International Conference on Application of Concurrency to System Design (ACSD'05)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ACSD.2005.23\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Fifth International Conference on Application of Concurrency to System Design (ACSD'05)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ACSD.2005.23","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 72

摘要

我们描述了一个工具箱，用于在事务级分析SystemC中描述的单片系统。这些工具能够从SystemC代码中提取信息，并构建一组捕获SystemC设计语义的并行自动机，包括事务级别的特定构造。据我们所知，这提供了SystemC的第一个可执行的形式化语义。作为传统的编译器前端实现，它能够处理一般的SystemC设计。中间表示现在通过适当的编码连接到现有的形式化验证工具。工具箱是开放的，其他工具将在未来使用。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

LusSy: a toolbox for the analysis of systems-on-a-chip at the transactional level

We describe a toolbox for the analysis of systems-on-a-chip described in SystemC at the transactional level. The tools are able to extract information from SystemC code, and to build a set of parallel automata that capture the semantics of a SystemC design, including the transaction-level specific constructs. As far as we know, this provides the first executable formal semantics of SystemC. Being implemented as a traditional compiler front-end, it is able to deal with general SystemC designs. The intermediate representation is now connected to existing formal verification tools via appropriate encodings. The toolbox is open and other tools will be used in the future.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

Fifth International Conference on Application of Concurrency to System Design (ACSD'05)

自引率

0.00%

发文量