KR910014809A - 논리 시뮬레이션 방법 - Google Patents
논리 시뮬레이션 방법 Download PDFInfo
- Publication number
- KR910014809A KR910014809A KR1019910000394A KR910000394A KR910014809A KR 910014809 A KR910014809 A KR 910014809A KR 1019910000394 A KR1019910000394 A KR 1019910000394A KR 910000394 A KR910000394 A KR 910000394A KR 910014809 A KR910014809 A KR 910014809A
- Authority
- KR
- South Korea
- Prior art keywords
- timing error
- logic
- detecting
- event
- logic simulation
- Prior art date
Links
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F17/00—Digital computing or data processing equipment or methods, specially adapted for specific functions
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/22—Detection or location of defective computer hardware by testing during standby operation or during idle time, e.g. start-up testing
- G06F11/26—Functional testing
- G06F11/261—Functional testing by simulating additional hardware, e.g. fault simulation
Landscapes
- Engineering & Computer Science (AREA)
- Theoretical Computer Science (AREA)
- General Engineering & Computer Science (AREA)
- Computer Hardware Design (AREA)
- Physics & Mathematics (AREA)
- General Physics & Mathematics (AREA)
- Quality & Reliability (AREA)
- Data Mining & Analysis (AREA)
- Databases & Information Systems (AREA)
- Mathematical Physics (AREA)
- Software Systems (AREA)
- Test And Diagnosis Of Digital Computers (AREA)
- Tests Of Electronic Circuits (AREA)
- Testing Or Measuring Of Semiconductors Or The Like (AREA)
Abstract
내용 없음
Description
본 내용은 요부공개 건이므로 전문내용을 수록하지 않았음
제1도는, 본 발명의 1실시예에 따른 논리 시뮬레이터를 사용하는 논리 시뮬레이션장치를 나타내는 블록 다이어그램, 제5A도 및 5B도는, 제1도에서 나타낸 논리 시뮬레이터의 타임 휘일 회로의 블록다이어그램.
Claims (10)
- 다수의 논리 셀 및 논리셀과 함께 접속되는 다수의 네트를 포함하는 논리 회로 작동의 논리 시뮬레이션을 수행하기 위한 논리 시뮬레이션 방법으로서 : 상기 논리 셀 각각의 입력에서 발생할 수 있는 타이밍 에러를 검출하는 단계와 ; 논리 시뮬레이션을 수행하기 위하여, 타이밍 에러의 검출에 대한 응답으로 "X"값의 타이밍 에러에 관계되는 논리셀의 출력을 설정하는 단계와로 구성되는 방법.
- 제1항에 있어서, 상기 검출 단계는 설치시간 및, 플립-플롭 또는 카운터와 결합된 메모리 셀의 유지시간 중의 적어도 하나에서 타이밍 에러를 검출함에 의해서 수행되는 논리 시뮬레이션 방법.
- 제1항에 있어서, 상기 검출 단계는, 입력 시간이 소정시간 보다 더 짧으면, 타이밍 에러의 종류에 대응하는 검출신호를 출력하는 부단계를 포함하는 논리 시뮬레이션 방법.
- 제1항에 있어서, 상기 검출단계는 : 제1신호의 상승 끝단에 대응하는 이벤트가 발생한 후에 발생 가능성이 있는 타이밍 에러중의 적어도 하나에 대응하는 네트 어드레스 내에 플래그를 설정하는 부단계와; 소정 시간이 경과한 때, 네트 어드레스로 부터 플래그를 취소하는 부단계; 및 소정 시간 동안 발생될 수 있는 이벤트에 대응하는 플래그를 조사함에 의해서 타이밍 에러를 검출하는 부단계를 포함하는 논리 시뮬레이션 방법.
- 제1항에 있어서, 현재의 이벤트가 해당 네트의 구 신호값을 변경하면, 유효한 것으로서의 현재 이벤트를 처리하는 단계 및 현재 이벤트가 해당 네트의 구신호 값을 변경하지 않으면, 현재 이벤트를 취소하는 단계를 더욱 포함하여 구성되는 논리 시뮬레이션 방법.
- 제1항에 있어서, 현재의 이벤트가 셀을 통하여 통과할때, 다른 이벤트에 의해서 추월되는 현재의 이벤트를 검출하는 단계와; 추월된 현재의 이벤트를 무조건 취소하는 단계; 및 이벤트가 셀을 통하여 통과할때, 다른 이벤트에 의해서 추월되지 않은 이벤트를 출력하는 단계를 더욱 포함하여 구성되는 논리 시뮬레이션 방법.
- 다수개의 논리 셀 및, 논리셀과 함께 접속되는 다수개의 네트를 포함하는 논리 회로 작동의 논리 시뮬레이션을 수행하기 위한 논리 시뮬레이션 방법으로서, 타이밍 에러를 검출함이 없이 시뮬레이션을 실행하는 제13단계와; 상기 논리 셀들 각각의 입력에서 발생하는 타이밍 에러를 검출하는 제2단계와; 타이밍 에러가 발생하는 지의 여부를 동시에 검출하는 동안 시뮬레이션을 실행하는 제3단계와; 타이밍 에러를 반영하는 시뮬레이션을 수행하도록 타이밍 에러의 검출에 대한 응답으로 타이밍 에러에 관계되는 논리셀의 출력을 "X"값으로 설정하는 제4단계; 및 제1, 제2 및 제3단계중의 하나를 선택하는 제5단계와로 구성되는 논리 시뮬레이션 방법.
- 제7항에 있어서, 상기 제2단계는 셋업시간 및, 플립-플롭 또는 카운터를 포함하는 메모리 셀의 유지시간 중의 적어도 하나에서 타이밍 에러를 검출함에 의해서 수행되는 논리 시뮬레이션 방법.
- 제7항에 있어서, 상기 제2단계는 입력 시간이 소정 시간보다 더 짧으면, 타이밍 에러의 종류에 대응하는 검출신호를 출력하는 부 단계를 포함하는 논리 시뮬레이션 방법.
- 제7항에 있어서, 상기 제4단계는, 제1신호의 상승 끝단에 대응하는 이벤트가 발생한 후에 발생 가능성이 있는 타이밍 에러중의 적어도 하나에 대응하는 네트 어드레스 내에 플래그를 설정하는 부단계와; 소정 시간이 경과한 때, 네트 어드레스로 부터 플래그를 취소하는 부단계; 및 소정 시간 동안 발생될 수 있는 이벤트에 대응하는 플래그를 조사함에 의해서 타이밍 에러를 검출하는 부단계를 포함하는 논리 시뮬레이션 방법.※ 참고사항 : 최초출원 내용에 의하여 공개하는 것임.
Applications Claiming Priority (2)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2004926A JP2847310B2 (ja) | 1990-01-12 | 1990-01-12 | 論理シミュレーション方法 |
JP4926 | 1990-01-12 |
Publications (2)
Publication Number | Publication Date |
---|---|
KR910014809A true KR910014809A (ko) | 1991-08-31 |
KR0134036B1 KR0134036B1 (ko) | 1998-05-15 |
Family
ID=11597205
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
KR1019910000394A KR0134036B1 (ko) | 1990-01-12 | 1991-01-12 | 논리 시뮬레이션 방법 |
Country Status (3)
Country | Link |
---|---|
US (1) | US5446748A (ko) |
JP (1) | JP2847310B2 (ko) |
KR (1) | KR0134036B1 (ko) |
Families Citing this family (7)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US5884065A (en) * | 1992-01-10 | 1999-03-16 | Nec Corporation | Logic circuit apparatus and method for sequentially performing one of a fault-free simulation and a fault simulation through various levels of a logic circuit |
JP3124417B2 (ja) * | 1993-07-13 | 2001-01-15 | 三菱電機株式会社 | 論理シミュレーションシステム及び論理シミュレーション方法 |
KR970000265B1 (ko) * | 1994-09-26 | 1997-01-08 | 엘지반도체 주식회사 | 데이타전송율 자동검출회로 |
US6205569B1 (en) * | 1997-11-18 | 2001-03-20 | Seagate Technology Llc | Error recovery using alternate headers in a disc drive |
US6370495B1 (en) * | 1999-02-02 | 2002-04-09 | Oak Technology | Method and apparatus for simulating a storage component |
JP5173216B2 (ja) * | 2006-04-18 | 2013-04-03 | パナソニック株式会社 | 半導体集積回路システム、半導体集積回路、オペレーティングシステム及び半導体集積回路の制御方法 |
US10755014B2 (en) * | 2018-03-14 | 2020-08-25 | Montana Systems Inc. | Event-driven design simulation |
Family Cites Families (8)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US3633100A (en) * | 1970-05-12 | 1972-01-04 | Ibm | Testing of nonlinear circuits by comparison with a reference simulation with means to eliminate errors caused by critical race conditions |
US4787061A (en) * | 1986-06-25 | 1988-11-22 | Ikos Systems, Inc. | Dual delay mode pipelined logic simulator |
US4787062A (en) * | 1986-06-26 | 1988-11-22 | Ikos Systems, Inc. | Glitch detection by forcing the output of a simulated logic device to an undefined state |
US4924430A (en) * | 1988-01-28 | 1990-05-08 | Teradyne, Inc. | Static timing analysis of semiconductor digital circuits |
JP2522541B2 (ja) * | 1989-03-24 | 1996-08-07 | 三菱電機株式会社 | シミュレ―ション装置及びシミュレ―ション方法 |
US5095454A (en) * | 1989-05-25 | 1992-03-10 | Gateway Design Automation Corporation | Method and apparatus for verifying timing during simulation of digital circuits |
US5091872A (en) * | 1989-06-23 | 1992-02-25 | At&T Bell Laboratories | Apparatus and method for performing spike analysis in a logic simulator |
US5051938A (en) * | 1989-06-23 | 1991-09-24 | Hyduke Stanley M | Simulation of selected logic circuit designs |
-
1990
- 1990-01-12 JP JP2004926A patent/JP2847310B2/ja not_active Expired - Fee Related
-
1991
- 1991-01-12 KR KR1019910000394A patent/KR0134036B1/ko not_active IP Right Cessation
-
1995
- 1995-01-27 US US08/379,769 patent/US5446748A/en not_active Expired - Fee Related
Also Published As
Publication number | Publication date |
---|---|
JP2847310B2 (ja) | 1999-01-20 |
JPH03209569A (ja) | 1991-09-12 |
US5446748A (en) | 1995-08-29 |
KR0134036B1 (ko) | 1998-05-15 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
US6135651A (en) | Patching apparatus and method for upgrading modem software code | |
KR950034253A (ko) | 병렬 출력 데이타 경로를 가진 동기 메모리 | |
KR920013450A (ko) | 판독 및 기입동작을 위한 타임-아웃 제어장치를 구비한 반도체 메모리 | |
KR880014475A (ko) | 반도체 집적회로장치 | |
KR910018812A (ko) | 다중 주파수 회로용 스캔 검사 회로 | |
KR910014809A (ko) | 논리 시뮬레이션 방법 | |
KR960035657A (ko) | 데이타 압축 시험기능을 갖는 반도체 기억장치 및 그 시험방법 | |
KR970012153A (ko) | 데이타 프로세서 및 중단점 작동 실행 방법 | |
KR910005322A (ko) | 용장 메모리 셀을 갖는 반도체 메모리 장치 | |
KR970023452A (ko) | 플래쉬 메모리 장치 | |
KR910014808A (ko) | 논리 시뮬레이터(logic simulator) | |
US20050038640A1 (en) | Method and apparatus for automatically testing the design of a simulated integrated circuit | |
JPS6132758B2 (ko) | ||
EP1070297B1 (en) | Method and apparatus for automatically testing the design of a simulated integrated circuit | |
KR900004814B1 (ko) | 에스램의 초기값설정을 위한 검증 장치 | |
KR930018441A (ko) | 전자식 금전등록기에서 펑션키 이중화 방법 | |
KR900003790A (ko) | 금전 등록 시스템의 키 확장방법 | |
KR970022341A (ko) | 시리얼 플립플롭 테스트 시간 절감 장치 | |
KR920006830A (ko) | Cip보드 고장상태 표시방법 및 장치 | |
KR960018892A (ko) | 마이크로 콘트롤러의 진단 롬 테스트 모드 인에이블 회로 | |
KR920012929A (ko) | 시스템 ic의 테스트 회로 | |
KR960036503A (ko) | 음성 우편 시스템의 개선된 톤 검출회로 및 방법 | |
KR970029035A (ko) | 기억 테이블 룩업장치 및 방법 | |
JPH0567168A (ja) | 論理回路の故障シミユレーシヨン方法 | |
KR910013533A (ko) | COMS PLA 회로의 스턱오픈(stuck-open)고장 검출용 초기화 패턴 결합회로 |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
A201 | Request for examination | ||
E701 | Decision to grant or registration of patent right | ||
GRNT | Written decision to grant | ||
FPAY | Annual fee payment |
Payment date: 20021204 Year of fee payment: 6 |
|
LAPS | Lapse due to unpaid annual fee |