プログラム coho.sf.net

Cohoは、特にアナログ回路検証用の高次元非線形ハイブリッドシステムの到達可能性解析プラットフォームです。このツールは、トグル、アービター、フリップフロップ、celement、オシレータなど、多くの回路を検証するために適用されています。