功能验证在处理器芯片开发流程中所占用的时间超过70%,因此优化提升功能验证环节的效率非常必要.软件仿真等传统验证方法提供了包括断言等多种验证机制,以提升验证的细粒度可见性和自检查能力,但是软件仿真运行速度较慢,在高效性方面有...功能验证在处理器芯片开发流程中所占用的时间超过70%,因此优化提升功能验证环节的效率非常必要.软件仿真等传统验证方法提供了包括断言等多种验证机制,以提升验证的细粒度可见性和自检查能力,但是软件仿真运行速度较慢,在高效性方面有明显不足.基于FPGA的硬件原型验证方法能极大地加速验证性能,但其调试能力较弱,虽能快速发现漏洞,但难以定位漏洞出现的具体位置和根本原因,存在有效性不足难题.为同时解决上述功能验证有效性与高效性的问题,提出一种将不可综合的断言语言SVA(SystemVerilog Assertion)自动转换成逻辑等效但可综合的RTL电路的方法,聚焦于断言这一类对设计进行非全局建模、纵向贯穿各抽象层级的验证方式,对基于全局指令集架构(instruction set architecture,ISA)模型的验证能力进行补足.同时,结合FPGA细粒度并行化、高度可扩展的优势,对处理器的验证过程进行硬件加速,提升了处理器的开发效率.实现了一个端到端的硬件断言平台,集成对SVA进行硬件化的完整工具链,并统计运行在FPGA上的硬件化断言的触发和覆盖率情况.实验表明,和软件仿真相比,所提方法能取得超过2万倍的验证效率提升.展开更多
Ethnic assertions worldwide have assumed different forms ranging from moderate methods of articulation of autonomy to extremist means of violent struggle. Resort to extremism by some sections of an ethnic group usuall...Ethnic assertions worldwide have assumed different forms ranging from moderate methods of articulation of autonomy to extremist means of violent struggle. Resort to extremism by some sections of an ethnic group usually triggers inter-ethnic conflicts with other groups on the one hand and leads to confrontation with the state on the other. This paper seeks to examine the dynamics of this phenomenon in the context of Bodos, the largest plains tribe of Assam, a State of Northeast India. The paper enquires as to whether extremist politics has met the Bodo aspirations for self-determination or has intensified the conflicts and contradictions within the Bodo society with ramifications for other ethnic groups inhabiting the Bodo-dominated areas. It is also necessary to explore the responses of the Union and State governments to Bodo extremist politics for an understanding of the conflict management process.展开更多
John Dryden’s poem Mac Flecknoe satirizes his literary enemy Thomas Shadwell by the aid of the image of Flecknoewhile it reveals some of his literature assertions.This paper tries to expound them from the following t...John Dryden’s poem Mac Flecknoe satirizes his literary enemy Thomas Shadwell by the aid of the image of Flecknoewhile it reveals some of his literature assertions.This paper tries to expound them from the following three perspectives:the attitudes towards Ben Johnson,the proposals for drama language and the selection,and the attitudes towards French classicism forthe purpose of a further understanding about John Dryden.展开更多
目的:探讨社区精神分裂症患者接受主动式社区治疗模式(assertive community treatment,ACT)后临床症状的变化及其相关因素。方法:本研究共纳入200例精神分裂症患者,随机分配为干预组与对照组,开展为期1年的随访干预,使用阳性与阴性症状...目的:探讨社区精神分裂症患者接受主动式社区治疗模式(assertive community treatment,ACT)后临床症状的变化及其相关因素。方法:本研究共纳入200例精神分裂症患者,随机分配为干预组与对照组,开展为期1年的随访干预,使用阳性与阴性症状量表(PANSS)、自尊量表(SES)和精神分裂症患者生活质量量表(SQLS)分别评估其精神症状、社会功能及自我感受。结果:干预前后两组间PANSS总分及分量表评分、SES得分存在时间×组别交互作用,PANSS减分率、PANSS阴性分量表减分率、PANSS一般病理分量表减分率、SES增幅的差异具有统计学意义,SQLS各因子分的变化幅度的组间差异均无统计学意义(P>0.05);干预组PANSS减分率与SES增幅呈正相关(r=0.242,P=0.001);与SQLS量表中的心理社会、动力与精力等因子分减分率呈正相关(r=0.260,P=0.001;r=0.200,P=0.008);Logistic逐步回归分析结果显示,基线SQLS量表症状与副作用因子分是危险因素(OR=1.030,95%CI:1.033~1.058,P<0.05)。结论:主动式社区治疗模式能够有效改善社区患者的精神症状,其疗效与患者自尊体验改善及生活质量密切相关。展开更多
文摘功能验证在处理器芯片开发流程中所占用的时间超过70%,因此优化提升功能验证环节的效率非常必要.软件仿真等传统验证方法提供了包括断言等多种验证机制,以提升验证的细粒度可见性和自检查能力,但是软件仿真运行速度较慢,在高效性方面有明显不足.基于FPGA的硬件原型验证方法能极大地加速验证性能,但其调试能力较弱,虽能快速发现漏洞,但难以定位漏洞出现的具体位置和根本原因,存在有效性不足难题.为同时解决上述功能验证有效性与高效性的问题,提出一种将不可综合的断言语言SVA(SystemVerilog Assertion)自动转换成逻辑等效但可综合的RTL电路的方法,聚焦于断言这一类对设计进行非全局建模、纵向贯穿各抽象层级的验证方式,对基于全局指令集架构(instruction set architecture,ISA)模型的验证能力进行补足.同时,结合FPGA细粒度并行化、高度可扩展的优势,对处理器的验证过程进行硬件加速,提升了处理器的开发效率.实现了一个端到端的硬件断言平台,集成对SVA进行硬件化的完整工具链,并统计运行在FPGA上的硬件化断言的触发和覆盖率情况.实验表明,和软件仿真相比,所提方法能取得超过2万倍的验证效率提升.
文摘Ethnic assertions worldwide have assumed different forms ranging from moderate methods of articulation of autonomy to extremist means of violent struggle. Resort to extremism by some sections of an ethnic group usually triggers inter-ethnic conflicts with other groups on the one hand and leads to confrontation with the state on the other. This paper seeks to examine the dynamics of this phenomenon in the context of Bodos, the largest plains tribe of Assam, a State of Northeast India. The paper enquires as to whether extremist politics has met the Bodo aspirations for self-determination or has intensified the conflicts and contradictions within the Bodo society with ramifications for other ethnic groups inhabiting the Bodo-dominated areas. It is also necessary to explore the responses of the Union and State governments to Bodo extremist politics for an understanding of the conflict management process.
文摘John Dryden’s poem Mac Flecknoe satirizes his literary enemy Thomas Shadwell by the aid of the image of Flecknoewhile it reveals some of his literature assertions.This paper tries to expound them from the following three perspectives:the attitudes towards Ben Johnson,the proposals for drama language and the selection,and the attitudes towards French classicism forthe purpose of a further understanding about John Dryden.
文摘目的:探讨社区精神分裂症患者接受主动式社区治疗模式(assertive community treatment,ACT)后临床症状的变化及其相关因素。方法:本研究共纳入200例精神分裂症患者,随机分配为干预组与对照组,开展为期1年的随访干预,使用阳性与阴性症状量表(PANSS)、自尊量表(SES)和精神分裂症患者生活质量量表(SQLS)分别评估其精神症状、社会功能及自我感受。结果:干预前后两组间PANSS总分及分量表评分、SES得分存在时间×组别交互作用,PANSS减分率、PANSS阴性分量表减分率、PANSS一般病理分量表减分率、SES增幅的差异具有统计学意义,SQLS各因子分的变化幅度的组间差异均无统计学意义(P>0.05);干预组PANSS减分率与SES增幅呈正相关(r=0.242,P=0.001);与SQLS量表中的心理社会、动力与精力等因子分减分率呈正相关(r=0.260,P=0.001;r=0.200,P=0.008);Logistic逐步回归分析结果显示,基线SQLS量表症状与副作用因子分是危险因素(OR=1.030,95%CI:1.033~1.058,P<0.05)。结论:主动式社区治疗模式能够有效改善社区患者的精神症状,其疗效与患者自尊体验改善及生活质量密切相关。
