다양한 테스트 사례를 검증하기 위해 테스트벤치 자동화를 사용했다고 박 씨는 말합니다. 제약된 무작위 테스트를 통해 모든 범위의 테스트를 실행하고 전체 커버리지 비율을 개선할 수 있었습니다. 또한 시스템베릴로그는 어설션을 직접 지정할 수 있습니다.

We used testbench automation to verify various test cases, Mr. Park says. Constrained random testing enabled us to run a full range of tests and improve the total coverage rate. SystemVerilog also allows assertions to be specified directly.