Simulation-based Hardware Verification Back-end: Diagnostics
Mikhail Mikhaylovich Chupilko, Alexander Protsenko · Proceedings of the Spring/Summer young researchers' colloquium on software engineering · 2014
Hardware development processes include verification as one of the most important part.Verification is very often done in simulation-based way.After comparison of design behavior and its reference model behavior, the verdict about their correspondence appears.It is very useful to have some means of analyzing potential inconsistency of their output data.It is exactly the subject of this work to supply verification engineers with a method and a back-end tool for diagnostics of incorrect behavior using wave diagrams and reaction trace analysis based on recombination of reaction traces.