$\require{mediawiki-texvc}$
  • 검색어에 아래의 연산자를 사용하시면 더 정확한 검색결과를 얻을 수 있습니다.
  • 검색연산자
검색연산자 기능 검색시 예
() 우선순위가 가장 높은 연산자 예1) (나노 (기계 | machine))
공백 두 개의 검색어(식)을 모두 포함하고 있는 문서 검색 예1) (나노 기계)
예2) 나노 장영실
| 두 개의 검색어(식) 중 하나 이상 포함하고 있는 문서 검색 예1) (줄기세포 | 면역)
예2) 줄기세포 | 장영실
! NOT 이후에 있는 검색어가 포함된 문서는 제외 예1) (황금 !백금)
예2) !image
* 검색어의 *란에 0개 이상의 임의의 문자가 포함된 문서 검색 예) semi*
"" 따옴표 내의 구문과 완전히 일치하는 문서만 검색 예) "Transform and Quantization"
쳇봇 이모티콘
안녕하세요!
ScienceON 챗봇입니다.
궁금한 것은 저에게 물어봐주세요.

논문 상세정보

회로 분할법에 의한 정확한 논리 시뮬레이션

Accurate Logic Simulation Using Partitioning

초록

회로의 크기가 점점 방대해지고 복잡해짐에 따라 설계검증을 위해 시뮬레이션은 매우 중요한 역할을 하고 있으며 빠른 속도와 정확성이 요구 되어지고 있다. 좋은 시뮬레이터는 실제회로에서 출력되는 정확한 값을 예상할 수 있어야 하지만 3논리값 시뮬레이션에서는 X값 전파(unknown propagation)문제를 발생시켜 출력의 정확도를 떨어뜨리게 된다. 본 논문은 X값 전파 문제를 효과적으로 다루기 위해 분할기법을 사용했으며 분할의 깊이를 선택적으로 조절하는 효율적인 알고리즘을 개발하였고, 이를 토대로 미지값을 쉽고 빠르게 처리하는 시뮬레이터를 개발하였다. 그리고 벤치마크회로를 이용하여 새로 개발한 알고리즘과 시뮬레이터의 효율을 입증하였다.

Abstract

As circuits are larger and more complicated, logic simulation is playing a very important role in design verification. A good simulator should be fast and accurate, but unknown values in 3 value simulator may generate X-propagation problem which makes inaccurate output values. In this paper, a new partitioning method is devised to deal with X-propagation problem efficiently and an efficient algorithm is developed which is able to optimize time and accuracy by controlling partition depths. The results prove the effectiveness of the new simulation algorithm using some benchmark circuits.

참고문헌 (11)

  1. TEGAS2-Anatomy of a General Purpose Test Generation and Simulation System for Digital Logic , S. Szygenda , Proc. of Design Automation Conference / v.,pp.116-1253, 1972
  2. Modeling and Digital Simulation for Design Verfication and Diagnosis , S. Szygnda;E. W. Thompson , IEEE Transaction on Computers / v.25,pp.1242-1253, 1976
  3. A. Miczo , Digital Logic testing and Simulation / v.,pp., 1986
  4. E. Horbst , Logic Design and Simulation / v.,pp., 1986
  5. Mapping and Aogorithms for Gate Modeling on a Digital Simulation Environment , Y. H. Jea;S. A. Szygenda , IEEE Transactions on Circuits and Systems / v.26,pp.304-315, 1979
  6. A Note on Three-Valued Logic Simulation , M. A. Breuer , IEEE Transactions on Computers / v.,pp.399-402, 1972
  7. M. A. Breuer;A. D. Friedman , Diagnosis & Reliable Design of Digital Systems / v.,pp., 1976
  8. M. Abramovici;M. A. Breuer;A. D. Friedman , Digital System Testable & Testable Design / v.,pp.43-46, 1990
  9. Accurate Logic Simulation in The Presence of Unknowns , S. J. Chandra;J. H. Patel , IEEE Proc. of International Conference on Computer-Aided Design / v.,pp.34-37, 1989
  10. The Complexity of Accurate Logic Simulation , H. P. Chang;J. A. Abraham , Proc. International Conference on Computer-Aided Design / v.,pp., 1987
  11. A Neutral Netlist of 10 Combinational Benchmark Circuit and a Target Translation in FORTRAN , F. Brglez;H. Fujiwara , Proc. of International Symposium on circuits and Systims / v.,pp.695-698, 1985

이 논문을 인용한 문헌 (0)

  1. 이 논문을 인용한 문헌 없음

원문보기

원문 PDF 다운로드

  • ScienceON :

원문 URL 링크

원문 PDF 파일 및 링크정보가 존재하지 않을 경우 KISTI DDS 시스템에서 제공하는 원문복사서비스를 사용할 수 있습니다. (원문복사서비스 안내 바로 가기)

상세조회 0건 원문조회 0건

DOI 인용 스타일