ID:20021 Timing-Driven Synthesis is not supported by Formal Verification tool <name>
CAUSE: Timing-Driven Synthesis is not supported by the specified Formal Verification tool.
ACTION: Turn off timing-driven synthesis or formal verification.
List of Messages | Parent topic: List of Messages |
CAUSE: Timing-Driven Synthesis is not supported by the specified Formal Verification tool.
ACTION: Turn off timing-driven synthesis or formal verification.