A Characterization of Ternary Simulation of Gate Networks | IEEE Journals & Magazine | IEEE Xplore

A Characterization of Ternary Simulation of Gate Networks


Abstract:

Ternary simulation techniques provide efficient methods for the analysis of the behavior of VLSI circuits. However, the results of ternary simulation have not been comple...Show More

Abstract:

Ternary simulation techniques provide efficient methods for the analysis of the behavior of VLSI circuits. However, the results of ternary simulation have not been completely characterized. In this paper we prove a somewhat modified version of the Brzozowski-Yoeli conjecture (stated in 1976) that the results of the ternary simulation of a gate network N correspond to the results of the binary race analysis of Ñ in the ``multiple-winner'' model, where Ñ is the network N in which a delay has been inserted in each wire.
Published in: IEEE Transactions on Computers ( Volume: C-36, Issue: 11, November 1987)
Page(s): 1318 - 1327
Date of Publication: 29 May 2009

ISSN Information:


Contact IEEE to Subscribe

References

References is not available for this document.