欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Electronic design automation
来自开放百科 - 灰狐
（版本间的差异）
小 (→链接) |
小 (→项目) |
||
| 第24行： | 第24行： | ||
*[http://qfsm.sourceforge.net/ Qfsm] | *[http://qfsm.sourceforge.net/ Qfsm] | ||
*[http://timingeditor.sourceforge.net/ Timing Editor] | *[http://timingeditor.sourceforge.net/ Timing Editor] | ||
| + | *[https://skywater-pdk.readthedocs.io/en/main/index.html SkyWater SKY130 PDK] [https://www.skywatertechnology.com/ SkyWater] | ||
==图集== | ==图集== | ||
2022年5月17日 (二) 09:56的版本
|
您可以在Wikipedia上了解到此条目的英文信息 Electronic design automation Thanks, Wikipedia. |
Electronic design automation (EDA)
目录 |
简介
项目
- Awesome Open Source EDA Projects
- EDA Open Source and Free Tools Wiki
- Free Open Source Electronic Design Automation (EDA) Software
- OpenCores: EDA Tools
- KiCad EDA
- FreeCAD
- GHDL
- Ringdove EDA
- F4PGA open source FPGA tooling
- Quite Universal Circuit Simulator (QUCS)
- SimulIDE is a simple real time electronic circuit simulator
- VeroRoute Qt based Veroboard, Perfboard, and PCB layout and routing application
- KTechlab
- FidoCadJ a free graphical editor for electronics
- gputils GNU PIC Utilities
- Qfsm
- Timing Editor
- SkyWater SKY130 PDK SkyWater
图集
EDA 工具生态
F4PGA 项目
链接
分享您的观点
