刁岚松
- 作品数：6 被引量：8H指数：2
- 供职机构：北京理工大学信息科学技术学院计算机科学工程系更多>>
- 发文基金：国防科技技术预先研究基金国家部委预研基金更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 高级综合前的检查和转化被引量：1
- 2003年
- Talent2000中VHDL文件的编译中间结果用于综合和模拟,VHDL是面向模拟的语言,并不是所有的VHDL语句都可以综合,在一个实用化高级综合系统中,除了根据可综合子集检查VHDL源描述之外,还要求可综合VHDL描述具有一定的风格。在进行高级综合前,必须对VHDL文件编译的中间结果进行处理,包括语句可综合性检查、VHDL描述的可综合性风格检查、循环语句展开和子程序内联。该文给出了要求VHDL描述具有可综合性风格的原因,实现了面向高级综合的检查、循环语句的展开和子程序内联。
- 孟晗刁岚松杨凯
- 关键词：VHDL
- 从Verilog到VHDL的翻译器VtoV的设计与实现被引量：3
- 2001年
- 研究硬件描述语言 Verilog和 VHDL共有的语言特性 ,研制 SUN SPARC2工作站环境下的翻译系统 .在 SUN SPARC2工作站平台上使用 C++提取出了一组通用的硬件数据结构 ,可以进行代码重用 .在 SUN SPARC2工作站上设计和实现了一个从硬件描述语言 Verilog到 VHDL的翻译器 Vto V.该翻译器能够实现从 Verilog的行为子集到VHDL的转换 .
- 蒋敬旗刁岚松刘明业
- 关键词：硬件描述语言VERILOGVHDL翻译器
- 高级综合中循环的综合方法研究
- 2002年
- 循环语句是高级综合中非常重要的语法现象[1] 。不同的循环语句 (无限循环语句 ,有限循环语句和条件循环语句 )应用于不同的场合 ,对不同循环语句的综合方法也不同。从VHDL语言的循环语句入手 ,研究了高级综合中循环的综合方法 ,说明了VHDL语言中应用到循环的各种情况和它们的综合方法 ,同时阐明了循环体中的exit语句和next语句的综合方法。
- 孟晗刁岚松杨凯刘明业
- 关键词：VHDL循环语句语法调度硬件描述语言模拟电路
- Petri网与CDFG相结合的调度模型及其调度技术的研究
- 2003年
- 论文提出一种Petri网与控制数据流图(CDFG)结构相结合的调度模型,以及基于该模型的调度技术。Petri网表示VHDL源描述中的I/O时序信息,Petri网同一个位置结点中的信号赋值都是在同一个时刻进行的。根据每个位置结点中的语句再生成各自的CDFG。CDFG中条件的计算显式地表示在数据流部分,便于操作的调度。该CDFG结构上前驱操作和后继操作的判断不但与数据依赖相关,还与操作的条件相关。调度过程中既要考虑直接的数据依赖关系,还要考虑与条件相关的间接依赖关系。传统的调度算法需要经过修改才能应用到该模型上。
- 刁岚松孟晗刘明业
- 关键词：VHDLPETRI网CDFG调度
- I/O通讯中时序和同步的高级综合
- 2004年
- 研究VHDL中表示时序和约束的方法和综合前后模拟一致性在不同设计中的含义.根据这一含义,说明并实现了VHDL中循环语句的综合方法、条件语句和分支语句的综合方法,并实现了与循环有关的其它语句的综合.通过典型的例子给出程序的运行结果,说明实现的方法具有正确性和实用性.
- 孟晗刁岚松刘明业
- 关键词：VHDL循环语句
- 高级综合中VHDL描述向Petri网转换方法的研究被引量：4
- 2003年
- 提出一种基于执行路径的Petri网生成算法 ,该算法提取VHDL源描述中的功能和时序信息 ,生成与源描述完全等价的Petri网结构 算法采用条件树结构保存条件 ,语句执行条件和Petri网迁移条件都依据条件树生成 生成的Petri网能够准确地保存源描述中的I/O时序信息 ,形成调度过程中I/O操作处理的基础 从该结构出发 。
- 刁岚松孟晗刘明业杨凯
- 关键词：专用集成电路VHDLPETRI网
