Weekly Edition
Return to the Development page
| |||||||||||||
|
| |||||||||||||
Open Collector Releases
The latest new electronics applications on
Open Collector
include Oregano 0.3.3 (a schematic capture and simulation application),
InFormal 0.1.0 (a Verilog and PSL formal verification utility),
and NuSMV 2.2 (a reimplementation and extension of SMV model checker).
(Log in to post comments)
|
|
||||||||||||