Scoot: A Tool for the Analysis of SystemC Models

机译：酷航：分析SystemC模型的工具

获取原文

获取原文并翻译 | 示例

页面导航

摘要
著录项
相似文献
相关主题

摘要

SystemC is a system-level modeling language and offers support for concurrency and arbitrary-width bit-vector arithmetic. The existing static analyzers for SystemC consider only small fragments of the language. We present SCOOT, a model extractor for SystemC based on a C++ frontend. The models generated by Scoot can serve multiple purposes, ranging from verification and simulation to synthesis. Exem-plarily, we report results indicating that our tool can be used to improve the performance of dynamic execution up to a factor of five.

机译：SystemC是一种系统级建模语言，并支持并发和任意宽度的位向量算法。现有的SystemC静态分析器仅考虑该语言的小片段。我们介绍SCOOT，它是基于C ++前端的SystemC的模型提取器。酷航生成的模型可以用于多种目的，从验证，模拟到综合。例如，我们报告的结果表明，我们的工具可用于将动态执行的性能提高多达五分之一。

著录项

来源
《Tools and Algorithms for the Construction and Analysis of Systems》|2008年|P.467-470|共4页
会议地点 Budapest(HU);Budapest(HU);Budapest(HU);Budapest(HU)
作者
Nicolas Blanc; Daniel Kroening; Natasha Sharygina;
展开▼
作者单位

展开▼
会议组织
原文格式 PDF
正文语种 eng
中图分类设计与性能分析;
关键词

相似文献

外文文献
中文文献
专利

1. Near-Field Communication Transceiver System Modeling and Analysis Using SystemC/SystemC-AMS With the Consideration of Noise Issues [J] . Li W., Zhou D., Li M., IEEE transactions on very large scale integration (VLSI) systems . 2013,第12期

机译：考虑噪声问题的使用SystemC / SystemC-AMS的近场通信收发器系统建模和分析
2. Automatic Analysis and Abstraction for Model Checking HW/SW Co-Designs modeled in SystemC [J] . Timm Liebrenz, Verena Klös, Paula Herber Ada Letters . 2016,第2期

机译：SystemC中建模的硬件/软件协同设计的自动分析和抽象
3. Analysis of Dissipative Losses in Modular Reconfigurable Energy Storage Systems Using SystemC TLM and SystemC-AMS [J] . Zimmermann Thomas, Mora Mathias, Steinhorst Sebastian, ACM Transactions on Design Automation of Electronic Systems . 2019,第4期

机译：利用Systemc TLM和Systemc-AMS分析模块化可重构能量存储系统耗散损失
4. Scoot: A Tool for the Analysis of SystemC Models [C] . Nicolas Blanc, Daniel Kroening, Natasha Sharygina International Conference on Tools and Algorithms for the Construction and Analysis of Systems . 2008

机译：SCOOT：系统模型分析的工具
5. System/architecture level design and modeling of mixed-signal SoC using SystemC/SystemC-AMS and cross-layer co-simulation tool. [D] . Li, Wei. 2013

机译：使用SystemC / SystemC-AMS和跨层协同仿真工具的混合信号SoC的系统/体系结构级设计和建模。
6. Analyzing SystemC Designs: SystemC Analysis Approaches for Varying Applications [O] . Jannis Stoppe, Rolf Drechsler 2015

机译：分析SystemC设计：适用于各种应用的SystemC分析方法
7. Scoot: A tool for the analysis of SystemC models [O] . Nicolas Blanc, Daniel Kroening, Natasha Sharygina 2015

机译：scoot：用于分析systemC模型的工具
8. Modeling force deployment from army installations using the transportation systemcapability (TRANSCAP) model [R] . Burke, J. F., Love, R. J., Macal, C. M., 2000

机译：使用运输系统能力（TRaNsCap）模型对军队设施的部队进行建模

Scoot: A Tool for the Analysis of SystemC Models

摘要

著录项

相似文献

相关主题

期刊订阅