LusSy公司 swMATH ID: 14918 软件作者： Moy，M.、Maraninchi，F.、Maillet-Contoz，L。 描述： LusSy：用于在事务级分析系统芯片的工具箱。我们描述了一个用于分析SystemC中描述的事务级片上系统的工具箱。这些工具能够从SystemC代码中提取信息，并构建一组并行自动机，以捕获SystemC设计的语义，包括事务级特定的构造。据我们所知，这提供了SystemC的第一个可执行的形式语义。作为传统的编译器前端实现，它能够处理一般的SystemC设计。中间表示现在通过适当的编码连接到现有的正式验证工具。工具箱是开放的，将来还会使用其他工具。 主页： http://ieeexplore.iee.org/xpl/login.jsp？tp=&arnumber=1508127 相关软件： 系统C；克拉托斯；veriSoft软件；皮纳帕；酯类；有限责任公司；自旋蛋白；CPA检查器；卫星抗体；爆炸；活力；联合；多时性；掠夺；B4免费；卢斯特；普罗米修斯；编程辅助工具；CBMC公司 引用于： 3文件 全部的 前5名10位作者引用 1 亚历山德罗·西马蒂 1 弗雷德里克·多塞特 1 阿里·埃布纳西尔 1 拉杰什·库马尔·古普塔 1 雷扎哈吉什基 1 Krüger，Ingolf H。 1 Sandeep S.Kulkarni。 1 伊曼·纳拉萨姆迪亚 1 马可·罗维里 1 Rudrapatna Kallikote Shyamasundar 2篇连载文章中引用 1 理论计算机科学 1 计算机科学中的逻辑方法 在1个字段中引用 三 计算机科学（68至XX） 按年份列出的引文