CVC: Circuit Validity Checker. Voltage aware ERC checker for CDL netlists.
- Input netlist format is Calibre LVS CDL (Mentor, a Siemens business)
- Checks netlists with up to 4B devices (2^32).
- Power and device parameters from Microsoft Excel
- Hierarchical power files possible
- Ability to differentiate models by parameters
- Setup option to list models and power nets
- All rules are automated. No need to write rule files.
- Interactive netlist analyzer
- Script execution available
- Automatic subcircuit debug environment creation
- GUI to record error analyses results
Includes:
src: Source code for CVC
src_py: Source code for check_cvc, python/kivy program for checking results.
scripts: Auxillary programs, scripts, and macros for CVC
doc: Doxygen settings, codes for errors
Requirements:
- gcc 4.9.3
- python 2.7.10
The following are only required if making changes to the parser or compiling from github
- bison 3.3.2
- automake 1.16.1
GUI requirements:
- kivy 1.10.0
- pyinstaller 3.1.1 (for standalone check_cvc)
Should be able to install CVC after cloning the repo by:
- autoreconf -vif
- ./configure --disable-nls [--prefix=<install_directory>]
- make
- make install
If that doesn't work, try:
- download tarball from release page https://github.com/d-m-bailey/cvc/releases.
- extract
- cd cvc-<version>
- autoreconf -vif
- ./configure --disable-nls [--prefix=<install_directory>]
- make
- make install
There have been problems compiling check_cvc on some Linux platfroms. If GUI check_cvc does not compile, try export SDL_VIDEO_X11_VISUALID=
If that still doesn't work, the check_cvc.py file in src_py can also be run via IDLE on PCs. Just transfer the *.log and *.error.gz files.
- Issue Tracker: https://github.com/d-m-bailey/cvc/issues
If you are having issues, please let us know. We have a mailing list located at: cvc@shuharisystem.com
The project is licensed under the GPLv3 license.