I would like to share several interesting power related “issues”. Start with several and will add more.
Does power off mean cell output is ‘x’?
If you run gate level simulation against a power aware netlist which is a netlist with power and ground connections, you will see when power is turned off, that power net becomes 0 and cell output becomes x. If you trace into cell’s verilog model, you will see the model normally checks power and ground inputs. If power input pin is 0 or ground input pin is 1, the model makes the cell output x.
But does it match real silicon behavior?
You can purchase points of this author. You have 0 points and this post costs 2 points.