Accurate Logic Simulation by Overcoming the Unknown Value Propagation Problem

Sungho Kang, Stephen A. Szygenda

Research output: Contribution to journalArticlepeer-review

8 Citations (Scopus)


As circuits become larger and more complicated, logic simulation plays an important role in design verification and is widely used. However, unknown values in three-value simulation may cause the unknown value propagation problem that produces indeterminate output values. In this article, a new simulation algorithm is developed that can efficiently overcome the unknown value propagation problem. The algorithm is based on the partitioning approach. The experimental results using benchmark circuits prove the effectiveness of the new simulation algorithm.

Original languageEnglish
Pages (from-to)59-68
Number of pages10
Issue number2
Publication statusPublished - 2003 Feb

All Science Journal Classification (ASJC) codes

  • Software
  • Modelling and Simulation
  • Computer Graphics and Computer-Aided Design


Dive into the research topics of 'Accurate Logic Simulation by Overcoming the Unknown Value Propagation Problem'. Together they form a unique fingerprint.

Cite this