高级综合中VHDL描述向Petri网转换方法的研究

提出一种基于执行路径的Petri网生成算法 ,该算法提取VHDL源描述中的功能和时序信息 ,生成与源描述完全等价的Petri网结构 算法采用条件树结构保存条件 ,语句执行条件和Petri网迁移条件都依据条件树生成 生成的Petri网能够准确地保存源描述中的I/O时序信息 ,形成调度过程中I/O操作处理的基础 从该结构出发 。

Petri网与CDFG相结合的调度模型及其调度技术的研究

论文提出一种Petri网与控制数据流图(CDFG)结构相结合的调度模型,以及基于该模型的调度技术。Petri网表示VHDL源描述中的I/O时序信息,Petri网同一个位置结点中的信号赋值都是在同一个时刻进行的。根据每个位置结点中的语句再生成各自的CDFG。CDFG中条件的计算显式地表示在数据流部分,便于操作的调度。该CDFG结构上前驱操作和后继操作的判断不但与数据依赖相关,还与操作的条件相关。调度过程中既要考虑直接的数据依赖关系,还要考虑与条件相关的间接依赖关系。传统的调度算法需要经过修改才能应用到该模型上。

从Verilog到VHDL的翻译器VtoV的设计与实现

研究硬件描述语言 Verilog和 VHDL共有的语言特性 ,研制 SUN SPARC2工作站环境下的翻译系统 .在 SUN SPARC2工作站平台上使用 C++提取出了一组通用的硬件数据结构 ,可以进行代码重用 .在 SUN SPARC2工作站上设计和实现了一个从硬件描述语言 Verilog到 VHDL的翻译器 Vto V.该翻译器能够实现从 Verilog的行为子集到VHDL的转换 .

高级综合前的检查和转化

Talent2000中VHDL文件的编译中间结果用于综合和模拟,VHDL是面向模拟的语言,并不是所有的VHDL语句都可以综合,在一个实用化高级综合系统中,除了根据可综合子集检查VHDL源描述之外,还要求可综合VHDL描述具有一定的风格。在进行高级综合前,必须对VHDL文件编译的中间结果进行处理,包括语句可综合性检查、VHDL描述的可综合性风格检查、循环语句展开和子程序内联。该文给出了要求VHDL描述具有可综合性风格的原因,实现了面向高级综合的检查、循环语句的展开和子程序内联。

I/O通讯中时序和同步的高级综合

研究VHDL中表示时序和约束的方法和综合前后模拟一致性在不同设计中的含义.根据这一含义,说明并实现了VHDL中循环语句的综合方法、条件语句和分支语句的综合方法,并实现了与循环有关的其它语句的综合.通过典型的例子给出程序的运行结果,说明实现的方法具有正确性和实用性.

高级综合中循环的综合方法研究

循环语句是高级综合中非常重要的语法现象[1] 。不同的循环语句 (无限循环语句 ,有限循环语句和条件循环语句 )应用于不同的场合 ,对不同循环语句的综合方法也不同。从VHDL语言的循环语句入手 ,研究了高级综合中循环的综合方法 ,说明了VHDL语言中应用到循环的各种情况和它们的综合方法 ,同时阐明了循环体中的exit语句和next语句的综合方法。

集成电路/计算机硬件描述语言标准Verilog的标准化工作

1前言Ｖｅｒｉｌｏｇ是一种硬件描述语言,从诞生起就与生产实际紧密结合在一起,具有结构清晰、文法简明、功能强大、高速模拟和多库支持等优点,并获得许多工具的支持,深受用户的喜爱。Ｖｅｒｉｌｏｇ实际上是ＩＣ行业标准,特别是在1995年12月被ＩＥＥＥ接纳为正式标准后,...

扩展型资源共享方案在RTL综合中的实现

针对现有寄存器传输级(register transfer level,RTL)综合中资源共享仅针对算术逻辑单元(arithmetic logic unit,ALU)的问题,提出扩展型资源共享的方法.该方法对所有逻辑门进行共享,既可优化ALU,又可优化普通逻辑单元,突破了资源共享基于多路选择器(multiplexer,MUX)的限制,实现算术优化及逻辑优化.实验结果与开源工具ABC比较,LUT数减少了19.2%,表明该方法不仅可减少算术逻辑单元的数目,也可有效减少普通逻辑资源的数目,最终实现面积优化.

优先级资源共享在RTL综合中的实现

针对现场可编程门阵列内部复杂算术操作资源有限、资源占用面积较大以及RTL级(寄存器传输级)综合中面积优化大多仅针对一般逻辑操作的问题,提出了一种优先级资源共享方法.该方法通过改进普通的资源共享方法,使不同时刻进行的算术逻辑单元(ALU)按照相同输出、相同输入、无共同端口的优先级顺序依次进行共享.实验结果表明:该方法不仅可以减小ALU的个数,达到面积优化的效果,而且和普通的资源共享方法相比,其所需多路选择器更少,时序结果更好,还能避免数据流冲突.

郎溪县检察院：服务新常态 访民情察民意

近年来,郎溪县检察院深入开展查办发生在群众身边,损害群众利益的职务犯罪专项行动、破坏环境资源和危害食品药品安全犯罪专项立案监督活动。该院查处农村基层组织人员职务犯罪案件12件16人,办理环境污染案件2件6人、销售假药案件2件2人;及时跟踪监督重点项目进度和重大资金使用安全,组织开展全县涉农资金领域预防职务犯罪专项行动,

指导性裁判案例的生成

生成具有指导性的案例,关键是要生成具有指导性的裁判摘要或指导要旨,这需要满足外在和内在两个条件:一是案例素材的选取;二是司法人员释法或适用法律能力的提高。

试析司法不公的评价标准

明确司法不公的内涵,廓清司法不公的客观评价标准,对于促进公正廉洁执法,确立司法权威和树立司法公信力具有重要意义。

论司法责任制视域下检察机关内设业务机构的监督功能

应当将检察机关内设机构解构为职务职位(检察官)系统和内设业务机构系统二元组织结构体系,并在此框架下解读司法责任制下检察官办案独立性与内设业务机构业务监管功能之间的关系。司法责任制实行以来,检察监督主要业务案件数呈整体下降态势,内设业务机构监管功能弱化是重要原因之一。为强化检察机关法律监督功能,有必要在放权检察官的同时,明确授权内设业务机构对检察监督类案件的审核监督功能,突出对授权检察官办理的检察监督案件以及对由检察官承办、检察长(检察委员会)决定的重大监督办案事项和部分诉讼监督案件的监管。鉴于监督权力行使的行政性,对于检察监督办案责任,宜由检察官、内设业务机构、检察长在各自职权范围内承担。

试析审查逮捕环节排除非法证据的程序构建

非法证据是影响审查逮捕质量的重要因素之一,在审查逮捕环节必须要排除据以定案的非法证据,切实提高审查逮捕质量。但是,审查逮捕环节书面审查的局限性、讯(询)问取得的言词证据片面性以及缺乏排除非法证据的程序保障,使得这一环节排除非法证据带有主观性,存在一定风险,为此在审查逮捕环节就应当充分发挥法律监督职能,设置启动排除非法证据的程序,保障各方权利得到充分行使,有效排除非法证据,尽可能地将据以定罪的非法证据排除在庭审之外,以减少非法证据排除成本,节约司法资源,提高司法效益,及时保障人权。

公诉环节犯罪嫌疑人防御性权利构建

完善犯罪嫌疑人、被告人的诉权是保障其人权得以实现的重要手段。根据权利的性质和作用可以分为防御性权利和救济性权利,防御性权利是指犯罪嫌疑人对控方追诉进行抗衡所享有的一切权利。在检察公诉环节,应确保犯罪嫌疑人防御性权利的实现。一、"不强迫自证其罪"原则及其实现联合国《公民权利和政治权利国际公约》第14条规定了刑事案件中被指控的人"

安徽省郎溪县人民检察院 工作创新开展 理论调研先行

近年来，郎溪县人民检察院先后荣获全国检察机关司法警察编队管理示范单位、安徽省检察机关先进集体、安徽省文明接待室、安徽省“青年文明号”、安徽省政法系统先进党组织等荣誉称号，之所以能在短期内快速发展，关键在于该院将理论调研作为谋事之基、成事之道，为各项检察工作创新开展提供了强有力的理论、智力、人才及机制支撑。