Traditional verification methods, static analysis, RTL simulation and emulation have long depended on constrained-random or targeted test suites to confirm that a design operates as intended. However, ...