-
题名有限状态机的VHDL描述及综合
被引量：4
- 1
-
-
作者
李春霞
顾新
王君
-
机构
西安电子科技大学计算机外部设备研究所
-
出处
《计算机工程与应用》
CSCD
北大核心
2005年第6期111-113,共3页
-
基金
部委预研项目
-
文摘
介绍了使用VHDL描述有限状态机的方法,重点分析了综合过程中的竞争和毛刺现象产生的原因,并提供了解决方法。最后以图形学中的直线算法为例实现了可综合的FSM描述,并通过门级仿真验证了其正确性。
-
关键词
vhdl
有限状态机(fsm)
综合
bresenham算法
-
Keywords
vhdl,finite state machine(fsm),synthesis,bresenham algorithm
-
分类号
TP301
[自动化与计算机技术—计算机系统结构]
-
-
题名有限状态机的双逻辑面积优化
- 2
-
-
作者
林伟建
王伦耀
夏银水
-
机构
宁波大学信息科学与工程学院
-
出处
《计算机工程》
CAS
CSCD
北大核心
2016年第5期282-287,共6页
-
基金
国家自然科学基金资助项目(61471211)
-
文摘
针对采用单一的传统布尔逻辑在有限状态机面积优化中的不足,提出一种基于传统布尔逻辑和ReedMuller(RM)逻辑的双逻辑有限状态机(FSM)面积优化算法。利用不相交乘积项之间的位操作,将函数的逻辑覆盖拆分成分别适合传统布尔逻辑和RM逻辑综合的两部分。采用布尔逻辑乘积项和RM逻辑覆盖对应的字母数作为电路面积的成本函数,指导遗传算法搜索出适合双逻辑综合的状态分配,实现FSM组合电路面积优化。通过MCNC标准电路对算法进行测试。实验结果表明,相比单一的布尔逻辑,采用双逻辑综合后,可使近80%的FSM测试电路面积得到进一步优化。
-
关键词
Reed—Muller逻辑
有限状态机
遗传算法
逻辑综合
双逻辑
位操作
-
Keywords
Reed-Muller （ RM ） logic
finite state machine （ fsm ）
Genetic algorithm （GA）
logic synthesis
dual logic
bit operation
-
分类号
TP391.72
[自动化与计算机技术—计算机应用技术]
-
