Accurate Logic Simulation by Overcoming the Unknown Value Propagation Problem

Sungho Kang, Stephen A. Szygenda

Research output: Contribution to journalArticle

8 Citations (Scopus)

Abstract

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
JournalSIMULATION
Volume79
Issue number2
DOIs
Publication statusPublished - 2003 Feb

All Science Journal Classification (ASJC) codes

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

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

Cite this