द्वारा कार्यक्रम coho.sf.net

कोहो उच्च आयामी, नॉनलाइनर हाइब्रिड सिस्टम के लिए एक पहुंच विश्लेषण मंच है, विशेष रूप से एनालॉग सर्किट सत्यापन के लिए। इस उपकरण को कई सर्किटों को सत्यापित करने के लिए लागू किया गया है, जिसमें टॉगल, आर्बिटर, फ्लिपफ्लॉप, सेलामें