皮纳帕 swMATH ID: 9955 软件作者： Moy，M.、Maraninchi，F.、Maillet-Contoz，L。 描述： Pinapa：用于Systems-on-a-Chip的SystemC描述的提取工具。SystemC正在成为描述片上复杂系统的事实上的标准。它支持SoC的系统级描述：架构（architecture）、软件和硬件部分的描述使用相同的语言。像Pinapa这样的工具必须针对仿真以外的任何其他方面进行现实SoC设计：它能够从SystemC代码中提取架构和行为信息，几乎没有限制。Pinapa可以用作各种分析工具的前端，从“超级链接”到模型检查。它是开源的，可从http://greensocs.sourceforge.net/pinapa/。到目前为止，还没有适用于SystemC的等效工具。 主页： http://greensocs.sourceforge.net/pinapa/ 相关软件： 系统C；veriSoft软件；酯类；LusSy公司；数学SAT；克拉托斯；NuSMV公司；爆炸；斯科特；普罗米拉；Uppaal公司；CEGAR公司；MRMC公司；克洛诺斯；棱镜；联合；多时性；掠夺；B4免费；八角形 引用于： 4文件 全部的 前5名10位作者引用 1 亚历山德罗·西马蒂 1 罗尔夫·德雷克斯勒 1 格什温·菲 1 C.E.赫尔姆斯特特。 1 Kwiatkowska，Marta Z。 1 梅勒特·康托兹。 1 佛罗伦萨马拉宁奇 1 伊曼·纳拉萨姆迪亚 1 格钦·诺曼 1 马可·罗维里 连载1篇 1 系统设计中的形式化方法 在4个字段中引用 三 计算机科学（68至XX） 1 博弈论、经济学、金融和其他社会和行为科学（91-XX） 1 系统论；控制（93至XX） 1 信息和通信理论，电路（94-XX） 按年份列出的引文