2021年の振り返り。検証におけるイノベーション

プラトン再発行

フォロワー： 0

昨年確立したように、このブログの 2022 月号を使用して、昨年レビューした論文を振り返ります。昨年初めにジム・ホーガンと彼の洞察の恩恵を失いましたが、ラウル・カンポサーノ (ジムのもう一人の友人) という有名な新しい専門家を獲得しました。ポール (ゼネラルマネージャー、ケイデンスのベリフィケーション)、ラウル (シリコンカタリスト、起業家、元シノプシス CTO) と私は、XNUMX 年以降もこのシリーズを続ける準備ができています。いつものように、フィードバックを歓迎します。

2021年の回顧展。検証の革新

2021年のおすすめ

XNUMX月からXNUMX月までのブログ順です。どれも好ヒット。一番ホットだったのはふりかえりで、あなたも他の人が最も興味深いと思ったものを知りたいと思っていました 😀. 今年は、「大きなカバレッジホールの発見」と「アジャイルと検証」が際立っており、「サイドチャネル分析」と「ポストシリコン検証の計測」がそれに続きました。新しいアイデアを探している場所のかなり良い指標です。

SoC セキュリティを検証するためのファジング

ポールの見解

私はこのブログをとても楽しんでいます。もう2年も経っているなんて信じられない。バーナードが毎月何か新しいことや面白いことを見つけているように見えることは、私にとって驚くべきことです. このブログを立ち上げたときの私たちの意図は、興味深い研究を共有し評価することだけでしたが、実際には論文は検証における Cadence のロードマップに直接影響を与えました。それが究極の感謝のしるしだと思います。

2021 年のブログで目にした最大のテーマは、抽象化を高めることでした。過去 30 年間そうであったように、これは生産性を向上させるための最大の手段であり続けています。ただし、おそらくそれを修飾する必要があります ドメイン固有 抽象化。歴史的に、抽象化は、ポリゴンからゲート、ネットリスト、RTL まで、アプリケーションとは独立していました。 XNUMX 月のブログでは、アクセラレータの検証のための ISA から ILA への抽象化が頻繁に行われています。 XNUMX 月のブログで、メモリの一貫性を検証するために高レベルの動作原理を SystemVerilog にマッピングします。 XNUMX 月のブログで、アジャイル CPU 検証のための Verilog から Chisel へ。 XNUMX 月のブログのセキュリティ検証のための一連のシミュレーションを一般化するアサーション。そしてもちろん、いくつかの抽象化は引き続きドメインに依存しませんでした: XNUMX 月のブログで、システムレベルの電力モデリングのためのゲートレベルから C++ へ。 XNUMX 月のブログでのテキストタグ付けについての記事。

引き続き輝いているもう 1980 つのテーマは、さまざまなスキルと視点の交差点でイノベーションがどのように発生するかということです。ドキュメント分類アルゴリズムを活用してカバレッジホールを見つけることに関する XNUMX 月のブログは、今年の XNUMX つの優れた例です。 XNUMX 月のブログでは、XNUMX 年代の初期の ML メソッドが再発見され、CPU 検証に再適用されました。 XNUMX 月のブログで、エミュレーションで FPGA のコンパイル時間を最適化するために使用されるゲーム理論。バーナードがこの原則を今年の私たち自身の論文の選択に取り入れたことは素晴らしいことです.数か月で「機能検証」から電源、セキュリティ、電気的バグなどのトピックに転換しました. これは、XNUMX つの異なるドメイン間でドットを独自に接続するのに役立ちます。

今年もランダムウォークスルー検証を継続することを楽しみにしています。

ラウルの見解

特定の分野に焦点を当てることなく、XNUMX 月から XNUMX 月まで、Verification で多くの興味深いトピックに触れました。最も人気のある XNUMX つは、フリップフロップ (ハードウェアエラー) を検出する組み込みロジックと、RTL レベルでの電源側チャネルリークの評価です。別の RTL レベルの論文では、メモリの一貫性を扱っています。さらに高いレベルでは、検証のために命令レベルの抽象化を検討しました。また、ML/NN に関する必須の論文もありました。XNUMX つはより良い疑似ランダムテストを生成するためのもので、もう XNUMX つは IP の正確な電力モデルを構築するためのものです。最後に、XNUMX 月に Concolic Testing を選択して、ブランチをアクティブ化するのが困難な場合は、テストカバレッジの拡大にも対処します。

このブログで焦点を当てている分野の XNUMX つは、市場性です。方法論の論文、基礎論文、既存のアプローチの拡張、小さすぎるニッチはすべて、さまざまな理由で適格ではありません。もちろん、これは技術的なメリットとはほとんど関係ありません。提示された研究の一部は採用の機が熟しています。たとえば、EDA のさまざまなタスクを改善するための ML/NN の使用などです。エミュレーションインフラストラクチャなど、方法論に関するものもいくつかあります。高レベルの抽象化など、より基本的なものもあります。その他は、サイドチャネル漏洩など、興味深いニッチです。しかし、それらはすべて研究に値するものであり、論文を読むのに十分な時間を費やしました!

私の見解

私たち XNUMX 人は、私が論文を選ぶ際にどのような原則に従うか (もしあれば) について、活発な議論を行いました。確かに主要なフォーラムで公開されました。ポールが言うように、トピックをランダムに見て回ったようなものです。私たちの選択を導くために、読者からの提案を求めたい. ヒット曲に基づいて多くのあなたがいますが、あなたは自分のアイデアを共有するのが明らかに恥ずかしがり屋です。私宛のプライベートメールの方が簡単かもしれません – info@findthestory.net.

私はあなたが絶えず直面している難しい技術的問題に特に興味があります
できれば（必須ではありません）、そのトピックに関する論文への参照を提供します。これは、任意のフォーラムで公開できます。
私は、解決された問題、つまりベンダーツールを使用して検証フローで何かを機能させる方法にはあまり興味がありません。あなたの例が、アプリケーションを超えて一般化できる根本的に有用な機能を示していると思わない限り。

その間、一貫性チェック、セキュリティ、抽象化など、非常に話題になり続けているテーマによって補強されたランダムウォークを続けます。

この投稿を共有する：ソース: https://semiwiki.com/eda/306830-2021-retrospective-innovation-in-verification/

タイムスタンプ： 2022 年 1 月 19 日