A survey and tutorial on contemporary aspects of multiple-valued logic and its application to microelectronic circuits

V Gaudet - IEEE Journal on Emerging and Selected Topics in …, 2016 - ieeexplore.ieee.org
Multiple-valued logic has a history that goes back to the 1920s. Its flagship symposium was
established in 1971. Despite multiple-valued logic's long history, there have been many …

Implementing a multiple-valued decision diagram package

DM Miller, R Drechsler - … on Multiple-Valued Logic (Cat. No …, 1998 - ieeexplore.ieee.org
Decision diagrams are the state-of-the-art representation for logic functions, both binary and
multiple-valued. Here we consider issues regarding the efficient implementation of a …

A multiple-valued decision-diagram-based approach to solve dynamic fault trees

Y Mo - IEEE Transactions on Reliability, 2014 - ieeexplore.ieee.org
Dynamic fault trees (DFTs) have been used for many years because they can easily provide
a concise representation of the dynamic failure behaviors of general non-repairable fault …