• 系统C

  • 引用41篇文章[sw07807号]
  • 系统C:从头开始。系统C提供了一组健壮的C++扩展。。。读者了解系统C语言。这项工作提供了:一个步骤。。。句法的建立;的新功能系统C2.1;每个概念的代码示例;很多。。。线路);贯穿全书的练习;怎么系统C符合系统设计方法;为什么功能。。。
  • CBMC公司

  • 引用了78篇文章[sw09719]
  • 程序。它还支持系统C使用快速移动。它允许验证数组边界(缓冲区溢出)、指针。。。
  • OMNet公司++

  • 引用了65篇文章[sw04170]
  • 替代编程语言(Java、C)、数据库集成,系统C集成和其他几个功能。。。
  • 模型

  • 引用18条[sw11960]
  • Verilog、VHDL和系统C. 行业领先,本土。。。
  • 冲刺

  • 参考11篇文章[sw01362]
  • 高级并发模型,如系统C事务级模型可以提供早期反馈。。。开发了一个工具来生成并发系统C用户所选任务的事务级别模型。。。
  • 引用15篇文章[sw02075]
  • 自动将PLC软件转换为系统C呈现。综合合成流程。。。
  • 奎托斯

  • 参考7篇文章[sw07808]
  • 奎托斯:一个软件模型检查器系统C. 他越来越受欢迎系统C吸引了研究。。。旨在正式验证系统C设计。在本文中,我们介绍奎托斯。。。软件模型检查器系统C. 奎托斯以程序断言的形式验证安全属性。。。首先,依靠系统C连续C程序的设计,奎托斯。。。
  • 皮纳帕

  • 参考6篇文章[sw09955]
  • Pinapa:一个用于系统C片上系统描述。系统C正在变成。。。从中提取架构和行为信息系统C代码,几乎没有限制。皮纳帕/皮纳帕/。没有等效的工具系统C...
  • 露丝

  • 引用5篇文章[sw14918]
  • 片上系统描述系统C在交易层面。工具可以。。。从中提取信息系统C代码,并建立一套并行自动机来捕获。。。a的语义系统C设计,包括事务级别的特定构造。。。提供的第一个可执行形式语义系统C. 作为一个传统的编译器前端实现。。。
  • 快跑

  • 引用3篇文章[sw09954]
  • 快速移动:分析系统C模型。系统C是系统级建模。。。矢量运算。现有静态分析仪系统C只考虑语言的小片段。。。现在的Scoot,一个模型提取器系统C基于C++前端。生成的模型。。。
  • ArchC公司

  • 引用2篇文章[SW075号]
  • 称为ArchC,这是一个开源的系统C-专门为处理器设计的基于语言。。。能力,与其他人整合的可能性系统CIPs和自动生成高。。。水平系统C模拟器和汇编程序。我们用ArchC来合成功能和循环。。。
  • SoCLib公司

  • 1条引用[sw16538号]
  • 平台是一个图书馆系统C虚拟组件(IP核)的仿真模型。主要。。。核心。所有仿真模型都写入系统C,并可以用标准。。。系统C模拟环境。每个IP核有两种型号:CABA(循环。。。
  • 实时操作系统

  • 1条引用[sw03087]
  • 中的抽象实时操作系统模型系统C动态二进制翻译快速指令。。。只有2个因素与本土相比系统C. 此外,模拟速度随着时间的增加几乎呈线性增加。。。
  • 化石

  • 1条引用[sw11998]
  • 系统级转换工具系统C可合成VHDL的模型。FOSSY实现了无缝设计。。。
  • RTMEM控制器

  • 1条引用[sw15637]
  • 中内存控制器实现的行为系统C. 下面的部分介绍这个工具如何。。。
  • 诺辛

  • 1条引用【sw20785】
  • 年开发的可扩展、周期精确的NoC模拟器系统C,可以分析性能。。。
  • R

  • 参考8873篇文章[sw00771]
  • 是一种统计语言和环境。。。