SVATS 0.1
您将能够在 5 秒内下载。
您也可以点击以下外部下载链接进行下载:
http://sourceforge.net/projects/svats/files/svats/svats-0.1/svats-0.1.tar.gz/download
关于 SVATS
SVATS [安全验证分析添加到香料] 是一个 Pyhton 书面 EDA 工具,用于添加重复分析功能,使用伯克利香料模拟模拟 SW 在模拟和混合模拟数字电子电路上执行 FMEA
相关软件
-
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 免费试用
摇一摇!摇动您的手机。无需按呼叫按钮,请用手腕晃动手机几次。