摘要：提出了一种组合电路设计错误诊断算法,该算法结合传统基于模拟的方法和可满足性问题求解技术,在不依赖于故障模型的条件下实现对电路逻辑错误的诊断定位.提出了基于布尔可满足性的增量式电路诊断方法,通过对可满足解依据电路结构信息筛选分级,提高了多错误诊断定位的分辨率和准确性;并提出多项启发式方法,避免了大量不必要的操作,使算法在时间和内存上保持有效性.实验结果表明,利用形式验证的技术来导向模拟的过程,抓住了高复杂度的多错误定位问题的特征,提高了电路错误诊断的效率.

摘要：提出采用一种规范化的香农小波(distributed approximation function,SGWD)逼近算法建立模拟电路单元模块的行为级模型.为降低逼近的边界误差,同时提出了周期性展开和偶对称映射2种预处理算法.周期性展开算法需要对电路模块的原始I/O函数做一定变形,构造出周期函数后再进行逼近;偶对称映射算法则是将I/O函数在边界点处进行偶对称翻转,然后采用SGWD逼近算法建模.与传统的建模方法,如多项式逼近等算法相比,该方法结合了边界误差降低技术的SGWD逼近算法具有更低的计算复杂度,并能达到更高的建模精度.

摘要：模拟电路布线通常采用无网格的布线模式 ,这就存在如何在整个布线平面中确定连线间的 contact和 via的位置的问题 .文中提出了一种在任意曼哈顿多边形中求最大内接矩形的算法 ,该算法通过准确、快速地搜索出放置 contact和 via的空间 ,以提高整个布线的效果并降低布线过程在时间上的消耗 .

摘要：改进了一种组合电路设计错误诊断DED(Design Error Diagnosis)算法。它使用多可满足性问题(SAT)求解技术,通过对布尔可满足解计数来实现对多个逻辑错误的诊断定位。改进了电路诊断架构,新架构的合取范式表述所使用的变量和子句数目大为减少;通过多种启发式方法,避免了不必要的操作,使算法在时间和内存上保持有效性。

摘要：提出了一种处理器片上调试系统。使用科学的设计方法学完成了硬件与软件部分的设计,采用优化策略改进了硬件部分,得到了测试覆盖率高、稳定性较高、实时性较好的可调试SOC。软件部分通过层次化设计,连接硬件和UI,具有一定的价值。

摘要：本文论述了基于扩频通讯技术的低压电力线载波通讯系统的算法设计、硬件实现和验证结果。作为低压电力线载波扩频通讯芯片的FPGA验证系统,本系统重点研究了如何用成熟的MCU技术和较少的硬件资源将复杂的扩频通讯技术应用于恶劣的低压电力线通讯环境中,以获得高可靠性的长距离数据通讯。本文论述的系统已经通过现场验证,收到了良好的效果。

摘要：研究了应用双边C-V法测量超浅结(如p+-n结)的掺杂分布。推导了在已知p+-n结的电容-电压(C-VR)关系、n区掺杂、以及热平衡下n区耗尽层宽度(xn0)的情况下计算p区掺杂浓度分布的公式。xn0是计算p区掺杂分布所需的一个关键参数,通过将n区掺杂设计成阶梯状,可实现对xn0的精确提取。用Medici对具有相同的阶梯状掺杂n区的p+-n和n-肖特基结进行器件仿真可得其C-VR关系。运用常规C-V法,由肖特基结的C-VR关系可提取出n区掺杂浓度。实现了对xn0的精确提取,其精度达1.8nm。基于精确的xn0,运用双边C-V法提取的p+区的掺杂浓度分布与Medici仿真结果非常吻合。