Journal of the Korea Society for Simulation (한국시뮬레이션학회논문지)

The Korea Society for Simulation (한국시뮬레이션학회)
권호 표지

Accurate Logic Simulation Using Partitioning

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

  • 오상호 (연세대학교 전기공학과)
  • Published : 1996.12.01
Download PDF
⟨ Previous Next ⟩

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.

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

Keywords

References

  1. Proc. of Design Automation Conference TEGAS2-Anatomy of a General Purpose Test Generation and Simulation System for Digital Logic S. Szygenda
  2. IEEE Transaction on Computers v.25 no.12 Modeling and Digital Simulation for Design Verfication and Diagnosis S. Szygnda;E. W. Thompson
  3. Digital Logic testing and Simulation A. Miczo
  4. Logic Design and Simulation E. Horbst
  5. IEEE Transactions on Circuits and Systems v.26 no.5 Mapping and Aogorithms for Gate Modeling on a Digital Simulation Environment Y. H. Jea;S. A. Szygenda
  6. IEEE Transactions on Computers A Note on Three-Valued Logic Simulation M. A. Breuer
  7. Diagnosis & Reliable Design of Digital Systems M. A. Breuer;A. D. Friedman
  8. Digital System Testable & Testable Design M. Abramovici;M. A. Breuer;A. D. Friedman
  9. IEEE Proc. of International Conference on Computer-Aided Design Accurate Logic Simulation in The Presence of Unknowns S. J. Chandra;J. H. Patel
  10. Proc. International Conference on Computer-Aided Design The Complexity of Accurate Logic Simulation H. P. Chang;J. A. Abraham
  11. Proc. of International Symposium on circuits and Systims A Neutral Netlist of 10 Combinational Benchmark Circuit and a Target Translation in FORTRAN F. Brglez;H. Fujiwara