专利快速检索-快速检索全球专利，免费商用专利数据库-IPRDB

1. 发明专利

JP2020534603A 量子回路をシミュレートする方法およびコンピュータ・プログラム审中-公开
公开(公告)号：JP2020534603A
公开(公告)日：2020-11-26
申请号：JP2020515693
申请日：2017-12-01
申请人：インターナショナル・ビジネス・マシーンズ・コーポレーション , INTERNATIONAL BUSINESS MACHINES CORPORATION
发明人：ペノール、エドウィン、ピーター、ドーソン , グンネルス、ジョン
IPC分类号： G06F7/38 , G06F30/33 , G06F30/3308 , G06N10/00
摘要：【課題】量子回路をシミュレートする。【解決手段】コンピュータ実装方法は、量子回路のデジタル記述を受信することと、量子回路のデジタル記述を複数の量子サブ回路へと分割することであって、複数の量子サブ回路の各量子サブ回路は1つまたは複数の量子ゲートを備える、分割することと、複数の量子サブ回路についてサブ回路依存度を決定することと、サブ回路依存度に従って複数の量子サブ回路をシミュレートして、複数の量子サブ回路の各量子サブ回路についてシミュレーション結果を生成することと、を含み、複数の量子サブ回路のうちの第1の量子サブ回路および第2の量子サブ回路は、共通のキュービットに適用される1つまたは複数のゲートを各々含み、第1の量子サブ回路および第2の量子サブ回路は、もつれ状態のテンソル・インデックスを使用して互いに独立してシミュレートされる。対応するコンピュータ・システムおよびコンピュータ・プログラム製品もまた、本明細書において開示される。【選択図】図1

2. 发明专利

JP2020524351A フォーマルフォールト伝搬分析のためのシステム及び方法审中-公开
公开(公告)号：JP2020524351A
公开(公告)日：2020-08-13
申请号：JP2020519181
申请日：2018-06-19
申请人：ワンスピンソリューションズゲーエムベーハー , Onespin Solutions GmbH
发明人：ストラッサードミニク , グロッセジョーク , ラニックジャン , ブリンクマンライク
IPC分类号： G06F30/3308 , G06F30/33
摘要：フォールトの位置及び性質に関する情報を活用することにより、最小限の回路論理の複製でフォールト(非)伝搬の順次等価性問題を公式化するためのシステム及び方法。このシステム及び方法は、さらに、フォーマルチェックを安全診断に適用し、且つ単純なトランジェントフォールト及び複雑なトランジェントフォールトを効率的にモデル化する。

3. 发明专利

JP2021530063A EDAパッドパッケージライブラリの更新/応用方法、システム、媒体及び端末有权
公开(公告)号：JP2021530063A
公开(公告)日：2021-11-04
申请号：JP2021502782
申请日：2018-09-28
申请人：上海望友信息科技有限公司
发明人： ▲銭▼ ▲勝▼杰 , ▲劉▼ ▲豊▼收
IPC分类号： G06F30/3308 , G06F16/24 , G06F16/28 , G06F119/20 , G06F30/39
摘要：本発明は、EDAパッドパッケージライブラリの更新/応用方法、システム、媒体及び端末を提供する。EDAパッドパッケージライブラリの更新方法は、EDA配線データから、パッドのパターンデータと、前記パッドに基づくデバイスの設置情報を抽出するステップと、デバイスの属性情報に基づき、前記デバイスのパターンモデルを検索してダウンロードするステップと、前記パッドに基づくデバイスの設置情報により、デバイスのパターンモデルとパッドのパターンデータの組み付けをシミュレーションすることで、シミュレーションしたパッケージパッドを形成するステップと、シミュレーションしたパッケージパッドをモデルデータベースに記憶し、前記モデルデータベースにおいて予め定められたキーワード/キー・フレーズに基づき関連付けを行うことで、既存のEDAパッドパッケージライブラリを更新するステップとを含む。本発明によれば、パッドパッケージライブラリが存在しない場合でも、他者が構築したパッケージパッドを迅速に入手することができる。また、検証済みの最適なパッドへの継続的且つ迅速な更新が可能である。且つ、実体デバイスに対応するパッケージパッドのビッグデータ分析のためにデータが蓄積される。【選択図】図2

4. 发明专利

JP6721423B2 アプリロジックおよびその検証方法有权
公开(公告)号：JP6721423B2
公开(公告)日：2020-07-15
申请号：JP2016117505
申请日：2016-06-14
申请人：株式会社日立製作所
发明人：本谷徹 , 白石雅裕 , 西川悟史 , 山本圭輔 , 鳥羽忠信 , 上薗巧 , 原田英雄 , 菅野雄介
IPC分类号： G21D3/04 , G05B19/05 , G06F30/3308

5. 发明专利

JP2020149312A 回路設計支援方法、及び回路設計支援プログラム审中-公开
公开(公告)号：JP2020149312A
公开(公告)日：2020-09-17
申请号：JP2019045850
申请日：2019-03-13
申请人：株式会社東芝 , 東芝デバイス&ストレージ株式会社
发明人：土勢真文
IPC分类号： G06F30/33 , G06F30/3308 , H01L21/82 , G06F30/398
摘要：【課題】消費電力に対する影響が大きいグリッチ発生源を特定する。【解決手段】一実施形態の回路設計支援方法は、回路に対するサイクルベース論理シミュレーションの実行により得られた第1動作情報を上記回路内で確率伝搬し、第1確定動作情報を生成することと、上記回路から複数のグリッチ発生源を抽出することと、上記第1動作情報に基づき、上記複数のグリッチ発生源のうちの1つについてグリッチを考慮した第2動作情報を上記回路内で確率伝搬し、第2確定動作情報を生成することと、上記第1確定動作情報及び上記第2確定動作情報を比較し、その比較結果が条件を満たすか否かを判定することと、上記第2確定動作情報を生成すること及び上記判定することを上記複数のグリッチ発生源の各々について実行し、上記条件を満たすと判定された1又は複数のグリッチ発生源をユーザに提示することと、を備える。【選択図】図5

6. 发明专利

JP6731062B2 設計検証装置有权
公开(公告)号：JP6731062B2
公开(公告)日：2020-07-29
申请号：JP2018543570
申请日：2016-10-07
申请人：株式会社日立製作所
发明人：松原正裕
IPC分类号： G06F30/33 , G06F11/36 , G06F30/3308

7. 发明专利

JP2020021173A ディジタル検証支援装置及びディジタル検証支援用プログラム审中-公开
公开(公告)号：JP2020021173A
公开(公告)日：2020-02-06
申请号：JP2018142856
申请日：2018-07-30
申请人：東芝情報システム株式会社
发明人：倪佳冰
IPC分类号： G06F30/33 , G06F30/3308
摘要：【課題】ディジタル検証を行うシミュレータに、処理に要する割込位置情報と最適スナップショット位置情報とを与えて適切な処理を可能とする。【解決手段】ディジタル検証を行うシミュレータに与えるベクタにおける割込位置を検出する割込位置検出手段210と、この割込位置検出手段210により検出された割込位置に基づきスナップショット位置決定手段220とを具備する。【選択図】図3

8. 发明专利

JP6958038B2 シミュレーションプログラム、方法、及び装置有权
公开(公告)号：JP6958038B2
公开(公告)日：2021-11-02
申请号：JP2017133099
申请日：2017-07-06
申请人：富士通株式会社
发明人：依田勝洋 , 野津隆弘 , 伴野充
IPC分类号： G06F9/455 , G06F30/10 , G06F30/30 , G06F30/32 , G06F30/3308 , G06F30/33

9. 发明专利

JP2020160482A 性能見積もり装置、端末装置、システムLSI及びプログラム审中-公开
公开(公告)号：JP2020160482A
公开(公告)日：2020-10-01
申请号：JP2019055859
申请日：2019-03-25
申请人：株式会社東芝 , 東芝デバイス&ストレージ株式会社
发明人：武田瑛
IPC分类号： G06F30/3308
摘要：【課題】システムLSIの性能の正確な見積もりを行う。【解決手段】性能見積もり装置は、処理の繋がりをノードの繋がりとして表わすタスクグラフで表現されるアプリケーションにおいて、指定されたRPCを実行するRPCノードをシステムLSIに割り当てて、システムLSIにRPC処理を実行させ、このRPC処理の実行時のスナップショット22311をシステムLSIに保存する。そして、RPCノードと、指定された実行周期および繰り返し回数とにより、システムLSIにRPC処理をパイプライン的に実行させる際に、スナップショット22311に基づいて実行させ、その実行時のプロファイル結果を取得する。【選択図】図3

10. 发明专利

JP2020144765A 記述変換方法、シミュレーション方法及び記述変換プログラム审中-公开
公开(公告)号：JP2020144765A
公开(公告)日：2020-09-10
申请号：JP2019042590
申请日：2019-03-08
申请人：富士通株式会社
发明人：田宮豊
IPC分类号： G06F8/30 , G06F30/32 , G06F30/3308
摘要：【課題】シミュレーション実行を高速化すること。【解決手段】記述変換方法では、ハードウェア記述言語で記述された回路モデルを取得し、回路モデルに含まれるプロセス及びレジスタ変数の間における読み込み及び書き込みの関係を抽出し、抽出された関係が所定の条件を満たすレジスタ変数の個数に基づいてプロセスの評価順序を決定し、回路モデルに含まれるレジスタ変数のうち、決定されたプロセスの評価順序で条件を満たすレジスタ変数をブロッキング変数に変換する、処理をコンピュータが実行する。【選択図】図1

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式