디버그와 검증 방법론에서 혁신을 이끌기 위한 개인적인 학습 방법은 무엇인가요?

디버그와 검증 방법론을 배울 때, 새로운 기법을 접하면 바로 실제 프로젝트에 적용하지 않고 작은 예제에서 먼저 실험하는 방식을 씁니다. 처음 SVA를 배울 때 간단한 카운터 회로에 몇 가지 속성을 붙여서 어떤 조건에서 assertion이 발화하는지 직접 확인했습니다. 이 실험에서 배운 결과를 짧게 메모로 남겼고, 이후 실제 검증 과제에서 비슷한 상황이 생겼을 때 그 메모가 출발점이 됐습니다.

이론 문서를 읽는 것과 직접 실험하는 것은 이해의 깊이가 다릅니다. 문서에서는 당연해 보이는 내용이 실제로 돌려보면 예상과 다른 동작을 보일 때, 그 차이에서 가장 많이 배웠습니다. 약한 자리도 솔직히 말하면, 실험 시간을 확보하는 것이 과제 마감과 충돌할 때 실험을 줄이는 경우가 있다는 점입니다.