Simulation-based Hardware Verification Back-end: Diagnostics.
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.Full text of the paper in pdf
Spring/Summer Young Researchers’ Colloquium on Software Engineering (SYRCoSE), 2014.