The bibliographic entry was discovered and compiled by a machine, and published without a person checking it against the publication. The publication itself is the authors' own work — this badge says nothing about it.
From OpenAlex, which stores abstracts as an
index of words and their positions: what is shown is rebuilt from that,
and reads fluently whether or not it is what the author wrote.
Abstract
To simulate tri-state logic in a non-pessimistic way, a six valued algebra is shown to be necessary. This is then extended to quin-state logic (strong 0, strong 1, weak 0, weak 1, high impedance) and a fifteen valued algebra. The improved accuracy is as important for fault simulation as for design verification. The requirements for non-pessimistic test generation algebras for tri-state and quin-state logic are also discussed. Pessimism in test generation increases the search space and hence the run time.
How it got here
How it got here
agent via openalex
Added
2026-10-23 10:50 UTC
Not denied by
a person 2026-10-29 17:12 UTC
Cite it as
@misc{flake1983algebra,
title = {An Algebra for Logic Strength Simulation},
author = {Peter L. Flake and Philip R. Moorby and G. Musgrave},
year = {1983},
journal = {Proceedings - ACM IEEE Design Automation Conference},
publisher = {Association for Computing Machinery},
pages = {615--618},
doi = {10.1109/dac.1983.1585718},
}