摘要
高层次设计技术是数字系统设计的关键技术,是近年来国内外研究、开发和应用的热门课题。文章用形式化方法描述了两种流行的高层次设计的软件算法,并进行了实验验证。
High level design is a key technology of today's electronic design, and becomes very popular in electronic design automation(EDA). This paper integrates a formal method with two popular software algorithms in high level synthesis and gives out an experimental result.
出处
《计算机工程》
CAS
CSCD
北大核心
2005年第10期87-88,230,共3页
Computer Engineering
关键词
高层次设计
数据流图
剪枝
High-level design
Data flow graphs
Prune