基于等价关系的完全确定时序逻辑电路状态化简算法

尚奥,裴晓鹏,吕迎春,陈泽华

State Reduction Algorithm for Completely Specified Sequential Logic Circuit Based on Equivalence Relation

SHANG Ao, PEI Xiao-peng, LV Ying-chun and CHEN Ze-hua

计算机科学 . 2018, (1): 118 -121 . DOI: 10.11896/j.issn.1002-137X.2018.01.019