空真证明为何没有说明目标行为：前件、约束与设计错配的三种来源
Joe Hupcey III的2017年文章将空真区分为性质自身矛盾、输入约束限制和设计行为错配。分清三种来源，可以理解证明标签为何没有单独交付本来想验证的行为信息。
更多文章
锁存器跟随一个阶段，触发器采样一个沿：输出关闭为何又是另一件事
TI对LS373/S373与LS374/S374的说明，把使能高电平期间的跟随、时钟正向跳变时的采样，以及OC控制输出高阻分别解释。输出端暂时关闭，并不意味着内部数据停止保持或更新。
一次寄生提取之后，为什么还能生成多种模型与格式的网表
Siemens保存的2015年文章区分提取数据库、逐网寄生模型和网表格式。同一来源可以产生不同表达，不能从文件数量倒推出重复提取了几次。
芯片关断一部分电源后，状态保持与信号隔离各管哪件事
Synopsys的2015年PCIe文章与POK组件页分别介绍保持状态的触发器和处理未供电域未知信号的隔离单元。保存已有数据与处理域间信号，并非同一种作用。
同一DDR PHY中的软逻辑与硬宏：IP名称下还要看组成
Synopsys的2014年文章将PUB软逻辑和多个硬宏单元并列列入DDR PHY。方案是一个整体，并不表示它内部只有一种实现对象。
静态时序为何同时寻找最快路径和最慢路径
依据Synopsys NanoTime白皮书第2至3页，说明setup与hold检查中数据路径和时钟路径快慢组合的不同用途。
芯片综合得到门级网表，为什么还不等于完成版图
RTL、门级网表与布局布线结果处于不同表达层次。理解综合的输入和输出，可以看清“已经综合”究竟完成了什么。
跨时钟域验证为何还要看亚稳态：信号采到之后不一定立即有确定值
Siemens的CDC资料将结构、协议和亚稳态验证并列。其单比特例子说明，接收寄存器在建立或保持时间内遇到信号变化，可能出现暂时不能确定为0或1的输出。
UVM版本写在项目哪里：把参考实现与验证环境分清楚
官方UVM下载页同时列出不同参考实现和历史资料。整理验证项目时，把库版本、资料版本与自己的环境版本分开，才能解释一次结果来自什么组合。
互传联盟推出“碰一碰互传技术标准”，荣耀、OPPO、vivo、小米预计10月中旬起推送
互传联盟宣布推出了“碰一碰互传技术标准”。该标准由互传联盟联合荣耀、OPPO、vivo和小米的技术团队完成制定、研发及联调。此跨品牌标准支持OPPO、荣耀、vivo和小米设备间的互通，预计将于10月中旬起通过系统更新陆续推送给支持机型的用户。