Content deleted Content added
short desc |
mNo edit summary |
||
Line 22:
* [http://www.obsidiansoft.com Obsidian Software RAVEN]
* [http://forge.ispras.ru/projects/microtesk MicroTESK], an [[open-source]] ISG developed by the [[Russian Academy of Sciences]]
* [
[[Category:Electronic circuit verification]]
|