提交软件
  1. 首页
  2. Linux软件
  3. 其他
  4. SVATS

SVATS 0.1

许可： 免费 ‎文件大小： N/A
‎用户评分： 5.0/5 - ‎1 ‎评分
点击下载

SVATS [安全验证分析添加到香料] 是一个 Pyhton 书面 EDA 工具，用于添加重复分析功能，使用伯克利香料模拟模拟 SW 在模拟和混合模拟数字电子电路上执行 FMEA

版本历史记录

  • 版本 svats-0.1 发布于 2001-10-07
    若干修复和更新
  • 版本 svats-0.1 发布于 2001-10-07

软件信息

相关软件

  • Jfun 免费

    在 Java 中进行函数式编程的功能库。支持高阶功能、咖喱、模式匹配、单声道。此外，还包括递归式下降单位分析器组合器库。主页： http://jparsec.codehaus.org

  • Maude Development Tools 免费

    Maude 开发工具是一组插件，在 Eclipse 中嵌入了毛http://maude.cs.uiuc.edu（或） 。它提供了一个核心插件，它允许任何Java程序使用Maude，以及一组插件，提供基于Eclipse的 IDE

  • CleanJ 免费

    CleanJ 是 ABC 到 Java 的翻译。它使并发清理程序在 JavaVM 上运行。

  • JDAL (Java Database Application Library) 免费

    JDAL 是一个 Java 库，旨在帮助开发人员使用 Spring 框架和 HIbernate ORM 轻松制作数据库应用程序。支持通用 DAOs、持久服务，并准备使用具有服务器端分页和排序的 UI 组件。

  • JsonRpc-Cpp 免费

    JsonRpc-cpp 是 JSON-RPC 协议在C++。JSON-RPC 是一种类似于 XML-RPC 的轻量级远程过程调用协议。

  • CollLib 免费

    CollLib 是一个函数、接口和基本实现库，它简化了 Java 开发中日常使用不加功能的编程原则。

  • mpatrol 免费

    mpatrol 是一个链接库，用于尝试诊断由错误使用动态分配的内存（包括写入可用内存和内存泄漏）引起的运行时错误。

  • SETILog for Unix 免费

    SETILog 将已完成的一个SETI@home在文本 CSV 文件中保存工作单元。SETIWatch 需要此文件来跟踪已完成的工作单元。

  • JSON Expression Parser & Evaluator 免费

    表达式解析器和评估器导致 JSON 对象。写在帕斯卡。乔尼斯

  • HowtoCall 免费试用

    摇一摇！摇动您的手机。无需按呼叫按钮，请用手腕晃动手机几次。