A system and method for testing the quality of a simulation model for the DUT (device under test) with dynamic constraint solving and test generation for the testing and verification process. The present invention provides such dynamic constraint solving through the creation of a sequence of instructions in a "generator mini-language" (GML). These instructions are then executed in order to provide a correct random solution to any given set of dynamic constraints. The process of execution is preferably performed by a constraint resolution engine, optionally and more preferably implemented as software, which manages the requirements imposed by the constraints on the execution, while simultaneously enabling a random solution to the set of constraints to be provided. Such a constraint resolution engine may optionally be viewed as a type of state machine, in which individual elements of the state machine are more preferably represented by one or more dynamic graph(s).

Un sistema y un método para probar la calidad de una simulación modelan para el DUT (dispositivo bajo prueba) con el constreñimiento dinámico que soluciona y prueban la generación para el proceso de la prueba y de la verificación. La actual invención proporciona tal constreñimiento dinámico que soluciona a través de la creación de una secuencia de instrucciones en una "mini-lengua del generador" (GML). Estas instrucciones entonces se ejecutan para proporcionar una solución al azar correcta al sistema dado de apremios dinámicos. El proceso de la ejecución es realizado preferiblemente por un motor de la resolución del constreñimiento, opcionalmente y preferiblemente puesto en ejecucio'n como software, que maneja los requisitos impuestos por los apremios ante la ejecución, mientras que simultáneamente permite a una solución al azar al sistema de apremios ser proporcionado. Tal motor de la resolución del constreñimiento se puede ver opcionalmente como tipo de máquina del estado, en el cual los elementos individuales de la máquina del estado preferiblemente son representados por unos o más graph(s) dinámico.