Coho Tool's Homepage

Coho is a reachability analysis tool specified for analog or mixed signal circuits verification. It stands out from other tools with the following features:

• It develops a projection based technique, projectagon, to represent and manipulate high dimensional regions efficiently.
• It uses linear differential inclusions to model and approximate dynamics of systems.
• It applies non-linear, circuit-level models to verify both digital and analog circuits.
• It specifies analog signals and properties based on Brockett's annulus.

Coho has been applied to several hybrid system and circuits:

• Hybrid Systems: a 2D sink example and a 3D Van der Pol oscillator;
• Synchronous Circuits: the Yuan-Svensson's toggle circuit, a pass-gate latch and a flip-flop;
• Asynchronous Circuits an arbiter circuit, c-element circuits and FIFO;
• Analog Circuits: Rambus ring oscillator.

Here are two demos of the reachable region computation of the Van der Pol oscillator (VdPa VdPb) and the toggle circuit (toogle). For details, please see my publications. Manuals will be available soon.

Coho has been released to public as openCoho.