NOVA - STATE ASSIGNMENT OF FINITE STATE MACHINES FOR OPTIMAL 2-LEVEL LOGIC IMPLEMENTATION

被引：140
|
作者：
VILLA, T
SANGIOVANNIVINCENTELLI, A
机构：
[1] Department of Electrical Engineering and Computer Science, University of California, Berkeley
来源：
IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS | 1990年 / 9卷 / 09期
基金：
美国国家科学基金会;
关键词：
D O I：
10.1109/43.59068
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
The problem of encoding the states of a synchronous finite state machine (FSM), so that the area of a two-level implementation of the combinational logic is minimized, is addressed. As in previous approaches, the problem is reduced to the solution of the combinatorial optimization problems defined by the translation of the cover obtained by a multiple-valued logic minimization or by a symbolic minimization into a compatible Boolean representation. In this paper we present algorithms for their solution, based on a new theoretical framework that offers advantages over previous approaches to develop effective heuristics. The algorithms are part of NOVA, a program for optimal encoding of control logic. Final areas averaging 20% less than other state assignment programs and 30% less than the best random solutions have been obtained. Literal counts averaging 30% less than the best random solutions have been obtained. © 1990 IEEE
引用
收藏
页码：905 / 924
页数：20
相关论文
共 50 条
12345