随着片上系统(System on Chip,SoC)芯片规模与功能复杂度的膨胀,硬件加速器已成为大规模SoC的重要组成部分。为了缩短产品交付时间,有必要开发硬件加速器仿真模型,以在SoC设计初期支撑架构的探索与评估。在对硬件加速器的特点与建模需...随着片上系统(System on Chip,SoC)芯片规模与功能复杂度的膨胀,硬件加速器已成为大规模SoC的重要组成部分。为了缩短产品交付时间,有必要开发硬件加速器仿真模型,以在SoC设计初期支撑架构的探索与评估。在对硬件加速器的特点与建模需求进行分析的基础上,提出一种基于AXI验证IP(Verification IP,VIP)、SystemVerilog信箱和旗语的硬件加速器建模方法。该方法支持完备的总线协议特性,同时支持多个处理引擎的并行处理与乱序输出。以实际SoC项目中的通信基带加速器为例,对提出的建模方法进行介绍,并进行相应的系统级仿真与分析。所提出的建模方法可实现对硬件加速器总线行为的高效建模,能够有力支撑SoC验证以及系统架构评估,缩短项目的开发周期。展开更多
随着片上系统(System on Chip,SoC)复杂度和集成度的提高,其对验证效率的要求也不断提高。传统的瀑布形式的系统设计流程中,各个开发子过程顺序执行。为了将功能模块开发与系统架构验证并行开展以缩短项目的交付时间,提出了一种利用通...随着片上系统(System on Chip,SoC)复杂度和集成度的提高,其对验证效率的要求也不断提高。传统的瀑布形式的系统设计流程中,各个开发子过程顺序执行。为了将功能模块开发与系统架构验证并行开展以缩短项目的交付时间,提出了一种利用通用验证方法学(Universal Verification Methodology,UVM)验证IP(Verification IP,VIP)进行SoC外设组件快速建模的方法。使用事务级建模(Transaction-Level Modeling,TLM)模型模拟硬件行为代替未开发完成的功能模块产生数据流,使得在设计早期系统架构搭建完成后能更早地开展系统级测试,帮助评估总线架构性能和功能,提高验证效率。以网络处理器芯片中的数据转发模块为例,对SoC外设组件的建模方法进行了介绍,在系统级测试中进行了仿真验证。展开更多
目的:观察血管活性肠肽(vasoactive intestinal peptide,VIP)对便秘大鼠肠道水液代谢、环磷酸腺苷-蛋白激酶A信号通路(cyclic AMP protein kinase A signaling pathway,c AMP-PKA)和水通道蛋白3(water channel protein 3,AQP3)的影响,探...目的:观察血管活性肠肽(vasoactive intestinal peptide,VIP)对便秘大鼠肠道水液代谢、环磷酸腺苷-蛋白激酶A信号通路(cyclic AMP protein kinase A signaling pathway,c AMP-PKA)和水通道蛋白3(water channel protein 3,AQP3)的影响,探讨VIP治疗便秘的作用及机制。方法:45只健康成年Sprague-Dawley大鼠随机分为空白对照组、模型组、模型+VIP组。给药4周后,墨汁灌胃法检测大鼠首粒黑便排出时间;根据大鼠粪便干湿重计算粪便含水率;HE染色观察各组大鼠结肠组织形态学变化;Western印迹检测各组大鼠结肠组织中VIP和AQP3蛋白表达水平;定量即时聚合酶链锁反应(quantitative real time polymerase chain reaction,q PCR)检测各组大鼠结肠组织中c AMP,PKA和AQP3 m RNA的表达水平。结果:与空白对照组比较,模型组大鼠首粒黑便出现时间延长,粪便含水率明显减少(均P<0.01);结肠黏膜上皮部分破坏,杯状细胞体积减小,数量明显减少;结肠组织中VIP和AQP3蛋白含量明显减少,AQP3,c AMP和PKA m RNA相对表达水平均有所降低(均P<0.05)。与模型组比较,模型+VIP组大鼠首粒黑便出现时间缩短,粪便含水率明显增加(均P<0.05);结肠黏膜上皮完整性明显改善,杯状细胞体积增大,数量增多;结肠组织中VIP和AQP3蛋白含量增多,CAMP,PKA和AQP3 m RNA相对表达水平升高(均P<0.05)。结论:VIP静脉注射能够调节肠道水液代谢,改善大鼠便秘症状,其机制可能与调节VIP-c AMP-PKA-AQP3信号通路有关。展开更多
文摘随着片上系统(System on Chip,SoC)芯片规模与功能复杂度的膨胀,硬件加速器已成为大规模SoC的重要组成部分。为了缩短产品交付时间,有必要开发硬件加速器仿真模型,以在SoC设计初期支撑架构的探索与评估。在对硬件加速器的特点与建模需求进行分析的基础上,提出一种基于AXI验证IP(Verification IP,VIP)、SystemVerilog信箱和旗语的硬件加速器建模方法。该方法支持完备的总线协议特性,同时支持多个处理引擎的并行处理与乱序输出。以实际SoC项目中的通信基带加速器为例,对提出的建模方法进行介绍,并进行相应的系统级仿真与分析。所提出的建模方法可实现对硬件加速器总线行为的高效建模,能够有力支撑SoC验证以及系统架构评估,缩短项目的开发周期。
文摘目的:观察血管活性肠肽(vasoactive intestinal peptide,VIP)对便秘大鼠肠道水液代谢、环磷酸腺苷-蛋白激酶A信号通路(cyclic AMP protein kinase A signaling pathway,c AMP-PKA)和水通道蛋白3(water channel protein 3,AQP3)的影响,探讨VIP治疗便秘的作用及机制。方法:45只健康成年Sprague-Dawley大鼠随机分为空白对照组、模型组、模型+VIP组。给药4周后,墨汁灌胃法检测大鼠首粒黑便排出时间;根据大鼠粪便干湿重计算粪便含水率;HE染色观察各组大鼠结肠组织形态学变化;Western印迹检测各组大鼠结肠组织中VIP和AQP3蛋白表达水平;定量即时聚合酶链锁反应(quantitative real time polymerase chain reaction,q PCR)检测各组大鼠结肠组织中c AMP,PKA和AQP3 m RNA的表达水平。结果:与空白对照组比较,模型组大鼠首粒黑便出现时间延长,粪便含水率明显减少(均P<0.01);结肠黏膜上皮部分破坏,杯状细胞体积减小,数量明显减少;结肠组织中VIP和AQP3蛋白含量明显减少,AQP3,c AMP和PKA m RNA相对表达水平均有所降低(均P<0.05)。与模型组比较,模型+VIP组大鼠首粒黑便出现时间缩短,粪便含水率明显增加(均P<0.05);结肠黏膜上皮完整性明显改善,杯状细胞体积增大,数量增多;结肠组织中VIP和AQP3蛋白含量增多,CAMP,PKA和AQP3 m RNA相对表达水平升高(均P<0.05)。结论:VIP静脉注射能够调节肠道水液代谢,改善大鼠便秘症状,其机制可能与调节VIP-c AMP-PKA-AQP3信号通路有关。