| Resumen |
Verification is the most challenging process in digital systems design. It can be explained in a similar way to the communication process wherein the original data is delivered with additional information. This information leads us to detect errors and correct them. Also, in the verification process based on simulation, the original behavior intention is implemented according to the specification and the designer criteria. This can be seen as additional information. Through different process steps, the original intention is verified by means of monitors, testbenches, assertions, etc. Finally, at the end of the process, the method finds if the behavior matches the original intention. This paper presents a formal manner to describe digital systems behavior and the functional verification process. Furthermore, the challenge to apply heuristic algorithms is described.
|
