Cadence Conformal ECO 대백과 - 기초부터 세부 option들까지

모르는 부분을 정리해가면서 최종적으로는 큰 정리글을 만들어보려고 한다.

 

1. 

Option	Meaning	용도
+incdir+<dir>	\include` 파일 탐색 경로 추가	헤더(.vh) 파일 위치 지정
+libext+<ext1>+<ext2>	라이브러리 셀 파일 확장자 지정	.v, .sv, .vp 등 순서 정의
-v <file>	특정 라이브러리 파일 직접 명시	해당 파일 전체가 포함됨
-y <dir>	라이브러리 파일을 찾을 디렉토리	모듈 인스턴스 이름 기반 탐색
-yd <dir>	-y와 같지만 delay 파일 존재도 검사	일부 툴에서 delay 포함 모듈을 구분할 때

 

Renaming Rules

Conformal에서 \는 정규표현식에서 캡처한 그룹을 “재참조(backreference)“할 때 사용한다. 

 

> Golden과 Revised의 설계 간에 이름이 다를 때, 두 객체를 수동으로 mapping해주는 방식을 말한다. 특히 이름 규칙이 일정하게 바뀐 경우 유용하며, 정규표현식을 활용해 유연하게 대응할 수 있다. 

 

기본 명령어 구조

 

renaming rule -from "<패턴>" -to "<패턴>" -type <객체 타입> [-module <모듈명>]

 

1. -from : Golden design에서의 이름 패턴(정규 표현식 가능)

2. -to : Revised design에서의 이름 패턴, \1, \2 등으로 그룹 참조

3. -type : 적용할 객체의 타입 지정(cell, net, port, module, pin 등)

4. -module : 특정 module 내부에서만 적용되도록 제한 가능

 

정규 표현식 capture와 그룹 참조

• -from에 있는 괄호 ( )는 캡쳐 그룹이다.
• -to 에서는 \1, \2 등의 방식으로 참조한다.

renaming rule -from "U_(.*)" -to "\1" -type cell

 

> Golden design에서 이름이 U_로 시작하고, 그 뒤에 어떤 문자가 오던지 그 전부를 그룹 1( \1 )으로 캡쳐한다는 의미이다.

> 즉, U_ 다음에 오는 모든 문자를 \1 로 기억한다는 말이다.

> -to " \1 " 은 Revised design에서는 Golden의 U_를 제거하고, 캡쳐된 그룹1만 남긴다. 

> Revised에서는 (.*)로 전부 하나의 그룹으로 묶어서, 그 그룹만 \1로 사용해서 이름을 변환한다는 의미!

Compare

> 기본적으로, Mapped key points들 기준으로 비교한다.

> compare는 Golden과 Revised TOP module에서 출발해서, 두 디자인에서 mapping된 key point들을 따라, 구조적/기능적으로 논리 비교(logic cone 비교)를 수행한다.

 

key point란 ?

> key point는 conformal이 논리 비교 시 사용하는 기준점들이다. 일반적으로 다음과 같은 객체들이 자동 key points로 설정된다.

종류	예시
Primary input / output	top-level 포트
Registers	DFF, latch
Blackbox boundaries	submodule interface
RAM / IP block 인터페이스	memory, FIFO 등
Mapping 지정된 internal point	map key points로 직접 매핑한 내부 객체들

> compare는 이 key point들을 기준으로, logic cone(조합 논리의 경로)를 추적하여 비교한다.

 

key point가 mapping되지 않을 시

> mapping되지 않은 key point의 cone은 compare 대상에서 제외된다. 이런 경우는, "report unmapped" 명령어로 확인 가능하다.

 

관련 유용한 명령어

명령어	기능
report mapped	매핑된 key point 목록 확인
report unmapped	매핑 안 된 key point 목록 확인
report compare	compare 결과 요약
report verify -verbose	불일치 객체의 상세 정보 확인
set compare effort high	비교 정밀도 증가 (성능 희생)