LusSy: a toolbox for the analysis of systems-on-a-chip at the transactional level
LusSy: a toolbox for the analysis of systems-on-a-chip at the transactional level
复制标题
LusSy：用于在事务级别分析片上系统的工具箱
DOI：
10.1109/acsd.2005.23
复制
发表时间：
2005
期刊：
影响因子：
--
通讯作者：
L. Maillet
中科院分区：
文献类型：
--
作者：
M. Moy;F. Maraninchi;L. Maillet
我们描述了一个工具箱，用于在事务级别上分析SystemC中描述的片上系统。这些工具能够从SystemC代码中提取信息，并构建一组并行自动机，以捕获SystemC设计的语义，包括事务级别的特定构造。据我们所知，这提供了SystemC的第一个可执行的形式语义。作为传统的编译器前端实现，它能够处理一般的SystemC设计。中间表示法现在通过适当的编码与现有的正式核查工具相连接。工具箱是开放的，未来将使用其他工具。
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.
使用差异决策图验证 SpecC 描述的基于事件的同步
DOI：
--
发表时间：
2002
期刊：
Formal Techniques for Networked and Distributed Systems (FORTE2002) 2002
影响因子：
--
作者：
T.Sakunkonchak;M.Fujita
通讯作者：
M.Fujita
使用差分决策图验证 SpecC 描述中的同步
DOI：
--
发表时间：
2002
期刊：
Proc. of Forum on specification & Design Languages (FDL'02) 2002
影响因子：
--
作者：
T.Sakunkonchak;M.Fujita
通讯作者：
M.Fujita