可能性のある相互作用の数が増加し、チップがより重要なアプリケーションで使用されるにつれて、正式検証はチップ設計のより頻繁かつより多くの場所に導入されています。
過去には、多くの 正式な検証 チップが適切に機能するかどうかに焦点が当てられていました。しかし、設計がより複雑で異種混合になり、ユースケースが変化するにつれて、パーティショニングの影響の評価からサイレントなデータ破損の原因の追跡に至るまで、あらゆる場面で正式な検証が利用されるようになりました。サイバー攻撃の可能性のあるベクトルを特定したり、デバイス内で電力がどのように供給および使用されているかを追跡したりするためにも使用されています。
「低電力設計は非常に長い間存在していましたが、主にモバイル チップに採用されているアプローチでした」と、R&D グループ ディレクターの Sean Safarpour 氏は述べています。 シノプシス EDAグループ。 「今では全面的にそうなりました。同様に、アクセラレータでの AI/ML の使用が増えており、パワーごとに実行できる作業量が大きな要因となっています。したがって、現在、誰にとっても、何をしていても、低消費電力設計は大きな関心事となっています。これが形式的検証と関係があるのは、形式的検証を使用して問題の一部を解決できる具体的な方法があるということです。」
これはもはや単なる問題ではありません クロックゲーティング 最適化には、すべてが正しいことを確認するためにシミュレーション回帰を再実行することが含まれます。現在、電力はシステム内の他のコンポーネントとの関連で、また場合によってはシステム間で考慮する必要があります。正式な手続きがなければ、仮にそれが可能だったとしても、かなり長い時間がかかるでしょう。また、電力の供給から利用まで追跡する必要がある、さまざまなユースケースやワークロードのコンテキストで検討する必要もあります。
「クロック ゲーティングを行っている場合、クロック ゲーティングの有無にかかわらず分析を行うことができ、機能が同じかどうか、あるいは途中でバグや何かが壊れた可能性があるかどうかを明確に伝えることができます」と Safarpour 氏は述べています。 「ユーザーのリクエストに基づいて、UPF ファイルを通じて電力の意図を考慮することも可能になりました。 5、6年前にはそのような要望はありませんでした。今では彼らはとても目立っていて、人々は「私は財産確認をやっている」と言っています。私には私の主張があります。しかし、今度は UPF を使用してこれらのアサーションを確認したいと思います。 「SoC レベルの接続チェックを行います」という別の特定のアプリケーションがあります。しかし、設計の完全な UPF を考慮しない限り、それは不完全です。 Formal はこれらの非常に特殊な領域に踏み込むことができるため、ユーザーは「ちょっと待って、回帰スイート全体をやり直す必要はない」と言うことができます。私たちはこれらの特定の問題を取り上げ、徹底的に解決することができます。」それがフォーマルの真価です。これは本質的に網羅的なものであるため、テスト計画全体を検討し、低消費電力であれセキュリティであれ、これらの側面のいくつかを検討する場合、これらすべてに踏み込むことができます。テスト計画には、これらに対する特定の項目が含まれます。問題の中には、形式的検証を使用して徹底的に解決できるものもあります。これが、問題領域が大きくなるにつれて、最近この検証が注目を集めている理由の 1 つです。」
簡単に言うと、機能が少なくライフサイクルが短かった過去には許容されていたカバレッジのギャップが、今日の多くのアプリケーションでは許容できなくなっています。
「誰もが常に複雑さの増大について話しており、多くの人がそれを正当に、物事を別の方法で実行する理由として利用するでしょう」と、同社の静的および形式的ソリューションの製品管理責任者、クリス・ジャイルズ氏は述べています。 シーメンスEDA。 「市場の成功と一般的な開発プロセスに目を向けると、数十年にわたって検証への投資が増加してきたにもかかわらず、複雑さの増大に追いついていないことがわかります。したがって、複雑さが継続的に増大していることは誰もが認識していますが、業界としてそれにどう対応してきたかは、必要とされるほど効果的ではありません。ここ数年で見られる変化は、世界がシリコンに求めているものであり、ここで正式な検証が絶対的な要件になりつつあります。今日世界がシリコンに求めているのは、これまでとは異なる検証アプローチです。私たちが求めているのは、もはや複雑さではありません。それは安全性に関するものです。それはセキュリティに関するものです。それは信頼の問題です。それは保証についてです。そして、これらすべてを線形シミュレーション手法で証明するのは非常に困難です。」
これにより、正式な検証に対する需要が爆発的に増加しました。 「これがフォーマルの優れた点です」とジャイルズ氏は言います。 「正式な検証はその徹底的な性質により、設計が安全、安全、または信頼できるものであることを最終的に証明できます。業界ではこれらのプロパティを認証するために多くの作業が行われているため、その認証を生成するフローを確立することが重要です。ここではフォーマルさが絶対に必要です。知財業界に目を向けると、知財企業は自社の知財がどのような最終製品に組み込まれるかを必ずしも知っているわけではないため、そのような種類の質問に備えて計画を立てる必要があります。これが安全な設計であることはどうすればわかりますか?これが信頼できる設計であることをどうやって判断すればよいでしょうか?人命をその管理下に置いていることが安全であるとどうやって判断できるのでしょうか?これらは今日、知財チームですら心配しなければならないことです。」
Pete Hardee 氏、システムおよび検証グループの製品管理ディレクター ケイデンス氏は、過去10年間で形式的検証の利用が驚異的に増加したと述べた。 「これが「キャズムを越え」て広く主流に使用されるようになったのは疑いありません。これは、トップ半導体企業の大多数にとって検証兵器庫に不可欠なツールです。」
アドバンスト ノード SoC とパッケージ内の異種アセンブリの両方で複雑さが増しているため、より多くの検証が必要です。 「検証の必要性は、設計の複雑さに伴って指数関数的に拡大する傾向があります」とハーディー氏は言う。 「主な効果は 2 つあります。まず、IP ベースの階層検証では、分割統治が検証成功の主な要因となっています。IP ブロックまたはサブシステムを徹底的に検証し、次に正しい統合がチェックされ、次のレベルで何も壊れていないことを確認します。 IP ベースの検証の場合、正式な検証は、すべてではありませんが、多くの種類の IP に対して正式なサインオフを達成できるように拡張されています。形式的なスケーラビリティが大幅に進歩したにもかかわらず、状態空間が依然として問題になる可能性があります。たとえば、複雑なシリアル プロトコルは、形式的な検証を行うのが依然として困難です。多くの場合、シーケンシャルの深さが高すぎるためです。一部の正式な手法はチップレベルまで拡張できますが、その方法は限られており、大規模なデジタル SoC の完全な正式な承認は依然として困難です。」
プロセッサベースの設計は常に困難を伴いますが、ドメイン固有のアーキテクチャを利用する場合、検証が特に困難になります。 「大規模にプログラム可能な設計、つまり垂直アプリケーションに応じて同種または異種のプロセッサ コア アレイを多数使用するマルチプロセッサ アーキテクチャが大幅に増加しています」と同氏は述べています。 「アプリケーション プロセッサに関しては、Arm 対 x86 ISA の戦いが RISC-V によって火蓋を切られました。 GPU は長い間存在していましたが、特に AI/ML 革命によって推進されている現在では、他の多くのタイプの数学コプロセッサおよびアクセラレータが一般的になっています。誰もが、電力、パフォーマンス、面積のニーズに合わせて最適化された、独自のアプリケーション コアと数学コアを設計しています。」ケイデンスでは、この現象をドメイン固有アーキテクチャ (DSA) と呼んでいます。
信頼性に対する懸念は、重要ではないデバイスにも広がっています。 「算術中心の設計を含め、あらゆる設計に形式的検証ソリューションを適用することができます」と CEO の Ashish Darbari 氏は述べています。 公理。 「算術中心の設計は、最大の形式検証ツールプロバイダーの高度なソリューションの恩恵を受けており、そのすべてが算術検証、特に浮動小数点側に対応したソリューションを備えています。全体的に見れば、これは必ずしも大規模な作業ではありませんが、私たちにとって見て見ぬふりをするほど重要ではありません。」
これにより、フォーマルをフローのかなり早い段階で使用できるようになり、設計関連の遅延を回避するために、またエンジニアリング コミュニティの幅広い範囲でフォーマルを使用できるようになりました。しかし、誰もが文章を書くことに精通しているわけではないため、人材不足も引き起こしています。 アサーション さまざまなアプリケーションにわたって使用できます。
「GPU、プロセッサー会社、ファブリック会社など、シリコン分野でそれなりの名前を持つ企業は全員、フォーマルを使用しています」とダルバリ氏は述べた。 「ハードウェアを開発している大手企業はすべてフォーマルを使用しています。彼らの中には、たくさんのフォーマルなことをやりたいと思っている人もいますが、彼らには十分な才能がありません。」
採用率も異なります。シーメンスのジャイルズ氏は、「一部の企業は形式的検証に非常に精通しており、形式的な検証に慣れており、それが何ができるかを理解し、それに挑戦している」と述べた。 「科学プロジェクトのように感じたり、教育的な取り組みが必要なように感じたりするため、少し躊躇する人もいます。フォーマルに馴染みのない人が、フォーマル検証が推奨されていると初めて聞くと、「今度はスタッフに博士号を持たなければいけない」と最初に考えるでしょう。プロジェクトを進めなければなりません。どうやってこれをやるつもりですか?そしてこれはさまざまな程度の採用につながります。」
一部の企業では、フォーマルは多くの必須スキルの 1 つに過ぎません。これは大きな変化です。正式な検証の初期の頃は、少数のエンジニアのグループがツールの使用に習熟すると考えられていました。
「設計者、検証エンジニア、あらゆる分野のエンジニアがこのテクノロジーを利用できることがわかりました」とシノプシスのサファープール氏は述べています。 「そして、EDA ツールをユーザーにとってより直感的なものにするのは、EDA ツールの開発者次第です。私たちはさまざまなペルソナ、さまざまな帽子を持っています。さて、あなたがデザイナーの場合は、少し異なるインターフェースが必要になるかもしれません。あなたは正式な黒帯とは異なる角度から取り組んでおり、求めている付加機能もまったく異なります。ツール開発者として、私たちはツールを最大限に活用できるユーザーからも学びました。そういった面でもハードルは下がっています。現在、問い合わせを受けたり、顧客と話をしたりするときは、従来の正式な専門家と同じくらい多くの非専門家が機能拡張のリクエストを行ったり、ツールについてフィードバックをくれたりしています。」
エミュレーション vs フォーマル vs シミュレーション
検証フローのその他の重要な要素には、シミュレーションとエミュレーションがあります。ただし、特定の設計では、すべての検証ツールが必要ない場合があります。
シーメンスのジャイルズ氏は、「正式な検証には適しているものの、シミュレーションにはあまり適していないものもあるし、その逆も同様だ」と述べた。 「この良い例は接続チェックです。すべての相互接続が正しいことを少しずつシミュレートするプロセスは、かなり長い連続プロセスです。 1 回の実行で徹底的に実行できる場合は、それらのシミュレーション サイクルを利用して、シミュレーションが最も効果的に機能するように使用できます。つまり、これは生産性を高める遊びなのです。業界がグローバリゼーション モデルから地域化または国有化モデルに移行する中で、もう 1 つ明らかになっていることは、シリコンの設計、開発、生産のエコシステムを世界中で何度も複製する必要があることです。それは、労働力が不足しているということです。世界中のほぼどこでも予測されています。そして、これは設計の複雑さとは何の関係もありません。それは世界の地政学的およびマクロ経済的現実に関係しています。これにより、あらゆる場所にチャンスが生まれています。そして現実には、その環境で成功するには従業員の生産性を高める必要があります。正式な検証または効率的な検証を使用し、シミュレーション サイクルを解放してシミュレーションが最適に実行できるようにすることは、現在および将来の開発において重要な部分です。したがって、これら 2 つのこと — 生産性の部分、そして今日世界がシリコンに求めているものの要求に応えること、そして安全性と保証、信頼とセキュリティの観点から — これらが、あらゆるものに対して正式な検証が絶対に必要であると私が考える理由です。発達。"
場合によっては、複数の種類のツールが必要になります。 Darbari 氏は、カバレッジ要件や、さまざまなベンダーのさまざまなツールの機能に基づく重複を指摘しています。 「まだばらつきはある」と彼は言う。 「デバッグが最も興味深いものです。デバッグは、障害の根本原因を最短時間で突き止めることができる場所であり、根本原因を突き止めるために多くの時間を費やした分野でもあります。」
また、シミュレーション サイクルを短縮するために、フォーマル検証とシミュレーションの間に相互作用があり、エンジニアリング チームにとってフォーマル検証の方がコストが高くなります。
「十分なシミュレーションを行うことは決してできないので、需要は無限にあります」とサファープール氏は語った。 「誰もがシミュレーションをしたいと考えていますが、それに十分なコンピューティング能力がありません。ただし、シミュレーションと形式的検証のテクノロジーは本質的に非常に補完的なものであり、それが複数の分野で見られます。カバレッジでは、シミュレーションを使用すると、80%、85%、おそらく 90% のカバレッジに簡単に到達できますが、その後、すぐに曲線のプラトーに到達します。それから、残りの 5% です。承認を行うための基準に応じて、さらに 5% 程度があり、実行できるランダム化が多すぎるため、まだそれらに達することはできません。その 5% がたまたまフォーマルのスイート スポットです。5% はフォーマルが得意とするコーナー ケースなど、ヒットするのが難しいものであるか、デッド コードである可能性が高いためです。シミュレーションをしても打てません。これでは疑問符が残り、エンジニアが介入してそのコードをレビューし、「これは到達不可能だと思います」と言わなければなりません。つまり、手動介入です。私たちのやり方は、シミュレーションと正式なツールが同じデータベースに基づいて機能し、互いに助け合うことです。」
同じシナリオが機能安全アプリケーションにも当てはまります。 「機能安全性と耐障害性についてはできる限りカバーし、その後正式なステップを踏みます。セキュリティについても同じ話で、このアプローチはさまざまなドメインで繰り返され続けます。シミュレーションで簡単なことを終わらせて、そのプラトーに到達してから、最後のマイルを正式に実行してもらいます」とサファープール氏は説明しました。
ドメイン固有のアーキテクチャには、独自の問題が追加されます。 「プログラム不可能な ASIC とは対照的に、DSA はプログラマがプロセッサを使用する無数の方法を予測できないため、異なります」とケイデンスの Hardee 氏は述べています。 「完全に予期せぬ事態も含め、あらゆる不測の事態に対応しなければなりません。公式が唯一の方法です。 Arm や Intel などのプロセッサ テクノロジのリーダーはこのことを認識しており、正式な検証に長年投資してきました。独自の RISC-V 実装を行っているすべての企業は、同じことを行う必要があります。そして、数学コプロセッサと AI/ML エンジンの成長により、C/C++ から RTL への順次等価性チェックなどの新しい正式な手法が推進されています。」
フォーマルの限界
ただし、他の EDA ツールと同様に、フォーマルにもいくつかの制限があります。 「Formal は、完全な SoC よりもモジュールまたはブロック上で実行する方が優れているという評判があります」と Siemens の Giles 氏は述べています。 「フォーマルには、長期にわたる連続した問題に関しては課題があります。この良い例としては、浮動小数点ユニットの乗算または除算関数を検証するために形式的なものを使用するのが難しいことが挙げられます。最善の行動方針は、フォーマルが最も得意とすることをフォーマルに行わせ、シミュレーションが最も得意とすることをシミュレーションに行うことです。浮動小数点設計を採用する場合は、すべてを検証できますが、乗算と除算の機能はシミュレーションで実行するのが最適です。そのため、シミュレーション関数をより効率的に使用でき、検証する必要があるものを検証できます。そこで行われました。そうすれば、シミュレーションを通じて完全な浮動小数点ユニットを実行する必要がなくなります。」
すべてのツールと同様に、抽象化と新しい研究の両方を通じて、これらの制限を克服するために多くの作業が進行中の分野でもあります。 「今のところ、これは、フォーマルがうまくいくこともあれば、シミュレーションがうまくいくこともあるというメッセージに反映されています」とジャイルズ氏は語った。 「フォーマルがシミュレーションを完全に排除するというシナリオは決して見たことがありません。何年も同じように、私は常にゲートレベルのシミュレーションをやめたいと思っていましたが、それは決してうまくいきませんでした。正式なシミュレーションやシミュレーションでもそれを確認していきます。」
正式な検証方法は網羅的かつ徹底できますが、全面的に要件とすべきでしょうか?
2014 年にケイデンスに買収される前から、Jasper は正式アプリの導入を通じて広範な普及の先駆者となりました。多くの場合、自動生成されたアサーションを使用したモデル チェックを使用して、はるかに低いレベルの正式な専門知識を必要とする、よりアクセスしやすい方法で一般的な検証問題を解決しました。ハーディは言った。
さらに、「接続性は優れた例であり、最も導入しやすいものの 1 つです。スプレッドシートの接続性マップからアサーションを生成するか、 IP-XACT 形状。シミュレーションでも同じことができますが、面倒です。この形式的な方法は、基礎となるブロック機能のほとんどを抽象化できるため、チップレベルまで簡単に拡張できます。場合によっては、これらのアプリはシミュレーションのワークロードをオフロードすることができ、ランダムなツール生成の入力刺激は通常のシミュレーション テストベンチよりも徹底的であるため、コーナーケースのバグを発見することに価値があります。これらのアプリは、検証エンジニアが正式な作業を開始するのに役立ち、おそらく「ゲートウェイ」として機能しますが、使用方法という点では氷山の一角です。現在、形式検証の回帰使用の大部分を含む氷山の大部分は、RTL 対 RTL および C/ C++ から RTL へ。」と彼は付け加えました。 「私は正式な検証を全面的な要件として設定したいと思っていますが、それでもそれが必要な例もあれば、シミュレーションの方がまだうまく機能する例もあります。しかし、正式な検証が必要な設計タイプは、はるかに速い速度で増加していることがわかります。」
これらすべてがどのように進化するかについては、EDA エコシステムは、従来のアプリケーションを超えて形式的検証をどのように使用できるかを特定しようとしているようです。
「特定の最終用途向けにバンドルされた正式なアプリケーションを販売するベンダーにとって、かなり一般的な一連のアプリケーションが存在します」とジャイルズ氏は結論付けました。 「技術面とビジネス面の両方の課題と機会には、ハードウェアでのトロイの木馬の検出など、これまで不可能だった検証を実行する方法でフォーマルを使用することが含まれます。特にこのオープンソース ハードウェアの世界では、その設計に含まれるはずのないものがその設計に含まれていないことを証明できるのは非常に素晴らしいことです。これは通常、シミュレーションによって解決される検証問題ではありません。シミュレーションでは一般に、何を探しているのかを知っていることが前提となっており、それが確実に実行されるかどうかを確認しようとしているだけだからです。トロイの木馬の検出を使用すると、事実上既知の状態空間の外にあるものを探すことになります。これは非常に大きな可能性を秘めたものです。」
関連レディング
RISC-V マイクロアーキテクチャの検証
プロセッサーの検証は、命令が機能することを確認するだけではありませんが、業界は限られた知識ベースと少数の専用ツールから構築しています。
セキュリティ検証に必要な新しい概念
ハードウェアが正しく動作し、現場で発生する可能性のある脆弱性を検出できることを確認することがなぜこれほど難しいのか。
- SEO を活用したコンテンツと PR 配信。 今日増幅されます。
- PlatoData.Network 垂直生成 Ai。 自分自身に力を与えましょう。 こちらからアクセスしてください。
- プラトアイストリーム。 Web3 インテリジェンス。 知識増幅。 こちらからアクセスしてください。
- プラトンESG。 カーボン、 クリーンテック、 エネルギー、 環境、 太陽、 廃棄物管理。 こちらからアクセスしてください。
- プラトンヘルス。 バイオテクノロジーと臨床試験のインテリジェンス。 こちらからアクセスしてください。
- 情報源: https://semiengineering.com/formal-verifications-usefulness-widens/
- :持っている
- :は
- :not
- :どこ
- $UP
- 2014
- a
- できる
- 私たちについて
- 絶対の
- 絶対に
- 抽象化された
- 加速器
- ことができます。
- アクセス可能な
- 従った
- 達成する
- 買収
- 越えて
- 演技
- Action
- 加えます
- 追加されました
- 採用
- 養子縁組
- 高度な
- 前
- AI / ML
- すべて
- 沿って
- また
- 常に
- am
- 量
- an
- 分析
- および
- 別の
- 応答
- どれか
- もはや
- 何でも
- 登場する
- 申し込み
- アプローチ
- アプリ
- アーキテクチャ
- です
- AREA
- エリア
- ARM
- 周りに
- AS
- アシックス
- 側面
- 側面
- アセンブリ
- 評価中
- 想定される
- 保証
- At
- バー
- ベース
- ベース
- 戦い
- BE
- なぜなら
- になる
- になる
- き
- さ
- 鐘
- 恩恵を受ける
- BEST
- より良いです
- の間に
- 越えて
- ビッグ
- ビット
- ブラック
- 黒帯
- ブロック
- ボード
- 両言語で
- 無限の
- より広い
- 壊れた
- 壊れた
- バグ
- バグ
- 建物
- バンドル
- ビジネス
- 焙煎が極度に未発達や過発達のコーヒーにて、クロロゲン酸の味わいへの影響は強くなり、金属を思わせる味わいと乾いたマウスフィールを感じさせます。
- by
- ケイデンス
- 缶
- 取得することができます
- 機能
- できる
- 例
- ケータリング
- 原因となる
- 最高経営責任者(CEO)
- 一定
- 認証
- 証明する
- 挑戦する
- 課題
- 挑戦
- チャンス
- 変化する
- チェック
- 点検
- チップ
- チップ
- Chris Ho (クリス・ホー)
- クリア
- 時計
- コード
- 来ます
- 快適
- 到来
- コマンドと
- コミュニティ
- 企業
- 会社
- 補完的
- 完全に
- 複雑な
- 複雑さ
- コンポーネント
- 計算
- コンセプト
- 懸念
- 終了する
- 接続性
- 検討
- 見なさ
- 定数
- コンテキスト
- コントラスト
- コントロール
- コーナー
- 正しい
- 腐敗
- 高額で
- 可能性
- ここから
- カバー
- カバレッジ
- カバー
- 作成した
- 作成
- 基準
- 重大な
- 現在
- 曲線
- カスプ
- Customers
- サイバー攻撃
- サイクル
- データ
- データベース
- 日
- 死んだ
- 十年
- 専用の
- 遅延
- 配信
- 配達
- 需要
- 厳しい
- 需要
- によっては
- 展開
- 深さ
- 設計
- デザイナー
- デザイナー
- 設計
- デザイン
- にもかかわらず
- 検出
- 開発者
- 開発
- デバイス
- Devices
- 異なります
- 異なって
- 難しい
- デジタル
- 取締役
- 分割
- do
- ありません
- そうではありません
- すること
- ドメイン
- 行われ
- ドント
- によって
- 疑い
- ドリブン
- ドライバー
- 運転
- 各
- 前
- 早い
- 最も簡単
- 簡単に
- 簡単に
- エコシステム
- 教育の
- 効果的な
- 効果的に
- 効果
- 効率的な
- 努力
- どちら
- 排除
- 受け入れ
- emulation
- end
- エンジニア
- エンジニアリング
- エンジニア
- エンジン
- 強化
- 十分な
- 確保
- 全体
- 環境
- 同値
- 特に
- 本質的な
- エーテル(ETH)
- さらに
- EVER
- 増え続ける
- あらゆる
- 皆
- 誰も
- みんなの
- すべてのもの
- 進化する
- 例
- 例
- 包括的
- 詳細
- 専門知識
- 専門家
- 説明
- 爆発
- 指数関数的に
- ファブリック
- 要因
- 不良解析
- かなり
- おなじみの
- 速いです
- 特徴
- フィードバック
- 感じます
- 少数の
- より少ない
- フィールド
- File
- 発見
- 名
- 五
- floating
- フロー
- 焦点を当て
- フォーム
- フォーマル
- から
- フル
- function
- 機能的な
- 機能性
- 機能
- 未来
- 利得
- ギャップ
- 一般に
- 生成する
- 生成
- 地政学的
- 取得する
- を取得
- 巨人
- 与え
- グローバル化
- Go
- 行く
- 良い
- だ
- GPU
- GPU
- 素晴らしい
- グループ
- 成長
- 育ちます
- 成長性
- 起こります
- ハード
- Hardware
- 持ってる
- 持って
- he
- 助けます
- ためらって
- 階層
- ハイ
- ヒット
- うま
- 認定条件
- しかしながら
- HTTPS
- 巨大な
- 人間
- i
- 識別する
- 識別
- if
- 影響
- 実装
- 重要
- in
- include
- 含めて
- 増える
- 産業を変えます
- 説明書
- 統合
- インテル
- 意図
- 相互作用
- 興味深い
- インタフェース
- 介入
- に
- 概要
- 直観的な
- 投資
- 投資
- 関与
- IP
- 問題
- 問題
- IT
- リーディングシート
- ITS
- ジョブ
- JPG
- ただ
- 一つだけ
- 保管
- キー
- 種類
- 知っている
- 知識
- 既知の
- 労働
- 大
- より大きい
- 最大の
- 姓
- ラストマイル
- リーダー
- リード
- 学んだ
- う
- レベル
- 生活
- ライフサイクル
- ような
- 制限
- 限定的
- LINE
- 線形
- 少し
- 命
- 長い
- 長い時間
- より長いです
- 見て
- 探して
- たくさん
- ロー
- 下側
- 下げ
- 主流
- 主要な
- 大多数
- make
- 作成
- 管理
- マニュアル
- 多くの
- 地図
- マーク
- 市場
- math
- 問題
- 五月..
- 多分
- 意味
- メッセージ
- 方法
- 方法論
- メソッド
- マイル
- モバイル
- モジュール
- 他には?
- もっと効率的
- 最も
- 主に
- 移動
- ずっと
- の試合に
- しなければなりません
- my
- 無数の
- 名
- 自然
- 必ずしも
- 必要
- 必要
- ニーズ
- 決して
- 新作
- より新しい
- 次の
- nice
- いいえ
- 非専門家
- 注意
- 何も
- 今
- 数
- of
- オフ
- 頻繁に
- on
- ONE
- の
- 開いた
- オープンソース
- 開かれた
- 機会
- 最適化
- 最適化
- or
- 注文
- その他
- 私たちの
- でる
- が
- 克服する
- 自分の
- パッケージ
- 部
- 特に
- 過去
- のワークプ
- 以下のために
- 実行する
- パフォーマンス
- 視点
- 博士号
- 驚異的な
- 現象
- ピース
- 開拓者
- 場所
- 計画
- 計画
- プラトン
- プラトンデータインテリジェンス
- プラトデータ
- プレイ
- 演劇
- ポイント
- ポイント
- 可能
- 電力
- 予測する
- 予測
- プレゼンス
- かなり
- 問題
- 問題
- プロセス
- プロセッサ
- プロセッサ
- プロダクト
- 製品管理
- 生産
- 生産性
- プログラマー
- プロジェクト
- 目立つ
- 著名な
- 約束
- 正しく
- プロパティ
- 財産
- プロトコル
- 受験する
- プロバイダ
- パッティング
- クエリ
- 質問
- 質問
- すぐに
- 非常に
- R&D
- ランダム
- レート
- 価格表
- リアル
- 真価
- 現実
- 現実
- 実現
- 理由
- 合理的な
- 理由は
- 認識する
- 推奨される
- 減らします
- 指し
- 回帰
- 信頼性
- 残る
- 残っている
- 評判
- リクエスト
- の提出が必要です
- 要件
- 要件
- 必要
- 研究
- レビュー
- 革命
- ルート
- ラン
- s
- 安全な
- 安全性
- 前記
- 同じ
- 言う
- 格言
- スケーラビリティ
- 規模
- 縮尺
- 秤
- シナリオ
- スキーム
- 科学
- ショーン
- 二番
- 安全に
- セキュリティ
- 見ること
- 見て
- 販売
- 半導体
- シリアル
- セッションに
- シフト
- 不足
- 不足
- 最短
- すべき
- 表示する
- 側
- 重要
- 著しく
- シリコン
- 同様に
- 単に
- から
- SIX
- スキル
- わずかに異なる
- 小さい
- So
- 溶液
- ソリューション
- 解決する
- 解決します
- 一部
- 誰か
- 何か
- 時々
- ソース
- スペース
- 特定の
- 費やした
- Spot
- 広がる
- スプレッドシート
- スタッフ
- 猛者
- 開始
- 都道府県
- 手順
- ステップ
- まだ
- 刺激
- Force Stop
- ストーリー
- ストライド
- 成功する
- 成功
- そのような
- スイート
- 想定
- 確か
- 甘い
- システム
- 取る
- 才能
- Talk
- 会話
- チーム
- チーム
- 技術的
- テクニック
- テクノロジー
- テクノロジー
- 退屈な
- 言う
- 傾向がある
- 条件
- test
- より
- それ
- 未来
- ソース
- 世界
- アプリ環境に合わせて
- それら
- その後
- そこ。
- ボーマン
- 彼ら
- もの
- 物事
- 考える
- この
- 徹底的に
- それらの
- 考え
- 介して
- 全体
- 時間
- <font style="vertical-align: inherit;">回数</font>
- 先端
- 〜へ
- 今日
- 公差
- あまりに
- ツール
- 豊富なツール群
- top
- に向かって
- トレース
- トレーシング
- 伝統的な
- すばらしい
- トロイの
- トロイの木馬
- 信頼
- 信頼できる
- しよう
- 順番
- 2
- type
- 一般的に
- 下
- 根本的な
- わかる
- 進行中の
- 思いがけない
- ユニーク
- 単位
- ない限り、
- us
- 使用法
- つかいます
- 中古
- 便利
- ユーザー
- users
- 使用されます
- 通常
- 活用する
- 利用された
- 値
- バリアント
- 多様
- 変わります
- 変化する
- 広大な
- ベンダー
- ベンダー
- Verification
- 確認する
- 検証する
- 精通している
- 対
- 垂直
- 非常に
- バイス
- ボリューム
- vs
- 脆弱性
- 散歩
- 欲しいです
- wanted
- 望んでいる
- ました
- 仕方..
- 方法
- we
- WELL
- した
- この試験は
- どのような
- いつ
- かどうか
- which
- while
- 誰
- なぜ
- より広い
- 広範囲
- 意志
- 以内
- 無し
- 仕事
- 作品
- 世界
- 不安
- でしょう
- 書き込み
- 年
- 貴社
- あなたの
- ゼファーネット