Algebraic methods for multi-valued logic
暂无分享,去创建一个
[1] Robert K. Brayton,et al. MIS-MV: optimization of multi-level logic with multiple-values inputs , 1990, 1990 IEEE International Conference on Computer-Aided Design. Digest of Technical Papers.
[2] P. R. Stephan,et al. SIS : A System for Sequential Circuit Synthesis , 1992 .
[3] R. Brayton,et al. B L F-M V An Interchange Format for Design Verification and Synthesis , 1991 .
[4] Janusz Rajski,et al. A method for concurrent decomposition and factorization of Boolean expressions , 1990, 1990 IEEE International Conference on Computer-Aided Design. Digest of Technical Papers.