摘要：基于断言SVA的验证是一种有价值的主流验证技术。断言特别适合于描述时序特性和因果特性。作为Sys-tem Verilog的重要组成部分,SVA提供了丰富的断言指令,能有效地提高验证测试工作的质量和效率。在此,首先介绍断言验证语言SVA,通过与Verilog验证对比,说明SVA在时序特性和因果特性验证上的优势,证明基于断言的验证是SoC设计验证的一种有效方法,能够有效地提高验证效率。

摘要：介绍了嵌入式微处理器IP硬核及SoC的物理设计方法和流程。针对SoC的复杂系统结构与有限物理实现面积之间的矛盾,通过采用改变Cache存储器类型、减少IP核引脚数量、IP核双边摆放引脚、区分高低频时钟、优化电源网络以及SoC顶层采用四层引出Pad等措施,对减小物理实现面积,优化时序特性的方法进行了一些探索。SoC电路经测试,其结果表明,SoC电路内嵌的微处理器在常温(25℃)常压(1.2V)条件下最高工作频率可以达到500MHz,功能正确,功耗小于2.0m W/MHz。这些措施对IP硬核的实现、SoC设计及基于标准单元库和可复用IP核的超大规模集成电路设计,具有一定的指导意义。

摘要：介绍了BL0955芯片的结构、管脚功能、时序特性、工作模式和系统增益的选择,设计出了基于BL0955芯片的单相电子式电度表的电路图,并分析了其工作过程.

摘要：本文介绍了SED1335液晶控制器的硬件结构,SED1335与MCS51单片机的接口,并给出了接口时序特性和软件设计思路。

摘要：结合人工神经网络(Artificial Neural Network,ANN)和有限状态机(Finite State Machine,FSM),对变电站告警信息进行处理。首先构建ANN权矩阵模型和学习算法,通过对历史数据库的学习获取各种事故和异常状态的逻辑推理和知识表达;进一步地,设计FSM模型实现信号的排查和告警过程记录;最后形成告警原因分析和结果处理的综合分析结果。通过实际电网案例对所提算法进行验证,结果证明该方法对于电力系统通用故障告警判断具有快速、容错和学习能力强等特点,对应用于大规模电力系统的在线故障诊断问题的解决具有重要意义。