应用SystemC的AMBA总线系统级模型的设计与实现

对SystemC进行系统级通信结构建模的语言元素进行了深入的研究,并以一个基于AMBA总线的典型SoC为例进行了通信结构的建模.从设计的顶层开始,应用SystemC语言提供的建模能力,采用通信结构细化方法对系统级总线模块进行了细化,针对设计流程中需要将系统级模型转换为可综合的RTL级模型的问题,给出了将系统级总线通信模块转换为SystemCRTL模型的解决方法.由此,建立了完整的应用SystemC的系统级通信结构的建模方法.     

面向SoC的系统级设计语言

目前集成电路的设计已经进入SoC时代，介绍了SoC设计所用的系统级设计语言的发展情况，以及典型的系统级设计语言在不同设计层次上的描述能力；并介绍了几种典型的系统级设计语言，给出了这些语言之间的特点对比，最后阐述了对系统级设计语言的看法，展望了其发展前景。     

面向航天嵌入式电子系统的测试语言研究

测试语言主要分2类:面向仪器的测试语言和面向信号的测试语言。通过分析2种测试语言的优缺点,结合我国航天嵌入式电子系统测试系统的特点,提出一种基于虚拟仪器的面向航天嵌入式电子系统的测试语言,该语言主要借鉴ATLAS的关键语句,将其解释为测试框架配置文件和测试文档;同时还描述该测试语言的程序格式和执行机制。     

面向SoC的系统级设计语言

目前集成电路的设计已经进入SoC时代,介绍了SoC设计所用的系统级设计语言的发展情况,以及典型的系统级设计语言在不同设计层次上的描述能力;并介绍了几种典型的系统级设计语言,给出了这些语言之间的特点对比,最后阐述了对系统级设计语言的看法,展望了其发展前景。     

宁夏南部山区新型城镇化与生态环境响应关系研究——以固原市为例

以宁夏南部山区的固原市为研究对象,通过构建新型城镇化综合发展指标体系和生态环境综合发展指标体系,运用主成分分析法和响应度模型等方法,对该地区新型城镇化综合水平与生态环境综合质量进行测度,探讨两者之间的动态关系。结果表明,2010—2017年固原市新型城镇化综合发展指数和以人为本指数逐年上升,但城乡统筹、集约高效及生态宜居指数上升不明显;生态环境综合发展指数波动上升,压力指数呈非对称倒"U"型曲线,状态指数呈缓"S"型曲线,响应指数呈先缓慢下降后急剧上升的"S"型曲线;新型城镇化对生态环境质量和状态具有正向促进效应,对生态环境压力和响应呈负向效应。