有限状态机的二元优化状态编码算法

摘要

对于有制约条件下的复杂状态机的编码优化问题,一直是EDA技术的难点,本文根据信息度量理论的二元优化算法,以某状态机为实例,详细介绍了有限状态机的二元优化状态编码算法实现的步骤和细节,并对该算法的自动化实现的空间爆炸问题作了相关讨论和建议.