-
题名一种快速逻辑综合算法
被引量：2
- 1
-
-
作者
王炜
李清宝
-
机构
解放军信息工程大学计算机科学系
-
出处
《计算机工程与应用》
CSCD
北大核心
2000年第6期84-85,共2页
-
文摘
文章详细介绍了通过合并、消元、逐项检测的方法进行逻辑综合，求解必要质蕴涵项的思路，并对算法的性能进行了简要的分析。
-
关键词
逻辑综合
合并
消元
算法
计算机
-
Keywords
logic synthesis, combination, elimination, one-by-one-checking
-
分类号
TP301.6
[自动化与计算机技术—计算机系统结构]
-
-
题名基于C++及其扩展语言的动态剖析
- 2
-
-
作者
苏铭
王华
王清贤
张慧成
-
机构
解放军信息工程大学计算机科学系
-
出处
《计算机工程与应用》
CSCD
北大核心
2001年第19期170-174,共5页
-
文摘
程序优化是提高程序运行效率的重要步骤,程序剖析是程序优化的第一步。对于串行语言,程序剖析代码是由编译器通过一个命令行开关自动插入。但是,大部分并行语言编译器都不具有这个功能。该文以并行C++语言的可移植的动态剖析程序(profiler)为例,从两方面对问题进行了论述:首先给出实现可移植动态剖析程序的一般方法;然后分析一个用于pC++插桩(Instrumentation)工具。
-
关键词
C++语言
扩展语言
串行语言
程序设计语言
计算机
-
Keywords
profiling,performance analysis,program instrumentation
-
分类号
TP312
[自动化与计算机技术—计算机软件与理论]
-
