11. A system according to claim 10 wherein said model checker engine includes means for determining whether a model checker-based trace is a reproduction of said ICUT-based trace.
11. A system according to claim 10 wherein said model checker engine includes means for determining whether a model checker-based trace is a reproduction of said ICUT-based trace. 13. A system according to claim 11 wherein said model checker engine includes means responsive to said determination, for generating a new initial state and a new assertion, and for applying said new initial state and said new assertion to said Controller, and wherein said Controller includes means responsive to said applied new initial state and said new assertion for generating a new configuration signals and for applying said new configuration signals to said DL region of said ICUT.