I would like to find if any of the instance terms are connected to 1'0 or 1'b1 in the verilog file and check if they are mistakenly connected to wrong tie hi/lo type. I found this db command "dbTermLogicValue" but it turned out to be that the logic value of each term are 0! I expect to see result "1" when I use this command to check a term which is tied to 1'b1 in the verilog netlist.
For example, below is a verilog code fragment
REG reg_u01( .SI(1'b0), SE(1'b0), SD(1'b1), RD(1'b0), D(1'b0), CK(1'b0)).
I entered dbTermLogicValue [dbGetTermByName [dbGetInstByName reg_u01] SD], I expect to get "1" but the console showed "0".
Did I misunderstand the behavior of this command? Is there any command that can help me on this task?
Thank You :D
This is how you can check if your terms are connecte to tie cells instead of directly to a rail:
encounter 9> dbGet
encounter 10> dbGet top.insts.instTerms.isTieLo 10x0
(If you get 0x0, everything is connected to a tie cell). As for being able to tell if it's connected to the CORRECT tie cell, that's more of an LVS issue.