與平台無關的Petri網編輯器項目(PIPE)創建和分析Petri網的快速,高效和有效的。一個關鍵的設計特點是模塊化的方法通過用於分析,使新的模塊可以很容易地和有力地寫入,使用內置的數據層的方法為標準計算。提供了六個分析模塊,包括分析不變,狀態空間分析(死鎖,等等),以及模擬分析和分類。PIPE符合XML...

ngspice

ngspice 26

Ngspice是一個開源的,免費的,實施C和設計為最初的基礎上SPICE3F5,XSPICE和Ciber1b1電路simulators.Improves混合信號和混合級電路仿真器的跨平台的圖形和命令行軟件SPICE3F5電路simulatorThe應用程序和rsquo的;的主要目標是提高SPICE3F5電路仿真器,以及支持盡可能多的操作系統成為可能。此外,Ngspice增加了許多新功能,增強功能和bug修復的電路仿真器,在一個glanceAmong它的亮點,我們可以提到一個內置的腳本語言,可以讓用戶控制流添...

SVEditor

SVEditor 1.6.7

SVEditor是實現Java和基於著名的和強大的Eclipse IDE的開源圖形項目,用於編輯的Verilog和SystemVerilog files.Features在glanceThe應用程序提供了基本的集成開發環境使用掃描儀類似於對的ctags提取SystemVerilog和Verilog源文件中的信息。它被設計成容忍的錯誤,以及忽略未識別語言構造。在一些SVEditor&rsquo的的;...

Piklab

Piklab 0.16.2

Piklab是一個開源IDE (集成開發環境)的基礎上的dsPIC和PIC微控制器的應用。這種應用非常類似於Microchip的MPLAB軟件。一個命令行的程序員包括 什麼在此版本中是新的: 在添加了18F2XK22 / 18F4XK22 [補丁支持由邁克爾Vrolijk] 在添加了16F1829和16F1507支持[修補程序通過加索爾特] [從邁克爾Vrolijk的幫助] 增加了支持的直接編程18F2XK22 / 18F4XK22在piklab-PROG交互模式固定崩潰 ...

GTKWave

GTKWave 3.3.89 更新

GTKWave 是使用GTK +工具包構建的開源VCD / EVCD / LXT / Synopsis .out格式電子波形查看器。 GTKWave能夠讀取LXT,VZT,LXT2,GHW和FST文件。這是一個跨平台的軟件,可以在Linux,Mac OS和X和Windows系統上運行。 這個版本中的新功能 修復了小Tcl錯誤。添加了highlight_wavewindow...

Oregano

Oregano 0.69.0

牛至項目是原理圖捕獲和模擬電路的應用。實際的模擬是由伯克利香料,或GNUcap或新一代ngspice執行。牛至是在GNU GPL下的包含在文件複製方面的許可。要求: - 你需要libgnome2,libglade2,libgnomeprintui2,libgnomeui2,libgtksourceview1.0 -...

ASCO

ASCO 0.4.9

ASCO又名一個SPICE電路優化是一個開源項目,旨在把電路優化功能,以現有的SPICE仿真器,採用了高性能並行差分進化(DE)優化算法。目前,ASCO包括開箱即裝即用的支持HSPICE(R),雅都(TM)的LTspice(TM),Qucs,ngspice和幽靈(R)。與ASCO可以重複使用和優化現有的電路,完全重新設計的SPICE網表描述了一個新的電路,輕鬆地探索新的工​​作點,遷移工作設計一個更複雜的半導體技術,增加一個已經設計電路的收益率和穩健性,等等 什麼是此版本中的新: ...

GEZEL

GEZEL 2.1

GEZEL是一種語言和勘探,仿真開放的環境,和執行週期真正的硬件型號。GEZEL2是一種語言和設計環境,特定領域的微體系結構的探索,仿真和實現。GEZEL2提供了硬件描述語言,稱為GEZEL,和模擬引擎的語言,C ++編寫。在GEZEL語言描述的設計可以模擬在GEZEL2仿真內核。仿真內核是用C...

Gaphor

Gaphor 0.17.1

Gaphor是一種易於使用的建模環境。這意味著你能夠創建漂亮的UML圖文檔和協助您的設計決策。 Gaphor將幫助您創建的應用程序。Gaphor項目有一個UML 2.0標準的數據模型 功能: 在Gaphor有UML 2.0兼容的數據模型。這保證了未來的兼容性與其他建模工具。數據模型開發Gaphor本身!在SVG圖的出口。下面的圖表類型的支持:類圖在用例圖動作圖組件圖支持在類,接口和包刻板印象。跨平台:Gaphor工作在Unix(包括Mac OS X)和Windows...