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

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

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

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

时序冲突及时序检查

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

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

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

基于结构的多级逻辑优化

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

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

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

IC设计数据的语义数据模型

IC设计数据管理是研制一体化IC-CAD系统的重要内容。本文提出了一个适于CAD设计数据管理的语义数据模型及在此模型下IC设计数据的具体表示及管理。语义数据模型提供了表达设计实体及其相互依赖关系的一体化方法。基于此模型的设计数据管理软件已在Unix Sun3工作站上构成,并成功地应用于组合电路逻辑综合系统中。语义数据模型能提高CAD系统的可扩充性,并可很好地支持系统的模块化结构。     

CPU验证平台的研究与实现

针对CPU设计的特点,建立完善的验证平台对CPU的验证至关重要。介绍了CPU验证平台一般形式和特点,提出了面向高性能CPU功能验证的全芯片验证平台的结构和构造方法,阐述了基于硬件加速器的CPU验证平台的实现。该验证平台已成功验证了自主设计的CPU的正确性和兼容性。     

欲望搬迁原理下惠安城区生活空间质量评价

以滨海小城市惠安城区为例,从城市社会空间结构和城市生活空间结构的相关理念着手,分析出城市生活空间质量不断受到关注和欲望搬迁原理评价生活空间质量的人本真实性;阐述了案例区的基本概况、社区发展过程并对社区进行划分;基于欲望搬迁原理对其城市内部居住生活空间质量进行人本综合评价与分析,将惠安城区的居住生活空间质量分成4个等级。     

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

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