1. To renumber your netlist use 

	nlfix.exe name.g12 

You will get file namer.g12 (renumbered netlist) and name.nmb with the old and new numbers;

2. To check netlist use

	CheckNL.exe namer.g12
	
3. To test that netlist namer.g12 implements FSM name.t12 use

	TestNL.exe name.t12 namer.g12

Your mistakes will be in the file namerg12_test.log 

