빠르고 강력하게 검증 생산성 높이기 - 퀘스타 인팩트를 활용한 커버리지 클로져 달성

2020-04-23 10:30~12:00

Mentor, a Siemens Business / 박성진 대리

웨비나정보 웨비나Q&A

이*훈2020-04-23 오전 11:30:52
DMA와 UVM의 정의를 간략히 알 수 있을까요?
윤*은2020-04-23 오전 11:22:20
ADAS 레이다 송수신 RF IC도 설계 검증 가능한가요?
Mentor12020.04.23
네 constraint random test를 하고 계신다면 inFact를 사용하여 효과를 보실 수 있습니다.
지*호2020-04-23 오전 11:12:53
[질문]퀘스타 인팩트를 활용한 커버리지 클로져 달성 속도를 높이기 위한 중요 요소는 어떤 것이 있는지 궁금합니다.
Mentor12020.04.23
네 covergroup과 constraint가 작성되어 있다면 inFact는 커버리지를 효율적으로 달성 할 수 있는 스티뮬러스를 생성해줍니다.
이*규2020-04-23 오전 11:11:47
타사에는 없는 퀘스타인팩트에서만 제공하는 기술적인 면이 있나요?
Mentor12020.04.23
네 웨비나 내용인 커버리지 클로저 관점입니다. 타사에 PSS툴이 있으나 기존의 환경을 활용하여 커버리지 클로저를 앞당길 수 있도록 도와주는 툴은 inFact만의 장점입니다.
정*균2020-04-23 오전 11:01:23
머신러닝과 딥러닝 둘다 적용된건가요?
mentor22020.04.23
Questa inFact 는 AI나 machine learning의 개념과는 조금 다릅니다. inFact의 경우 미리 기술된 커버리지 타겟을 분석하여 나올수 있는 케이스에 대해 분석하여 랜덤값을 생성해 주는 형식입니다.
신*욱2020-04-23 오전 11:01:05
추가로 Xilinx/Intel에서 제공하는 IP들에 대한 Coverage도 100% Check가 가능한가요?
Mentor12020.04.23
inFact가 covergroup 및 stimulus를 볼 수 있고 import가 가능하다면 사용하여 효율적으로 테스트할 수 있습니다. 하지만, 그것이 불가능 하다면 TB import가 불가능하기때문에 사용하기 힘듭니다.
김*환2020-04-23 오전 10:58:54
Questa inFact 사용하고 안하고에 따라서 실제 제품 동작에 미치는 영향은 없는지요?
mentor22020.04.23
Questa inFact 은 엔지니어가 검증을 할 때 조금 더 빠르고 쉽게 하기 위해 도와주는 툴이라고 보시면 됩니다.
신*욱2020-04-23 오전 10:58:11
csv 파일로 정리만 해주면 QCC를 통해서 verilog 모델의 coverage 100% 확인 가능한 시뮬레이션 모델을 만들어 준다고 이해하면 되나요?
Mentor12020.04.23
QCC의 경우 검증 엔지니어가 직접 covergroup을 만들어 주는것을 도와줍니다. 이때 csv파일에 검증 엔지니어가 만들고자 하는 covergroup에 대해 기술 하면 손으로 작성하지 않고 QCC가 그에 맞는 covergroup을 만들어 줍니다. 이때 unreachable bin이 있다면 QCC는 이것에 대해 미리 파악하여 만들어주는 커버 그룹에 반영합니다. 따라서 100%달성 가능한 covergroup을 만들어 줍니다.
김*열2020-04-23 오전 10:55:58
[질문] 병원과 같은 개인정보 등의 민감한 데이터에 대한 보안방안이나 관련 솔루션이 있는지요?
Mentor12020.04.23
멘토에서는 데이터 보안 솔루션을 제공하고 있지 않습니다.
이*규2020-04-23 오전 10:55:42
테스트 전에 미리 검증할수 있는 환경을 제공한다고 하는데 정확하게 어떤 환경을 제공해주는건가요?
Mentor12020.04.23
네 QSA를 통해서 시뮬레이션 전 짜여진 컨스트레인트 분석하여 나올 수 있는 케이스에 대해 확인 할 수 있으며 이를 통해 스펙에 벗어난 케이스가 나오지 않는지 확인이 가능합니다.