SOCRATES: A System for Automatically Synthesizing and Optimizing Combinational Logic
SOCRATES: A System for Automatically Synthesizing and Optimizing Combinational Logic
复制标题
苏格拉底：自动综合和优化组合逻辑的系统
DOI：
10.1145/62882.62952
复制
发表时间：
1986
期刊：
影响因子：
--
通讯作者：
G. Hachtel
中科院分区：
文献类型：
--
作者：
David Gregory;K. Bartlett;A. Geus;G. Hachtel
This paper presents SOCRATES, a system of programs which synthesize and optimize combinational logic circuits from boolean equations. SOCRATES optimizes logic using boolean and algebraic minimization techniques, and it optimizes circuits derived from this logic in a user defined technology with a rule based expert system. This paper discusses the goals of logic synthesis and the capabilities needed in a tool to meet these goals. SOCRATES's capabilities are then presented and demonstrated with experiments run on circuits from the 1986 Design Automation Conference synthesis benchmark set.
