COHO-Model

COHO-Model

Description: COHO-Model (COHO Circuit Modeling tool) is a tool to create circuit model easily for simulation and formal verification. It provides two interfaces: ODE models for simulation; and linear differential inclusion models for formal verification. It supports raw data from fabrication factory instead of SPICE-like models for accuracy.

VO Integration: No

Active: No

Available Benchmarks: N/A

Website: http://www.cs.ubc.ca/~chaoyan/ccm.html

Download: The software repository can be found here.

Documentation: The user manual can be found here.

Contact: N/A