ric2k1 / gv0-socv Goto Github PK

The current output of the simulation result only provides the number of cycles, which is hard to understand what is the current input pattern.
Can we add information about the input pattern to the output? Such as the following example:

==========================================
= cycle XX      pattern YY
==========================================

This will help users to easily observe the change due to the input.

Seems like the output of the property logic p will delay one cycle in HW1.
I've used the following patterns for the input:

1 0 0 0 0
3 0 0 3 0
2 2 2 2 2

Which will produce the following output:

==========================================
= cycle 10
==========================================
serviceTypeOut= 0
itemTypeOut= 0
coinOutNTD_1= 0
coinOutNTD_5= 0
coinOutNTD_10= 0
coinOutNTD_50= 0
p= 0

==========================================
= cycle 11
==========================================
serviceTypeOut= 1
itemTypeOut= 0
coinOutNTD_1= 0
coinOutNTD_5= 0
coinOutNTD_10= 0
coinOutNTD_50= 0
p= 1

Since the logic of p will only produce 1 when serviceTypeOut is 0, the p= 1 in cycle 11 should actually output at cycle 10.

The behavior of the reference program "gvbddv-ref-linux" seems weird when entering the following commands.

read design -v tests/b.v
blast ntk
breset 2000 8009 30011
bsetorder -file
print aig -PO
bcon -n 205
brep 205

BREPort reports [ERROR]: Illegal option "205" !!. However, net 205 has been built in the previous command.

With the following commands, I can successfully print net 205.

read design -v tests/b.v
blast ntk
breset 2000 8009 30011
bsetorder -file
print aig -PO
bcon -a
brep 205

Comparing these two sets of commands, I think something went wrong in the given GVNtkMgr::dfsOrder function.