戴安娜·卡莱尔（CDSI团队）论文答辩：异步多时钟系统中时钟域交叉（CDC）的高级结构与半形式化验证流程
Thesis defence of Diana Kalel (CDSI team): Advanced Structural and Semi-Formal Verification Flow for Clock Domain Crossing (CDC) in Asynchronous Multiclock Systems
摘要
戴安娜·卡莱尔（CDSI团队）的论文答辩主题为：针对异步多时钟系统中时钟域交叉（CDC）的高级结构与半形式化验证流程。该研究聚焦于提升多时钟芯片设计的可靠性，通过结合结构分析与半形式化验证方法，优化CDC验证流程，旨在减少芯片设计中的时序错误风险。
戴安娜·卡莱尔（CDSI团队）的论文答辩主题为：针对异步多时钟系统中时钟域交叉（CDC）的高级结构与半形式化验证流程。该研究聚焦于提升多时钟芯片设计的可靠性，通过结合结构分析与半形式化验证方法，优化CDC验证流程，旨在减少芯片设计中的时序错误风险。
该文章仅爬取到标题，未获取到正文内容。
查看原文
Summary
Diana Kalel from the CDSI team defended her thesis on a new verification flow for Clock Domain Crossing (CDC) in complex, multi-clock chip designs. Her work introduces advanced structural and semi-formal methods to improve the reliability and safety of asynchronous systems. This research addresses a critical challenge in semiconductor design, aiming to prevent metastability and data corruption errors.
Diana Kalel from the CDSI team defended her thesis on a new verification flow for Clock Domain Crossing (CDC) in complex, multi-clock chip designs. Her work introduces advanced structural and semi-formal methods to improve the reliability and safety of asynchronous systems. This research addresses a critical challenge in semiconductor design, aiming to prevent metastability and data corruption errors.
Only the headline was crawled; full content was not available.
Read original
Résumé
Diana Kalel, membre de l'équipe CDSI, a soutenu sa thèse sur une méthode avancée de vérification structurelle et semi-formelle pour les traversées de domaines d'horloge (CDC) dans les systèmes asynchrones multi-horloges. Ce travail vise à améliorer la fiabilité des circuits intégrés complexes en détectant et prévenant les erreurs de synchronisation critiques. La recherche contribue aux méthodologies de vérification formelle dans le domaine de la conception de systèmes sur puce (SoC).
Diana Kalel, membre de l'équipe CDSI, a soutenu sa thèse sur une méthode avancée de vérification structurelle et semi-formelle pour les traversées de domaines d'horloge (CDC) dans les systèmes asynchrones multi-horloges. Ce travail vise à améliorer la fiabilité des circuits intégrés complexes en détectant et prévenant les erreurs de synchronisation critiques. La recherche contribue aux méthodologies de vérification formelle dans le domaine de la conception de systèmes sur puce (SoC).
Seul le titre a été récupéré.
Lire l'originalCore Point
Diana Kalel 博士论文答辩，提出了一种用于异步多时钟系统中时钟域交叉（CDC）的高级结构化和半形式化验证流程，这有助于提升复杂芯片设计的可靠性和验证效率。
Key Players
Diana Kalel (CDSI team) — 研究人员，专注于数字集成电路的验证方法学。
Industry Impact
- ICT: High — 直接提升芯片设计的可靠性和验证效率。
- Computing/AI: Medium — 为高性能计算和AI芯片的复杂时钟设计提供关键验证支持。
Tracking
Monitor — 该研究是芯片设计验证领域的基础性进展，对高端芯片开发有长期影响。
Highlights
Local Research
Related Companies
No companies linked yet
Categories
半导体
科研
AI Processing
2026-04-14 23:00
deepseek / deepseek-chat