基于结构的多级逻辑优化

本文分析多级组合逻辑结构中各数据信号取值状态及其与之相关的信号取值状态,构造数据信号取值状态与或图。利用与或图修剪技术寻求相应逻辑结构中冗余逻辑连线。消除多级逻辑结构中冗余的逻辑连线、冗余逻辑门并进行相应的等价逻辑结构变换,实现多级逻辑优化。该优化过程直接在多级逻辑结构上进行并保持了原逻辑结构的总体结构特征,运行时空复杂性对基本输入/输出数目依赖很少,能适应大规模数字逻辑结构优化。     

时序冲突及时序检查

本文介绍一个多相同步时序数字电路的时序模型及时序冲突的检验算法。该方法能检查出时序冲突类型，冲突的具体位置及时钟系统设置的合理性。该算法已在Ｓｕｍ－４／ＳＰＡＲＣ上实现，能快速准确检查出非覆盖多相时钟同时时序电路存在的时序冲突，冲突覆盖率高。     

基于SOPC技术的目标识别系统设计

SOPC系统结合了嵌入式系统与FPGA优点,为高性能数字系统提供了新的实现方法。本文结合识别算法的特点,运用软硬件协同设计技术,设计实现了基于SOPC的目标识别系统。给出了完整的设计流程、设计方法,介绍了SOPC系统设计的关键技术。     

长临界组合通路的重构算法

讨论了组合电路中长临界组合通路的重构变换算法,并证明了该算法的正确性及时地优化的有效性。     

面向CPU芯片的验证技术研究

CPU芯片规模大、复杂度高,在芯片设计的不同阶段进行多层次的验证,保证芯片的正确性非常关键。文章探讨了模拟验证、FPGA仿真、形式验证和静态时序分析等验证方法,提出了一种多级验证体系方法,实现CPU芯片的多层次验证,并成功地验证了自行设计的微处理器的正确性和兼容性。     

突发公共卫生事件下的乡村社区治理与空间管控--基于PPRR模型的案例解析

2020年春节前后新型冠状病毒肺炎疫情突如其来,严重挑战着城乡社区的应对能力(特别是设施相对欠缺的乡村社区),急需重新审视乡村社区治理与空间管控。文章以福建省龙海市N村为例,运用参与式调研和危机生命周期模型的分析方法,梳理疫情影响下的N村空间管控实践,提出了应对突发疫情的空间管控策略--构建"分区分级分类"的乡村社区空间防疫体系,形成"多部门联动"的乡村社区应急组织体系,优化乡村社区人居环境,营造社区健康空间,以期为提升我国乡村社区空间管控能力提供借鉴。     

超大规模集成电路的时钟偏斜及其补偿技术

微处理器急剧增长的性能要求对时钟分布网络设计提出了严峻的挑战,45nm以下的后纳米电路阶段,时钟偏移调整、片内外时钟相位的同步、低功耗时钟分布网络设计是高速时钟分布网络设计面临的关键问题.本文介绍了有关时钟偏斜的背景知识,总结了近年来微处理器时钟偏斜补偿技术的最新进展,并对其可能的发展方向进行了展望.     

JX处理器内嵌PLL中VCO的设计

设计了一种应用于微处理内嵌PLL中的具有新型结构的VCO。具体阐述VCO各组成部分的单元电路和工作过程，进行了模拟。完成版图设计，采用SMIC0．18μm CMOS工艺进行流片加工，对实际芯片进行测试．得出结论：在电源电压为1．8V下，当噪声峰值大于10mV时，其平均抖动约为12p8。     

基于标准单元库的工艺映射

本文提出基于标准单元实现的工艺映射技术，映射过程采用子逻辑结构变换及逻辑函数匹配加以实现，很好地兼顾了电路设计对延迟时间及芯片面积的要求。该过程在Ｓｕｎ－４／ＳＰＡＲＣ上用Ｃ语言实现，具有很好的时、空复杂性，能处理超大规模（５０００门以上）数字同步时序电路的映射过程，对纯组合逻辑电路的映射结果较好。     

基于标准单元库的多级函数分解

本文提出在ASIC综合技术中基于标准单元库的多级逻辑函数分解技术。分解过程利用单元库函数真值矩阵及各分解部分用标准单元实现的难易程度、逻辑级数来评价、引导分解得到的多级逻辑易于用标准单元组合实现。使用的标准单元类型具有较大程度的相似性,有利于基于标准单元布局布线软件进一步减少芯片面积。