Abstract: Safety testing is a key method to ensure software quality. But the quality of the test depends on the level of the test engineers. The method of generating safety test cases based on state ...
Detects the binary sequence 1010 using a high-speed Mealy FSM with TSPC D Flip-Flops in Cadence Virtuoso. Supports overlapping detection and transient verification (90 nm GPDK).
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback