Icarus Verilog (original) (raw)
Icarus Verilog(イカルス・ヴェリログ) はオープンソースの Verilog シミュレータ。Verilog 1995, 2001, SystemVerilog 2005 をサポートしている。 対応OSはLinux, FreeBSD, OpenSolaris, AIX, Microsoft Windows, と Mac OS X。GNU General Public Licenseでリリースされている。 プラグインサポートのある Verilog コンパイラとプリプロセッサ、それを実行するバーチャルマシンから構成されている。
Property | Value |
---|---|
dbo:abstract | Icarus Verilog is an implementation of the Verilog hardware description language compiler that generates netlists in the desired format (EDIF). It supports the 1995, 2001 and 2005 versions of the standard, portions of SystemVerilog, and some extensions. Icarus Verilog is available for Linux, FreeBSD, OpenSolaris, AIX, Microsoft Windows, and Mac OS X. Released under the GNU General Public License, Icarus Verilog is free software. As of release 0.9, Icarus is composed of a Verilog compiler (including a Verilog preprocessor) with support for plug-in backends, and a virtual machine that simulates the design. Release v10.0, besides general improvements and bug fixes, added preliminary support for VHDL, but the VHDL support has been abandoned as of 2018. (en) Icarus Verilog(イカルス・ヴェリログ) はオープンソースの Verilog シミュレータ。Verilog 1995, 2001, SystemVerilog 2005 をサポートしている。 対応OSはLinux, FreeBSD, OpenSolaris, AIX, Microsoft Windows, と Mac OS X。GNU General Public Licenseでリリースされている。 プラグインサポートのある Verilog コンパイラとプリプロセッサ、それを実行するバーチャルマシンから構成されている。 (ja) Icarus Verilog — компілятор мови опису апаратури Verilog, призначений для симуляції та веріфікації. Програма має можливість підключення модулів розширення симуляції та кодогенерації. Симуляція виконується віртуальною машиною. Результати симуляції записуються у стандартному форматі (англ. Value Change Dump — дамп зміни значень), для перегляду результатів симуляції у вигляді графіків сигналів необхідна відповідна програма, наприклад, GTKWave. Програма є вільною й розповсюджується під ліцензією GPL, частина файлів коду програми має ліцензію MIT Icarus Verilog працює в операційних системах GNU/Linux, Windows, FreeBSD, Mac OS X та OpenSolaris. (uk) Icarus Verilog — компилятор языка описания аппаратуры Verilog. Он поддерживает версии 1995, 2001 и 2005, частично SystemVerilog и некоторые расширения. Используется для симуляции и верификации проектов. Кроме того, в версиях с 0.2 по 0.8 мог использоваться для синтеза (в формат XNF), для ПЛИС Xilinx. Icarus Verilog доступен для OpenSolaris x86, FreeBSD, Linux, AIX, Windows и Mac OS X. Выпускается под лицензией GNU General Public License. Версии Icarus 0.9 включает iverilog — компилятор Verilog с препроцессором и плагинами и виртуальную машину vvp для симуляции.vvp поддерживает интерфейс Verilog VPI (Verilog PLI 2.0) для интеграции с программами на языке Си. В 2004 году являлся одним из 10 наиболее популярных симуляторов для Verilog. (ru) Icarus Verilog是Verilog硬件描述语言的实现工具之一。它支持Verilog对应的的IEEE 1995、IEEE 2001和IEEE 2005三个不同的版本,并对SystemVerilog的部分内容提供支持。 Icarus Verilog可以配置在Linux、FreeBSD、OpenSolaris、AIX、Microsoft Windows以及OS X环境中。该软件以GNU通用公共许可协议发布,是一个自由软件。 截止到0.9版,该工具提供了Verilog编译器(包含一个Verilog预处理器),并支持可插入后端(plug-in backend),并通过一个虚拟机来对设计进行仿真。 (zh) |
dbo:computingPlatform | dbr:Cross-platform |
dbo:genre | dbr:Verilog |
dbo:latestReleaseDate | 2020-10-12 (xsd:date) |
dbo:latestReleaseVersion | 11.0 |
dbo:license | dbr:GNU_General_Public_License |
dbo:operatingSystem | dbr:FreeBSD dbr:Linux dbr:Mac_OS_X dbr:Microsoft_Windows dbr:OpenSolaris dbr:AIX_operating_system |
dbo:thumbnail | wiki-commons:Special:FilePath/Icarus_Verilog_logo2.png?width=300 |
dbo:wikiPageExternalLink | http://iverilog.icarus.com/ https://github.com/steveicarus/iverilog/ https://web.archive.org/web/20170930154314/http:/iverilog.com/ http://bleyer.org/icarus http://iverilog.icarus.com http://iverilog.wikia.com http://www.edaplayground.com http://sourceforge.net/projects/iverilog https://sourceforge.net/p/iverilog/mailman/message/36359881/ http://www.linuxjournal.com/article/4428 http://www.linuxjournal.com/article/6001 |
dbo:wikiPageID | 8800859 (xsd:integer) |
dbo:wikiPageLength | 3017 (xsd:nonNegativeInteger) |
dbo:wikiPageRevisionID | 1124814067 (xsd:integer) |
dbo:wikiPageWikiLink | dbr:VHDL dbr:Verilog dbc:Electronic_design_automation_software_for_Linux dbr:EDIF dbr:Concurrent_Versions_System dbr:Cross-platform dbr:FreeBSD dbr:GNU_General_Public_License dbr:Linux dbr:Mac_OS_X dbr:Simulator dbc:Free_electronic_design_automation_software dbr:Comparison_of_EDA_software dbr:SystemVerilog dbr:Free_software dbr:Microsoft_Windows dbr:OpenSolaris dbr:AIX_operating_system dbr:Netlists |
dbp:developer | Stephen Williams (en) |
dbp:genre | dbr:Verilog dbr:Simulator |
dbp:language | English (en) |
dbp:latestReleaseDate | 2020-10-12 (xsd:date) |
dbp:latestReleaseVersion | 11 (xsd:integer) |
dbp:license | dbr:GNU_General_Public_License |
dbp:logo | Icarus Verilog logo2.png (en) |
dbp:logoSize | 150 (xsd:integer) |
dbp:name | Icarus Verilog (en) |
dbp:operatingSystem | dbr:Mac_OS_X (en) Linux, FreeBSD, OpenSolaris, AIX, Microsoft Windows, and (en) |
dbp:platform | dbr:Cross-platform |
dbp:programmingLanguage | C++ (en) |
dbp:website | http://iverilog.icarus.com/ |
dbp:wikiPageUsesTemplate | dbt:Infobox_software dbt:Portal dbt:Start_date_and_age dbt:Programmable_Logic dbt:CAD-software-stub |
dbp:wordnet_type | http://www.w3.org/2006/03/wn/wn20/instances/synset-software-noun-1 |
dct:subject | dbc:Electronic_design_automation_software_for_Linux dbc:Free_electronic_design_automation_software |
gold:hypernym | dbr:Implementation |
rdf:type | owl:Thing dbo:Software schema:CreativeWork dbo:Work wikidata:Q386724 wikidata:Q7397 yago:Abstraction100002137 yago:Code106355894 yago:CodingSystem106353757 yago:Communication100033020 yago:Writing106359877 yago:WrittenCommunication106349220 yago:Software106566077 |
rdfs:comment | Icarus Verilog(イカルス・ヴェリログ) はオープンソースの Verilog シミュレータ。Verilog 1995, 2001, SystemVerilog 2005 をサポートしている。 対応OSはLinux, FreeBSD, OpenSolaris, AIX, Microsoft Windows, と Mac OS X。GNU General Public Licenseでリリースされている。 プラグインサポートのある Verilog コンパイラとプリプロセッサ、それを実行するバーチャルマシンから構成されている。 (ja) Icarus Verilog是Verilog硬件描述语言的实现工具之一。它支持Verilog对应的的IEEE 1995、IEEE 2001和IEEE 2005三个不同的版本,并对SystemVerilog的部分内容提供支持。 Icarus Verilog可以配置在Linux、FreeBSD、OpenSolaris、AIX、Microsoft Windows以及OS X环境中。该软件以GNU通用公共许可协议发布,是一个自由软件。 截止到0.9版,该工具提供了Verilog编译器(包含一个Verilog预处理器),并支持可插入后端(plug-in backend),并通过一个虚拟机来对设计进行仿真。 (zh) Icarus Verilog is an implementation of the Verilog hardware description language compiler that generates netlists in the desired format (EDIF). It supports the 1995, 2001 and 2005 versions of the standard, portions of SystemVerilog, and some extensions. Icarus Verilog is available for Linux, FreeBSD, OpenSolaris, AIX, Microsoft Windows, and Mac OS X. Released under the GNU General Public License, Icarus Verilog is free software. (en) Icarus Verilog — компилятор языка описания аппаратуры Verilog. Он поддерживает версии 1995, 2001 и 2005, частично SystemVerilog и некоторые расширения. Используется для симуляции и верификации проектов. Кроме того, в версиях с 0.2 по 0.8 мог использоваться для синтеза (в формат XNF), для ПЛИС Xilinx. Icarus Verilog доступен для OpenSolaris x86, FreeBSD, Linux, AIX, Windows и Mac OS X. Выпускается под лицензией GNU General Public License. В 2004 году являлся одним из 10 наиболее популярных симуляторов для Verilog. (ru) Icarus Verilog — компілятор мови опису апаратури Verilog, призначений для симуляції та веріфікації. Програма має можливість підключення модулів розширення симуляції та кодогенерації. Симуляція виконується віртуальною машиною. Результати симуляції записуються у стандартному форматі (англ. Value Change Dump — дамп зміни значень), для перегляду результатів симуляції у вигляді графіків сигналів необхідна відповідна програма, наприклад, GTKWave. Програма є вільною й розповсюджується під ліцензією GPL, частина файлів коду програми має ліцензію MIT (uk) |
rdfs:label | Icarus Verilog (en) Icarus Verilog (ja) Icarus Verilog (ru) Icarus Verilog (zh) Icarus Verilog (uk) |
owl:sameAs | freebase:Icarus Verilog wikidata:Icarus Verilog dbpedia-ja:Icarus Verilog dbpedia-ru:Icarus Verilog dbpedia-uk:Icarus Verilog dbpedia-zh:Icarus Verilog https://global.dbpedia.org/id/xaEw |
prov:wasDerivedFrom | wikipedia-en:Icarus_Verilog?oldid=1124814067&ns=0 |
foaf:depiction | wiki-commons:Special:FilePath/Icarus_Verilog_logo2.png |
foaf:homepage | http://iverilog.icarus.com/ |
foaf:isPrimaryTopicOf | wikipedia-en:Icarus_Verilog |
foaf:name | Icarus Verilog (en) |
is dbo:wikiPageDisambiguates of | dbr:Icarus_(disambiguation) |
is dbo:wikiPageWikiLink of | dbr:Comparison_of_EDA_software dbr:Flow_to_HDL dbr:List_of_HDL_simulators dbr:ModelSim dbr:Icarus_(disambiguation) |
is foaf:primaryTopic of | wikipedia-en:Icarus_Verilog |