I think What FLEXcertifydll means is trace unknow(x)
only Verdi has this feature(debussy not)!
Now Verdi still cannot deal with glitch
Springs0ft announce middle of this year (or later) the new version can handle glitch
!!
for tracing unknow in gateleve, verdi is the best choice. one unknown issue in my design ,I spent one week to find the source by using debussy ,but using verdi ,only spend three hours.