Core Verification
-----------------

Now it's time for netlist verifications. You can notice that environment
variables are already appropriate. Just run lvx, then.

> lvx vst al chip chip -f
 
lvx is very smart. Along with a comparison with the original
netlist, lvx is able to produce a consistent netlist interface by
re-ordering the interface terminals.
 
lvx works somewhat differently from other tools. Its two former arguments
are the formats of the first netlist, here vst (for the original
netlist) and al (for the extracted netlist). The two following
arguments are the names of the netlist. We have done our best to
make these names identical. Once again, remember that specification
files are postfixed with .vst and extracted files with .al.
 
Option -f instructs lvx to build the netlists up to the standard cells.
 
As a result, you now have a correct al file for the circuit chip. Its
name is chip.al.
This file that is now to be simulated with asimut 

Press <return> to continue.
