최소 단어 이상 선택하여야 합니다.
최대 10 단어까지만 선택 가능합니다.
다음과 같은 기능을 한번의 로그인으로 사용 할 수 있습니다.
NTIS 바로가기국가/구분 | United States(US) Patent 등록 |
---|---|
국제특허분류(IPC7판) |
|
출원번호 | US-0291287 (2002-11-07) |
발명자 / 주소 |
|
출원인 / 주소 |
|
대리인 / 주소 |
|
인용정보 | 피인용 횟수 : 5 인용 특허 : 22 |
An approach for cut-point frontier selection and/or counter-example generation. Both a lazy and an eager cut-point frontier are identified. A reconvergence (or non-reconvergence) ratio is then computed for each of the frontiers and the one with the smaller (larger) reconvergence (non-reconvergence)
1. A method comprising:for an integrated circuit model, identifying a lazy cut-point frontier and an eager cut-point frontier, the lazy cut-point frontier being one of inputs of the model and a cut-point frontier closest to a prior cut-point frontier and the eager cut-point frontier being a cut-poin
※ AI-Helper는 부적절한 답변을 할 수 있습니다.