Random test generation using concurrent logic simulation

All approaches to automatic test generation consist of two complementary parts, namely, the generation of test vectors and verification to measure their adequacy. Path sensitizing is a well-known basic approach in which highly complex techniques used for vector generation represent the major effort ... View More