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 免費試用
搖一搖!搖動您的手機。無需按呼叫按鈕,請用手腕晃動手機幾次。