123,123

使用Cadence AI技术加速验证效率提升[EDA与制造][消费电子]

随着硬件设计规模和复杂程度的不断增加，验证收敛的挑战难度不断增大，单纯依靠增加 CPU 核数量并行测试的方法治标不治本。如何在投片前做到验证关键指标收敛，是验证工程师面对的难题。为解决这一难题，提出了采用人工智能驱动的验证EDA工具和生成式大模型两种提效方案，其中EDA工具有Cadence利用人工智能驱动的Verisium apps和采用机器学习技术Xcelium ML，前者用来提升验证故障定位效率，包括Verisium AutoTriage、Verisium SemanticDiff、Verisium WaveMiner等，后者可用来提升验证覆盖率收敛效率。生成式大模型可辅助智能debug和自动生成验证用例，主要介绍各实现方案，并给出了项目实验提升结果。

發(fā)表于：2024/9/4 下午1:52:25

Virtuoso iQuantus Insight及Quantus Insight流程在FINFET先进工艺项目中加速后仿迭代的应用[模拟设计][工业自动化]

随着工艺演进，尺寸进一步缩小带来了更多寄生通路和更大的寄生电阻，后仿结果和前仿相去甚远。如何快速缩小前后仿之间的差距成为重要课题。传统设计中只能通过Quantus Extracted View相对直观地对寄生进行分析，无法更详细地进行分析，这成为设计者们面临的艰巨挑战。同时，后仿发现问题，只能通过“修改电路-版图迭代-再次后仿”反复优化，迭代周期长，如何降低时间成本成为各公司关注的重点。Virtuoso iQuantus Insight （ViQI）/Quantus Insight （QI）可基于寄生网表文件进行寄生分析及结果可视化。工程师可借此对寄生进行准确的分析及假设，无需版图迭代，即可进行设计优化。讨论了如何通过ViQI/QI工具在FINFET先进工艺项目中实现快速的后仿迭代，大幅提高工作效率。

發(fā)表于：2024/9/4 下午1:41:00

基于Cerebrus的Genus+Innovus流程的功耗面积优化[模拟设计][消费电子]

对于性能功耗面积（PPA）的追求已成为IC芯片设计的共识，尤其是发展到先进工艺节点，PPA已成为IC设计综合性能的重要指标，尤其是对于大型SoC芯片中clone很多次的模块，对于PPA的追求变得更加极致。介绍了基于Cadence公司的Genus工具和Cerebrus 工具，通过综合阶段与后端PR各个阶段的优化，共同提升PPA的优化方案。最终结果显示，在时序及DRC基本收敛的情况下，使用Cerebrus工具相比Innovus可以使功耗降低3.5%，面积降低3.1%，使用Genus+Innovus流程可以使功耗降低6.4%，面积降低8.5%，极大地降低了芯片的面积及功耗。

發(fā)表于：2024/9/4 下午1:31:51

Conformal ECO寄存器新增的扫描链自动化接入方案[模拟设计][工业自动化]

随着芯片规模的增加，ECO的需求和大小也随之增加，其中当新增寄存器数量达到百位量级时，人工接入扫描链难度也将急剧上升。基于Cadence的Conformal和Innovus等工具，在综合考量逻辑正确性和中后端物理实现可行性的基础上，采用归一思路下的“S”型连线和room值下的再分组等方法，实现了上述问题的自动化和高效化解决，在逻辑上确保了时钟域一致性等问题，物理上同时兼顾了布局布线优化和最大扫描链长度。并且其自动化的高效性，在项目实践中能够快速完成上百数量寄存器的扫描链接入。

發(fā)表于：2024/9/4 下午1:21:13

基于云计算的蛋白质折叠空间结构预测[人工智能][其他]

构建基于云计算的蛋白质折叠空间结构预测框架，通过数据云存储设备获取蛋白质序列原始数据，采用HDFS（Hadoop Distributed File System）分布式存储方式保存于云端。资源和队列管理器RQM（Resource Queue Management）开启云端虚拟机后，以之作为扫描节点（Sensor Node， SN），SN基于二维AB非格点模型建立最小蛋白质分子能量优化函数，采用局部搜索机制改进的量子遗传算法对其作优化求解。利用云端GPU设备处理模型训练数据，即可实现蛋白质折叠空间结构的自动化预测。实验结果表明：蛋白质序列能量势函数计算结果更小、执行效率更高、GDT-TS（Geothermal Development and Testing Tool Suite）评价指标值更大。

發(fā)表于：2024/9/4 下午1:10:35

基于多特征融合和知识蒸馏的亚热带常见乔木识别方法[人工智能][其他]

乔木在维持生态平衡、保护生物多样性以及调节气候和改善空气质量等方面发挥着至关重要的作用。针对复杂背景下乔木识别准确率较低的问题，提出了一种基于树木多特征融合和知识蒸馏的亚热带常见乔木识别模型MFFMN-KD-TA。该模型采用3个并行的MobileNetV3_Small主干网络分别提取树叶、树干和树木整体特征；并通过知识蒸馏和嵌入Triplet Attention模块的方法优化训练。试验结果表明，MFFMN-KD-TA模型在自建树木测试集上的准确率、精确率和F1分数分别为0.960 9、0.962 1和0.960 8，较MFFMN模型分别提升了3.05%、2.83%和3.07%。与三分支融合模型3-ShuffleNetV2和3-MobileNetV2相比，提出的多特征融合模型MFFMN-KD-TA参数量较小且能够较准确地识别乔木种类，为亚热带和其他地区的树种识别提供了新思路和新方法。

發(fā)表于：2024/9/4 下午1:01:00

个人信息侵权因果关系认定困境的纾解——以推定因果关系为进路[其他][信息安全]

在个人信息侵权案件中，受害人证明因果关系受证明能力不足、证明成本高、证明标准模糊、数人侵权案情复杂等而陷入困境。上述司法认定困境与因果关系理论争议不无关系，条件说、类推说、相当因果关系说均存在理论缺陷与价值局限，基于盖然性标准的理论支撑以及个人信息侵权解纷的现实需要，推定因果关系说具有适用的可行性与必要性。规则优化方面，原告需在形式上对因果关系负证明责任，证明的程度达到一般程度以上；被告需证明因果关系不存在且该证明责任达到高度盖然性方可否认侵权责任。

發(fā)表于：2024/9/3 下午3:50:15

县域数据安全治理体系建设与挑战[其他][信息安全]

县域数据逐渐成为地方治理和社会发展中不可或缺的要素。近年来，全国各县级政府积极建设数据管理平台并探索数据安全治理模式，但是，当前县域数据安全工作仍然面临合规性和新技术带来的挑战，无法满足县域信息系统的安全发展需求。对此，为确保县域数据安全，推动数据资源的有序开发利用，构建了面向数据全生命周期安全处理的县域数据安全治理体系，包括数据安全管理制度规范、数据安全技术防护、数据安全运营管理三大子体系。然而，数据安全治理过程是动态的，在当前数据要素化转型的背景下，县域数据安全治理能力亟需进一步提升。因此，为帮助县级政府更好地应对未来数据安全风险，在基于数据要素化本质特征的基础上，分析了数据分类分级自动化及精准化亟待解决的问题、数据安全治理过程中面临的数据流动管控及追踪溯源难以及用户行为异常检测误报率高的挑战，以期为县域构建更完善的数据安全治理体系提供参考。

發(fā)表于：2024/9/3 下午3:35:37

消费型App强制“用户同意”的形式、原因与规制[其他][信息安全]

随着互联网经济的发展，传统线下经济大量向线上转移，App平台成为用户在互联网消费的重要工具。“平台强-用户弱”的失衡格局长期存在于网络领域，App平台强制“用户同意”用户协议已然成为行业惯例。消费型App利用其网络技术优势，以显性形式或隐性形式强制面临信息鸿沟的用户同意其制定的用户协议，从而实现获取消费者个人信息、规避法律风险等目的。强制“用户同意”不仅违反了平等、自愿原则，而且严重侵害了用户的知情权、选择权等权利，这种强制行为亟需规制。一方面，要规范用户协议，平衡消费型App和用户之间的地位；另一方面，推进用户数据产权化，提升用户议价能力，增加平台的规避成本。通过规制以促使消费型App平台履行保护个人信息和数据安全等法定的合规义务，平衡消费型App平台和用户之间的权利义务关系，推进App平台从“形式合规”转向“实质合规”。

發(fā)表于：2024/9/3 下午3:22:30

数据隐私框架体系视角下数据跨境流动规则分析与中国启示[其他][信息安全]

欧盟与美国新近建立起包括数据隐私框架以及第14086号行政命令在内的数据跨境流动体系，填补了双边数据流动法律空缺。新体系通过修改规则细节以及引入双重救济机制，较以往协定更为完善，但仍存在数据保护审查法院独立性不足等制度性隐患。欧盟与美国在数据治理模式上一贯存在分歧，数据隐私框架体系充分展现出双方的谈判博弈，特别是在规则制度设计上的角力。欧美分立的数据治理政策显露出数据跨境流动规则并无定式，中国可借机探索并完善符合自身需求的数据流动规制路径，数据隐私框架体系的双边谈判策略及其展露的欧盟立场也可为中国参考，为未来中国与欧盟及其他国家开展数字合作提供良好借鉴。

發(fā)表于：2024/9/3 下午3:10:51