Get started
Author

昌宏 藤田

Observed name: 藤田昌宏
OpenAlex ID: A5049535646
Evaluation and Improvements of Boolean Comparison Method Based on Binary Decision Diagrams
1988 · 昌宏 藤田, 久典 藤沢, et al. · 情報処理学会研究報告システムLSI設計技術（SLDM） · 30
Logic design assistance with temporal logic
1985 · 昌宏 藤田 · Medical Entomology and Zoology · 19
Difference Computation of Design Descriptions For Incremental High-Level Synthesis
2011 · 浩章 吉田, 昌宏 藤田 · Medical Entomology and Zoology · 2
特集「論理設計の形式的検証」の編集にあたって
1994 · 裕実 平石, 昌宏 藤田 · Medical Entomology and Zoology · 1
コンテスター(コンセント配線検査器) (特集 計測・計量の仕組みと運用) -- (現場で使う ； 回路検査・測定)
2021 · 昌宏 藤田 · Medical Entomology and Zoology
スポーツ選手の腰痛の評価と対処 (特集 スポーツ障害と痛みについて考える)
2018 · 直心 吉村, 隆文 井上, et al. · 臨床スポーツ医学
Template-based C Description Generation after ECO at RTL Design Stage (VLSI設計技術)
2017 · 勤浩 王, 悠介 木村, et al. · IEICE technical report. Speech
60nm CAAC‐IGZO FETと65nm CMOSを組み合わせて作成した組み込みメモリとARM Cortex‐M0コア
2017 · 達也 大貫, 敦生 磯部, et al.
"BIM-Cost"開発について (特集 『図面』を変える : BIMの深化が誘う建設プロセスの変革)
2015 · 浩文 渡邉, 昌宏 藤田 · 建築と社会
実時間組み込みソフトウェア解析のためのhw/sw協調検査 (vlsi設計技術)
2015 · 悠介 木村, アミル マスード ガラバギ, et al. · IEICE technical report. Speech
Vt キャンセル書込方法を用いた結晶性In-Ga-Zn Oxide FETによる128kb 4bit/cell 不揮発性メモリ
2015 · 隆徳 松嵜, 達也 大貫, et al.
単一縮退故障用テストパターン生成を利用した多重縮退故障用テストパターン生成(テスト・検証,組込み技術とネットワークに関するワークショップetnet2015)
2015 · 昌宏 藤田, 直樹 田口 · Distributed Computing
複数故障モデルに対する多重故障テストパタン生成 (vlsi設計技術) -- (デザインガイア2014 : Vlsi設計の新しい大地)
2014 · 昌宏 藤田, アラン ミシュチェンコ · IEICE technical report. Speech
複数故障モデルに対する多重故障テストパタン生成(設計手法(1),デザインガイア2014-vlsi設計の新しい大地-)
2014 · 昌宏 藤田, アラン ミシュチェンコ · Distributed Computing
招待講演 180nm結晶性酸化物半導体トランジスタを用いた1.5-clock backup/2.5-clock restoreとゼロ・スタンバイ・パワーを実現する32bit CPU (シリコン材料・デバイス)
2014 · 潤 小山, 敦生 磯部, et al. · IEICE technical report. Speech
招待講演 180nm結晶性酸化物半導体トランジスタを用いた1.5-clock backup/2.5-clock restoreとゼロ・スタンバイ・パワーを実現する32bit CPU (集積回路)
2014 · 潤 小山, 敦生 磯部, et al. · IEICE technical report. Speech
180nm結晶性酸化物半導体トランジスタを用いた1.5-clock backup/2.5-clock restoreとゼロ・スタンバイ・パワーを実現する32bit CPU(低電圧/低消費電力技術,新デバイス・回路とその応用)
2014 · 潤 小山, 敦生 磯部, et al. · SIAM International Conference on Data Mining
180nm結晶性酸化物半導体トランジスタを用いた1.5-clock backup/2.5-clock restoreとゼロ・スタンバイ・パワーを実現する32bit CPU
2014 · 潤 小山, 敦生 磯部, et al.
滋賀大学のいま 教育学部 「「アート」は「教育」かもしれない」
2014 · 昌宏 藤田 · Institutional Repositories DataBase (IRDB)
プログラム可能データパスとsmtソルバーを利用した高位設計デバッグ手法 (コンピュータシステム 組込み技術とネットワークに関するワークショップetnet2014)
2014 · 剛史 松本, 怜史 城, et al. · IEICE technical report. Speech
プログラム可能データパスとsmtソルバーを利用した高位設計デバッグ手法(検証技術,組込み技術とネットワークに関するワークショップetnet2014)
2014 · 剛史 松本, 怜史 城, et al. · Distributed Computing
アサーション自動生成とそのシミュレーションによる完全検証(検証技術,組込み技術とネットワークに関するワークショップetnet2014)
2014 · 昌宏 藤田, 剛史 松本, et al. · Distributed Computing
Debugging High Level Designs using Programmable Datapaths and SMT Solvers
2014 · 剛史 松本, 怜史 城, et al. · Medical Entomology and Zoology
Automatic Generation of Assertions and their Formal Verification through Simulations
2014 · 昌宏 藤田, 剛史 松本, et al. · Medical Entomology and Zoology
9.2 Flec : 形式的検証ツール(第9章:テストカバレッジ, ディペンダブルvlsiシステム)
2013 · 昌宏 藤田, 剛史 松本, et al. · 日本信頼性学会誌 : 信頼性
Works count: 377
Citation count: 52
H-index: 2
I10-index: 2
Year
Topic
Type