Pragmatic C Software

Join Mailing List

Welcome to the home page of Pragmatic C Software Corporation. Pragmatic C develops and markets the commercial CVC Verilog compiler and also provides the Cver Verilog interpreter released as free software under the GNU GPL license.

CVC Compiled Verilog

CVC is a native X86 Linux compiler and is many times faster than the Cver interpreter. CVC simulates 2 to 50 times faster than interepreted Cver. Current speed comparions to Cver may be viewed here. We are continually improving the speed of CVC with each release.

Our new CVC Verilog compiler produces the same results as interpreted Cver. It is now available for evaluation and purchase. If you are interested in obtaining an evaluation license for CVC please sign up here. Please contact us if you have any questions.

CVC's ability to run in either compiled or interpreted mode provides a very efficient verification environment. It's fast elaboration algorithm and gdb style debugger allows debugging new changes quickly and the compiled mode allows running longer regression tests when performance is critical. CVC running in interpreted mode also shows speed improvements over the slower Cver interpreter.

Once hardware design is complete, the ability to simulate as many regression tests as possible becomes important. The CVC compiler can then be run to produce a library that can be repeatedly run on different regression tests.

GPL Cver

GPL Cver is a Verilog HDL simulator that is released under the GNU General Public License. GPL Cver is a full 1995 IEEE P1364 implementation with some Verilog 2001 features. For more information on GPL Cver visit the GPL Cver page.