数字集成电路设计验证：量化评估、激励生成、形式化验证

---

• 显示技术
• 元件与制造
• 其他IC制程
• 消费类电子
• 无线/通信
• 汽车电子
• 技术资料
• 电子标准
• 电子书
• 模拟资料