verdi 경로 선언 source code 에서 x를 누르면 현재 clk timing의 값이 변수에 나타난다 시그널에서 d를 선택하면 누가 driving 하는지 찾아 준다 . simulation에 function sim과 post sim 을 두개 띄운다음에 window/ sync all waveforms by / all 을 클릭 같은 신호를 클릭 하면.. 동기화가 된다.
그러면 funsim과 postsim의 simulatin 파형을 두개를 비교 할 수 있다. 차이를 비교 할수 있다. funsim은 delay를 고려하지 않기 때문에 파형에 차이가 나타난다.
그래서 무엇이 다른지 찾알 수 있다. saif 파일은 vi 로 열수 있다. saif 파일은 vcd 보다 fsdb가 압축률이 좋다. transition만 text로 출력한 것이 saif 파일이다. 이 파워를 prime power, icc2 에 전달하면 power report를 정확하게 확인 할 수 있다. read_saif 를 한다....
원문 링크 : prime time, verdi를 이용한 검증 꿀팁
