Node:Negative constraint calculation, Previous:Backannotation, Up:GHDL implementation of VITAL
Negative constraint delay adjustement are necessary to handle negative constraint such as a negative setup time. This step is defined in the VITAL standard and should occurs after backannotation.
GHDL does not do negative constraint calculation. It fails to handle models with negative constraint. I hope to be able to add this phase soon.