CVC 0.12.3 beta

cvc-0.12.3.tar.gz

CVC 0.13.1

cvc-0.13.1.tar.gz

CVC 0.12.2 beta

cvc-0.12.2.tar.gz

CVC 0.12.1 beta

cvc-0.12.1.tar.gz

CVC 0.12.0 beta

cvc-0.12.0.tar.gz

CVC 0.11.3

./configure --disable-nls
make install

Enhancements:

• Threshold parameter for some errors
• Interactive expandnet

cvc-0.11.3.tar.gz

CVC 0.10.9 +scripts

CVC 0.10.9 , check_cvc, and scripts.

./configure --disable-nls
make install

cvc-0.10.9.tar.gz

CVC 0.10.9

./configure --disable-nls
make

Enhancements:

• Latch propagation
• Options: LEAK_OVERVOLTAGE, VTH_GATES, LOGIC_DIODES

cvc-0.10.9.tar.gz

CVC 0.9.1 beta

./configure --disable-nls
make

cvc-0.9.1.tar.gz

CVC 0.9.0

Second test release

./configure --disable-nls
make

cvc-0.9.0.tar.gz