When constrained random test pattern generation became the de facto way to verify designs, reference models became necessary to check that a design was producing the correct output. These were often distributed across several models, such as checkers, scoreboards and assertions.
Another model that had to be created was the coverage model. It was required because you had to know if a generate...
» read more
