露丝

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


zbMATH中的参考文献(参考文献5条)

显示第1到第5个结果,共5个。
按年份排序(引用)

  1. 阿里·埃布纳西尔;哈吉什伊基,雷扎;Kulkarni,Sandeep S.:促进事务级系统程序容错设计(2013)
  2. 亚历山德罗·西马蒂;那拉萨姆迪亚,伊曼;Roveri,Marco:使用显式调度器和符号线程的软件模型检查(2012)
  3. 坎塞尔,多米尼克;梅里,多米尼克;基于芯片设计的Cyril公司,2009年IO端口
  4. Shyamandar,Rudrapatna;多塞特,弗雷德里克;古普塔,拉杰什;Krüger,Ingolf:SystemC的组合反应语义与规则库验证(2007)
  5. 莫伊,马修;佛罗伦萨,马拉尼奇;Maillet Contoz,Laurent:LusSy:一个在事务级别分析片上系统的开放工具(2006)IO端口