-"누가 이런 개념에 대한 정보를 상세하게 말할 수있습니다.

[smalldog]

1.test - 벤치 자동화
2.constrained - 무작위 검증
3.assertion 기반의 검증
4.functional 범위 검증 구동
5.formal 확인 (정적 및 동적)
6.transaction 수준의 모델링.

 

[rakesh_aadhimoolam]

어설션 도구를 바탕으로 검증 ....

www.0-in.com/resources_tech_articles.html또한이 하위 PDF 파일의 많은 포럼을 스스로

그냥 ............ 확인해보세요

모두 최선을

 

[Guest]

[No message]

 

[aji_vlsi]

smalldog 썼습니다 :

1.test - 벤치 자동화

2.constrained - 무작위 검증

3.assertion 기반의 검증

4.functional 범위 검증 구동

5.formal 확인 (정적 및 동적)

6.transaction 수준의 모델링.