Conclusions
MV logic networks important in various applications
Presented MVSIS, an multi-valued logic synthesis software infrastructure
Release 1.1 on Linux and Windows platforms (as of May, 2002)
nSupport registers
nExternal and sequential don’t cares
nVerification based on
MDD representations
nsoftware generation from
Esterel
nuse of complete flexibility
nnon-determinism
http://www-cad.eecs.berkeley.edu/Respep/Research/mvsis
free download (binary versions available on
Windows, Unix)