逐次逼近ADC无源器件的匹配性与高层次模型

对逐次逼近A/D转换器的无源器件匹配性进行了研究.基于理论分析,明确了电荷再分配结构、电压等比例缩放结构以及混合结构等几种典型逐次逼近A/D转换器对无源器件网络匹配性的具体要求,并利用Matlab工具,通过建立逐次逼近A/D转换器无源器件匹配性高层次模型对理论分析结果进行了验证.在此基础上提出了一种基于单位电容缩放的新型电荷再分配结构,在不提高无源器件匹配性要求的前提下,利用单位电容取代原有缩放电容并增加一定的时序控制,有效地解决了传统电容缩放结构中缩放电容工艺实现困难以及对寄生电容敏感的问题,适合片上系统的嵌入式应用.

双环控制单周期PFC转换器高层次模型及电路

为简化设计过程,提高电源效率,采用Simulink拓扑结构和线性化方法,基于双环动态转移控制函数,建立了单周期、临界控制模式升压型功率因数校正转换器的高层次模型.电压环路提供低频稳定性以获得低的总谐波失真,电流环路改善高频动态特性.根据系统模型,采用Sinomos 1.0μm 40 VCMOS工艺完成了功率因数校正的电路设计和验证.测试结果表明,在VDD为15 V,VINV为2 V,VZCD为2 V的条件下,功率校正因数可达到0.988,总谐波失真为3.8%,稳定工作时电流仅为2.43 mA.双环控制系统能够有效地实现单周期控制,提高系统的稳定性和动态响应速度,体现了高性能电源管理芯片的特点.

PWM降压型DC/DC转换器的高层次模型

基于Simulink采用状态矢量加权线性化方法建立了3A/150kHz降压型电流控制PWM开关稳压电源的高层次模型,并根据系统模型,利用Hspice仿真工具,采用Sim-BCD2μm/36V双极工艺对模型进行了设计验证,在12V输入、5.0V2.0A输出条件下的测试结果表明,转换效率达90%以上,输出电压误差可控制在±4%之内。

高层次思辨能力层级模型指导下的英语专业微课制作

微课以其"短小精悍、使用方便"的特点受到了普遍欢迎,但是在微课制作中出现的问题也不容忽视。在高层次思辨能力层级模型的基础上,针对思辨认知能力的三个核心技能,在微课的各个组成部分中设计启发式问题,将思辨理念融入微课制作之中,并运用问卷调查、课堂观察和访谈等方法,对学生的思辨能力进行实证研究。研究表明:融入思辨理念的微课教学,有助于提升学生的思辨能力。

基于高层次故障模型的片上网络交换机的诊断策略

该文提出了一种基于高层次故障模型的片上网络交换机的诊断策略.该文采用了XY和YX相结合的路由算法以覆盖网格装片上网络的每一个交换机.在高层次故障模型的基础上,通过建立和匹配故障字典可准确定位出发生故障的交换机位置.实验结果表明该诊断方法在仅需要很少硬件成本你的条件下可达到很高的故障覆盖率.

面向总线系统的高层次结构化激励生成算法

为了应对大规模设计中逻辑信号级输入激励空间爆炸的问题,针对总线系统提出了一种高层次结构化激励生成算法和相应的功能覆盖率模型.首先将总线系统抽象成通用有向二分图模型,然后建立相应激励的高层次数学模型,由此提出一种通用的层次化输入激励空间等价类划分算法和对应的高层次功能覆盖率模型,最后基于树的搜索提出了2种结构化激励生成算法.上述方案成功应用于IME-Diamond SoC的总线系统的功能验证中,实际结果表明,相比代码覆盖率,高层次功能覆盖率模型的揭示功能Bug能力更强,而且相对于传统的随机生成,结构化的激励生成能够将覆盖率收敛所需的激励数减少96%.

基于错误模型的一类静态验证方法研究

该文对使用模型匹配方法实现代码静态验证的整个过程做详细的介绍,其中包括:错误模型的建立,代码词法及语法分析,在定义使用链中进行错误点查找与定位等.还提出了在开发静态验证工具软件过程中遇到的诸多具体问题的解决方法.整个过程开发借助GNU提供的标准编译器生成工具lex和yacc以及vc++语言.

Cache一致性验证的结构化激励生成算法

为解决Cache一致性验证中传统随机激励方法的冗余覆盖及覆盖死角等问题,提出了一种高层次结构化激励生成算法和相应的高层次功能覆盖率模型.首先根据实际多核应用场景将冲突访存操作分类成基本同步和复杂同步,并进一步抽象成有向二分图模型,由此提出一种通用的层次化输入空间等价类划分算法和对应的高层次HSPC(Host Slave Pair Coverage)功能覆盖率模型,最后基于树的搜索提出了结构化激励生成算法.上述方案成功应用于IME-Diamond SoC的Cache一致性的功能验证中,实际结果表明,相比传统基于代码的覆盖率,高层次HSPC功能覆盖率模型的揭示功能Bug能力更强,而且相对于传统的随机生成,结构化的激励能够将覆盖率收敛所需的激励数减少96.3%.