戴安娜·卡莱尔（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 defended a thesis on an advanced verification flow for Clock Domain Crossing (CDC) in multiclock systems, which is critical for ensuring reliability in complex semiconductor designs.
Key Players
CDSI team — A research team, presumably in France, focused on digital systems and integrated circuits.
Industry Impact
- Computing/AI: High — Essential for verifying complex, high-performance chips and AI accelerators.
- Automotive: Medium — Important for functional safety in vehicle electronics.
Tracking
Monitor — The research addresses a persistent, high-stakes challenge in chip design verification.
Highlights
Local Research
Related Companies
No companies linked yet
Categories
半导体
科研
AI Processing
2026-04-14 23:00
deepseek / deepseek-chat