Hazard Algebras

J. Brzozowski, Z. Ésik

Research output: Contribution to journalArticle

13 Citations (Scopus)

Abstract

We introduce algebras capable of representing, detecting, identifying, and counting static and dynamic hazard pulses that can occur in the worst case on any wire in a gate circuit. These algebras also permit us to count the worst-case number of signal changes on any wire. This is of interest to logic designers for two reasons: each signal change consumes energy, and unnecessary multiple signal changes slow down the circuit operation. We describe efficient circuit simulation algorithms based on our algebras and illustrate them by several examples. Our method generalizes Eichelberger's ternary simulation and several other algebras designed for hazard detection.

Original languageEnglish
Pages (from-to)223-256
Number of pages34
JournalFormal Methods in System Design
Volume23
Issue number3
DOIs
Publication statusPublished - Nov 2003

Fingerprint

Hazard
Algebra
Hazards
Wire
Circuit Simulation
Networks (circuits)
Circuit simulation
Ternary
Counting
Count
Logic
Generalise
Energy
Simulation

Keywords

  • Algebra
  • Circuit
  • Gate
  • Hazard
  • Multivalued
  • Simulation
  • Transient

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computational Theory and Mathematics

Cite this

Hazard Algebras. / Brzozowski, J.; Ésik, Z.

In: Formal Methods in System Design, Vol. 23, No. 3, 11.2003, p. 223-256.

Research output: Contribution to journalArticle

Brzozowski, J. ; Ésik, Z. / Hazard Algebras. In: Formal Methods in System Design. 2003 ; Vol. 23, No. 3. pp. 223-256.
@article{2ed5d9442452401590c3a6f201a7d047,
title = "Hazard Algebras",
abstract = "We introduce algebras capable of representing, detecting, identifying, and counting static and dynamic hazard pulses that can occur in the worst case on any wire in a gate circuit. These algebras also permit us to count the worst-case number of signal changes on any wire. This is of interest to logic designers for two reasons: each signal change consumes energy, and unnecessary multiple signal changes slow down the circuit operation. We describe efficient circuit simulation algorithms based on our algebras and illustrate them by several examples. Our method generalizes Eichelberger's ternary simulation and several other algebras designed for hazard detection.",
keywords = "Algebra, Circuit, Gate, Hazard, Multivalued, Simulation, Transient",
author = "J. Brzozowski and Z. {\'E}sik",
year = "2003",
month = "11",
doi = "10.1023/A:1026218512171",
language = "English",
volume = "23",
pages = "223--256",
journal = "Formal Methods in System Design",
issn = "0925-9856",
publisher = "Springer Netherlands",
number = "3",

}

TY - JOUR

T1 - Hazard Algebras

AU - Brzozowski, J.

AU - Ésik, Z.

PY - 2003/11

Y1 - 2003/11

N2 - We introduce algebras capable of representing, detecting, identifying, and counting static and dynamic hazard pulses that can occur in the worst case on any wire in a gate circuit. These algebras also permit us to count the worst-case number of signal changes on any wire. This is of interest to logic designers for two reasons: each signal change consumes energy, and unnecessary multiple signal changes slow down the circuit operation. We describe efficient circuit simulation algorithms based on our algebras and illustrate them by several examples. Our method generalizes Eichelberger's ternary simulation and several other algebras designed for hazard detection.

AB - We introduce algebras capable of representing, detecting, identifying, and counting static and dynamic hazard pulses that can occur in the worst case on any wire in a gate circuit. These algebras also permit us to count the worst-case number of signal changes on any wire. This is of interest to logic designers for two reasons: each signal change consumes energy, and unnecessary multiple signal changes slow down the circuit operation. We describe efficient circuit simulation algorithms based on our algebras and illustrate them by several examples. Our method generalizes Eichelberger's ternary simulation and several other algebras designed for hazard detection.

KW - Algebra

KW - Circuit

KW - Gate

KW - Hazard

KW - Multivalued

KW - Simulation

KW - Transient

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

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

U2 - 10.1023/A:1026218512171

DO - 10.1023/A:1026218512171

M3 - Article

VL - 23

SP - 223

EP - 256

JO - Formal Methods in System Design

JF - Formal Methods in System Design

SN - 0925-9856

IS - 3

ER -