Functional Simulation를 주력 tool로 삼고 있는 Cadence와 Mentor에서는 각각 functional verification method와 다양한 라이브러리, 그리고 양질의 자료를 주고 있는데요.
물론, 자사의 simulation tool을 위주로 설명하고 있지만, 개념을 이해하는데는 별로 어려움이 없으니 한번 볼만 하죠.
Cadence에서 중요한 검증 관련 자료를 모아둔 곳이 있습니다. 이번에 Cadence에서는 verification goldmine이라는 글이 올라왔는데, 괜찮은 읽을 거리들이 모여 있습니다. (로그인이 필요한데 cadence user가 아니더라도 등록가능합니다.)
다들 알고 계시겠지만 Mentor의 경우 verification academy를 운영하고 있지요. 아주 훌륭한 강의들이 있으니 한번 살펴보실만합니다.
요즘에는 이런 저런 이유로 verification에 좀처럼 신경쓰고 있지 못한데..
에고고.. 안쓰니 잊네요..