aajizattari
Member level 3
Tetramax add_pi_constraints and X-free response
I have a small combinational circuit.
I use add_pi_constraint command to set certain primary inputs of a circuit to X (unknown).
e.g. add_pi_constraint X input1
Because of this constraint, certain outputs will become X.
However, I want to mask the effect of this X and force Tetramax to generate X-free response.
Is that possible?
I have a small combinational circuit.
I use add_pi_constraint command to set certain primary inputs of a circuit to X (unknown).
e.g. add_pi_constraint X input1
Because of this constraint, certain outputs will become X.
However, I want to mask the effect of this X and force Tetramax to generate X-free response.
Is that possible?