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 Jan 1

Fingerprint

Logic
Propagation
Unknown
Simulation
Networks (circuits)
Partitioning
Benchmark
Output
Experimental Results
Design

All Science Journal Classification (ASJC) codes

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

Cite this

Kang, Sungho ; Szygenda, Stephen A. / Accurate Logic Simulation by Overcoming the Unknown Value Propagation Problem. In: SIMULATION. 2003 ; Vol. 79, No. 2. pp. 59-68.
@article{56e889106bfc48fca0b87230bd653b07,
title = "Accurate Logic Simulation by Overcoming the Unknown Value Propagation Problem",
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.",
author = "Sungho Kang and Szygenda, {Stephen A.}",
year = "2003",
month = "1",
day = "1",
doi = "10.1177/0037549703254811",
language = "English",
volume = "79",
pages = "59--68",
journal = "Simulation",
issn = "0037-5497",
publisher = "SAGE Publications Ltd",
number = "2",

}

Accurate Logic Simulation by Overcoming the Unknown Value Propagation Problem. / Kang, Sungho; Szygenda, Stephen A.

In: SIMULATION, Vol. 79, No. 2, 01.01.2003, p. 59-68.

Research output: Contribution to journalArticle

TY - JOUR

T1 - Accurate Logic Simulation by Overcoming the Unknown Value Propagation Problem

AU - Kang, Sungho

AU - Szygenda, Stephen A.

PY - 2003/1/1

Y1 - 2003/1/1

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=0042342537&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0042342537&partnerID=8YFLogxK

U2 - 10.1177/0037549703254811

DO - 10.1177/0037549703254811

M3 - Article

VL - 79

SP - 59

EP - 68

JO - Simulation

JF - Simulation

SN - 0037-5497

IS - 2

ER -