論文の概要: Pragmatic Formal Verification Methodology for Clock Domain Crossing (CDC)

• arxiv url: http://arxiv.org/abs/2406.06533v1
• Date: Sat, 20 Apr 2024 13:17:25 GMT
• ステータス: 処理完了
• システム内更新日: 2024-07-01 08:00:19.044817
• Title: Pragmatic Formal Verification Methodology for Clock Domain Crossing (CDC)
• Title（参考訳）: Clock Domain Crossing (CDC) の実用的形式検証手法
• Authors: Aman Kumar, Muhammad Ul Haque Khan, Bijitendra Mittra,
• Abstract要約: 本稿では,Clock Domain Crossings (CDC) 問題を最小化するための実用的形式検証手法の開発に焦点をあてる。 CDCは、転移性効果の傾向があり、そのようなCDCの機能的検証は、バグの回避を確実にするために非常に重要である。
• 参考スコア（独自算出の注目度）: 2.3624953088402734
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: Modern System-on-Chip (SoC) designs are becoming more and more complex due to the technology upscaling. SoC designs often operate on multiple asynchronous clock domains, further adding to the complexity of the overall design. To make the devices power efficient, designers take a Globally-Asynchronous Locally-Synchronous (GALS) approach that creates multiple asynchronous domains. These Clock Domain Crossings (CDC) are prone to metastability effects, and functional verification of such CDC is very important to ensure that no bug escapes. Conventional verification methods, such as register transfer level (RTL) simulations and static timing analysis, are not enough to address these CDC issues, which may lead to verification gaps. Additionally, identifying these CDC-related bugs is very time-consuming and is one of the most common reasons for costly silicon re-spins. This paper is focused on the development of a pragmatic formal verification methodology to minimize the CDC issues by exercising Metastability Injection (MSI) in different CDC paths.
• Abstract（参考訳）: 現代のSystem-on-Chip (SoC) の設計は、テクノロジーのスケールアップにより、ますます複雑になりつつある。 SoC設計はしばしば複数の非同期クロックドメインで動作し、全体的な設計の複雑さをさらに増す。 デバイスを効率よくするために、デザイナは複数の非同期ドメインを生成するGlobally-Asynchronous Locally-Synchronous (GALS)アプローチを採用する。 これらのClock Domain Crossings (CDC) は、転移性の影響を受けやすく、そのようなCDCの機能的検証は、バグの回避を確実にするために非常に重要である。 レジスタ転送レベル(RTL)シミュレーションや静的タイミング解析のような従来の検証手法では、これらのCDC問題に対処するには不十分であり、検証のギャップが生じる可能性がある。 さらに、これらのCDC関連バグを特定するのは非常に時間がかかり、コストがかかるシリコン再スピンの最も一般的な理由の1つである。 本研究は, CDCパスのメタスタビリティ・インジェクション(MSI)の実施により, CDCの問題を最小化するための実用的形式的検証手法の開発に焦点をあてる。

関連論文リスト

• Analogous Alignments: Digital "Formally" meets Analog [0.0]
  本稿では,デジタルブロックとアナログブロックを組み合わせた混合信号知的特性(IP)の実用的形式検証に着目する。 Digital and Analog Mixed-Signal (AMS)設計は、本質的に異なるが、形式的な検証設定でシームレスに統合される。
  論文  参考訳（メタデータ） (2024-09-23T13:38:31Z)
• Causality-driven Sequence Segmentation for Enhancing Multiphase Industrial Process Data Analysis and Soft Sensing [4.420321822469078]
  本稿では因果型シーケンスセグメンテーションモデルを紹介する。 相転移時に起こる因果機構の急激なシフトに基づいて、配列を異なる相に分割する。 相毎に時間因果グラフ畳み込みネットワーク(TC-GCN)と呼ばれるソフトセンシングモデルを訓練する。
  論文  参考訳（メタデータ） (2024-06-30T10:40:54Z)
• Fast Context-Biasing for CTC and Transducer ASR models with CTC-based Word Spotter [57.64003871384959]
  この研究は、CTCベースのWord Spotterでコンテキストバイアスを高速化するための新しいアプローチを示す。 提案手法は,CTCログ確率をコンパクトなコンテキストグラフと比較し,潜在的なコンテキストバイアス候補を検出する。 その結果、FスコアとWERの同時改善により、文脈バイアス認識の大幅な高速化が示された。
  論文  参考訳（メタデータ） (2024-06-11T09:37:52Z)
• CCDM: Continuous Conditional Diffusion Models for Image Generation [22.70942688582302]
  連続条件生成モデリング(CCGM)は、スカラー連続変数に基づく高次元データ(典型的には画像)の分布を推定することを目的としている。 既存のConditional Adversarial Networks (CcGANs) は、当初、このタスクのために設計されていたが、その逆のトレーニングメカニズムは、非常にスパースなデータや不均衡なデータに対して脆弱なままである。 生成画像の品質を高めるために、CcGANを条件拡散モデル(CDM)に置き換えることが有望な方法である。
  論文  参考訳（メタデータ） (2024-05-06T15:10:19Z)
• Pragmatic Formal Verification of Sequential Error Detection and Correction Codes (ECCs) used in Safety-Critical Design [3.1367764768902613]
  ECCは、データ完全性を保護するためにしばしばデジタル設計で使用される。 形式的手法によるECCの排他的検証が課題となっている。 複素ECCコアの実用的形式検証手法を提案する。
  論文  参考訳（メタデータ） (2024-04-28T18:31:09Z)
• NAC-TCN: Temporal Convolutional Networks with Causal Dilated Neighborhood Attention for Emotion Understanding [60.74434735079253]
  畳み込みTCN(NAC-TCN)を用いた近傍注意法を提案する。 これを実現するために、Dilated Neighborhood Attentionの因果バージョンを導入し、畳み込みを組み込んだ。 我々のモデルは、標準的な感情認識データセットに少ないパラメータを必要としながら、TCN、TCL、LSTM、GRUに匹敵する、より優れた、あるいは最先端のパフォーマンスを実現する。
  論文  参考訳（メタデータ） (2023-12-12T18:41:30Z)
• Adaptive Planning Search Algorithm for Analog Circuit Verification [53.97809573610992]
  シミュレーションの少ない機械学習(ML)アプローチを提案する。 提案手法により,OCCを全回路の仕様に近づけることができることを示す。
  論文  参考訳（メタデータ） (2023-06-23T12:57:46Z)
• Asynchronous Parallel Incremental Block-Coordinate Descent for Decentralized Machine Learning [55.198301429316125]
  機械学習(ML)は、巨大なIoT(Internet of Things)ベースのインテリジェントでユビキタスなコンピューティングのビッグデータ駆動モデリングと分析のための重要なテクニックである。 急成長するアプリケーションやデータ量にとって、分散学習は有望な新興パラダイムである。 本稿では,多くのユーザデバイスに分散した分散システム上でMLモデルをトレーニングする問題について検討する。
  論文  参考訳（メタデータ） (2022-02-07T15:04:15Z)
• Dual-Cross Central Difference Network for Face Anti-Spoofing [54.81222020394219]
  対面防止(FAS)は、顔認識システムを保護する上で重要な役割を担っている。 中央差分畳み込み(CDC)は、FASタスクの優れた表現能力を示しています。 中心と周囲の局所的な特徴の差を利用した2つのC-CDC(Cross Central difference Convolutions)を提案する。
  論文  参考訳（メタデータ） (2021-05-04T05:11:47Z)
• Alignment Knowledge Distillation for Online Streaming Attention-based Speech Recognition [46.69852287267763]
  本稿では,オンライン・ストリーミング・アテンション・ベースのエンコーダ・デコーダ(AED)自動音声認識(ASR)システムの効率的なトレーニング手法について述べる。 提案手法は認識エラーとエミッション遅延を同時に低減する。 最高のMoChAシステムはRNNトランスデューサ(RNN-T)と同等の性能を示します。
  論文  参考訳（メタデータ） (2021-02-28T08:17:38Z)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。