RUNNING THE CAPACITY TEST This directory contains a 3.2 million gate circuit that requires about 150MB of memory to run. Circuit is a shift register from John Hillawi's DA Solutions bench marks and is used with permission. To run the test type: /usr/bin/cver -f lfsr.vc Then type: diff verilog.log lfsr.plg to check for correct output. The diff command will print minor differences such as date, time, memory use depending on you system. The +printstats option prints out circuit size statistics. Also, try running the lfsr_udp.vc to see 50k gate version of same circuit coded using udps.