機能検証の新しい渡rnインテリジェント・テストペンチ・ォートメーション

Mark Olen

首页> 外文期刊>日経マイクロデバイス >機能検証の新しい渡rnインテリジェント・テストペンチ・ォートメーション

【24h】

機能検証の新しい渡rnインテリジェント・テストペンチ・ォートメーション

机译：新型功能验证智能测试钳自动化

获取原文

获取原文并翻译 | 示例

掌桥外文数据库（机构版） >>

开具论文收录证明 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

設計の複雑性が高まるにつれ、機能検証はますまrnす複雑になってきました。実際のデザインを作成するrn時間より、そのデザインが動作することを検証するたrnめに費やす時間が長ぃことは、多くのプロジェクト?rnチームにとって珍しぃことではありません。この検証rn効率を向上させるため、フォーマル検証と機能シミュrnレーションの両方を含む様々なツールに投資が行わrnれてぃます。フォーマル解析はデザインのプロパティrnを静的に、場合によっては動的に検証する有益なrnチェックを行ぃます。

机译：随着设计复杂度的增加，功能验证也变得越来越复杂。对于许多项目团队来说，花费更多的时间来验证设计是否正常并不比创建它实际花费的时间多见。为了提高这种验证效率，我们正在投资各种工具，包括形式验证和功能仿真。形式分析提供了一种有用的检查，可以静态地（在某些情况下）动态地验证设计属性。

著录项

来源
《日経マイクロデバイス》 |2008年第275期|8-9|共2页
作者
Mark Olen;
展开▼
作者单位

展开▼
收录信息
原文格式 PDF
正文语种 jpn
中图分类
关键词

相似文献

外文文献
中文文献
专利

1. 連載：ランドスケープ・アーキテクチュアとアーバン・デザインの新しい関係-第14回エコシステマによるヴァジェカスのエコブールヴァード：「未完の街」に生命をもたらすインタラクティヴ・フォレストルーシー＝バリヴアント [J] . 建築と都市 . 2008,第452期

机译：系列：景观设计与城市设计之间的新关系第十四届Vallecas生态大道生态系统：互动式森林露西-巴利万特将生命带入“未完成的城市”
2. NTTら業界団体を設立光通信技術を研究日本電信電話(株)(NTT、東京都千代田区)、米インテル、ソ二ー(株)(東京都港区)の3社は、新たな業界団体を設立する。光電融合技術を活用したフォトニクス関連技術の研究開発などを推進し、超大容量通信に対応できる光ネットヮーク技術の確立などを目指してハる。3-3プロセッシング領域狙う国内DRAM大手のェルピーダメモリを買収し、大きく飛躍を遂げた米マイクロンテクノロジー。2017年にはサンディスク共同創業者の1人である、Sanjay Mehrotra (サンジエイ·メイロトラ)氏を招聘。経営体制も刷新され、大きく生まれ変わった「新生マイクロン」を全面に押し出した。米サンフランシスコで開催されたプライベートイベント「MlicronInsight 2019」(現地10月24日開催)では、同社のあるべき将来像に対するメッセージが随所に散りばめられていた。 [J] . 半導体産業新聞 . 2019,第2372期

机译：成立了NTT和其他工业集团研究光通信技术的日本电报电话公司（NTT，东京千代田区），英特尔，索尼公司（东京都港区）是三个新的工业集团。建立。促进利用光电子融合技术的光子相关技术的研究和开发，并致力于建立可支持超高容量通信的光网络技术。 3-3处理领域美国Micron Technology在收购了国内主要DRAM公司Elpida Memory之后取得了巨大飞跃。 2017年，我们邀请了Sanjay联合创始人Sanjay Mehrotra。管理系统也进行了改进，我们推出了完全脱胎换骨的“新Micron”。在旧金山举行的私人活动“ Mlicron Insight 2019”（10月24日举行）上，有关公司未来愿景的信息四处散布。
3. アイ・ウェイウェイ、ルイス・アルドレーテ、クリストアンド・ガンテンパインACアーキテクテン、デリェカンプ・アルキテクトス、エレメンタル、ゴドイラボ、HHIファーキテクツ、オマール・オルライネータ、ペリフェリカ、タチアナ・ビルバオ、タリエルTOA [J] . 建築と都市 . 2010,第480期

机译：艾未未，路易斯·阿尔德雷特，克里斯托和甘滕·派恩AC Architecten，Derekamp Architectus，Elemental，Godoi Labo，HHI Far Architects，Omar Orleineta，Periferica，Tatiana Bilbao，Tariel TOA
4. マルチメディアコラボレーションによるリモートメンテナンスシステムの構築（第3報）コラボレーション機能の統合によるリモートメンテナンスの動作検証 [C] . 井上貴博, 木村利明, 神田雄一精密工学会大会学術講演会 . 2007

机译：通过集成协作功能，通过多媒体协作（第3次报告）操作验证远程维护的远程维护系统
5. メニーコアCPU上での粗粒度タスクへの計算機資源動的割当手法 -完全準同型暗号を用いたクライアント-サーバアプリケーションの平均レイテンシ短縮を目指して- [D] . 鈴木拓也 2020

机译：动态分配计算机资源以在多核CPU上执行粗粒度的任务-具有全同态密码学的客户端-旨在减少服务器应用程序的平均延迟-
6. イノベーション・マネジメントと管理会計の新結合-イノベーションの類型とマネジメント・コントロール・システムの適合性を中心として- [O] . 2008

机译：创新管理与管理会计的新组合 - 侧重于创新类型和管理控制系统的适用性 -

機能検証の新しい渡rnインテリジェント・テストペンチ・ォートメーション

摘要

著录项

相似文献

相关主题

期刊订阅