AnsweredAssumed Answered

Questa formal - synchronizing signals

Question asked by gid on Feb 13, 2019
Latest reply on Feb 20, 2019 by samantha_lizak

hi

i'm using Questa formal tool Version 10.7b_1.

my question is:

is there a way to force all signals to sync with the posedge of a clock (some "netlist" or anything else)?

 

thanks,

Gidon 

Outcomes