教員情報 - 吉村　正義 | 京都産業大学

ヨシムラ　マサヨシ YOSHIMURA MASAYOSHI
吉村　正義

所属

京都産業大学情報理工学部情報理工学科

職種教授

学会発表
2024/10/08	A Low Power Oriented Multiple Target Test Generation Method for 2-Cycle Gate-Exhaustive Faults (37th IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems, DFT2024)
2023/10/03	A Block Partitioning Method for Region Exhaustive Test to Reduce the Number of Test Patterns and Improve Gate Exhaustive Fault Coverage (2023 IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems (DFT))
2023/10/03	An Evaluation of a Testability Measure for State Assignment to Estimate Transition Fault Coverage for Controllers (2023 IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems (DFT))
2023/10/03	Data Paths at Register Transfer Level Using Status Signal Sequences Based on k-Consecutive State Transitions for Field Testing (2023 IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems (DFT))
2022/10/19	CRLock: A SAT and FALL Attacks Resistant Logic Locking Method at Register Transfer Level (2022 IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems (DFT))
2021/11/26	A SAT and FALL Attacks Resistant Logic Locking Method at Register Transfer Level (The Workshop on RTL and High Level Testing 2021)
2021/11/26	An Additional State Transition Insertion Method to Improve Transition Fault Coverage for Controllers (The Workshop on RTL and High Level Testing 2021)
2021/03/26	コントローラの遷移故障検出率向上のためのコントローラ拡大法 (ETNET2021)
2021/03/26	レジスタ転送レベルにおけるアンチSATに基づく論理暗号化法 (ETNET2021)
2021/02/05	RTLハードウェア要素のテストスケジューリング情報を用いた多重目標故障テスト生成法 (ディペンダブルコンピューティング研究会)
2021/02/05	レジスタ転送レベルにおける非スキャンベースフィールドテスタビリティに基づく制御信号のドントケア割当て法 (ディペンダブルコンピューティング研究会)
2020/10/19	A Multiple Target Test Generation Method for Gate-Exhaustive Faults to Reduce the Number of Test Patterns Using Partial MaxSAT (2020 IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems (DFT))
2020/07/31	テストパターン数削減のためのゲート網羅故障の多重目標故障テスト生成法 (SWoPP2020)
2020/07/31	機能等価な有限状態機械生成に基づく面積削減指向コントローラ拡大法 (SWoPP2020)
2020/07/13	A Low Capture Power Oriented X-Identification-Filling Co-Optimization Method (2020 IEEE 26th International Symposium on On-Line Testing and Robust System Design (IOLTS))
2020/03/26	パーシャルMAX-SATを用いた抵抗性オープン故障に対するテスト生成法 (VLD研究会)
2020/02/26	n入力マルチプレクサのテスト不能故障数削減のためのコントローラ拡大法 (ディペンダブルコンピューティング研究会)
2020/02/26	パーシャルMaxSATを用いた低消費電力指向ドントケア判定・割当て同時最適化法 (ディペンダブルコンピューティング研究会)
2019/12/14	A Don't Care Identification-Filling Co-Optimization Method for Low Capture Power Testing Using Partial MaxSAT (The Workshop on RTL and High Level Testing 2019)
2019/10/24	n回状態遷移被覆に基づく非スキャンオンラインテスト法 (ディペンダブルコンピューティング研究会)
2019/10/03	A State Assignment Method to Improve Transition Fault Coverage for Controllers (2019 IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems (DFT))
2019/10/02	A Low Capture Power Oriented X-filling Method Using Partial MaxSAT Iteratively (2019 IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems (DFT))
2019/08/30	Partial MaxSATを用いた低消費電力指向ドントケア割当て法 (DAシンポジウム2019)
2019/08/29	RTLにおけるコントローラの論理暗号化手法 (DAシンポジウム2019)
2019/07/03	A Controller Augmentation Method to Improve Transition Fault Coverage for RTL Data-Paths (2019 IEEE 25th International Symposium on On-Line Testing and Robust System Design (IOLTS))
2019/07/02	An Efficient SAT-Attack Algorithm Against Logic Encryption (2019 IEEE 25th International Symposium on On-Line Testing and Robust System Design (IOLTS))
2019/03/18	最大充足化問題を用いた抵抗性オープン故障に対するテスト生成法 (組込み技術とネットワークに関するワークショップ ETNET2019)
2019/02/28	論理暗号化に対する効率的なSAT攻撃アルゴリズムの評価と改良 (VLSI設計技術研究会)
2019/02/27	キャプチャセーフテストベクトルの故障伝搬経路を模倣した低消費電力指向ドントケア判定法 (ディペンダブルコンピューティング研究会)
2019/02/27	コントローラの遷移故障検出率向上のための状態割当て手法 (ディペンダブルコンピューティング研究会)
2018/12/06	論理暗号化に対するSAT攻撃の効率的なアルゴリズムについて (デザインガイア2018 -VLSI設計の新しい大地-)
2018/10/19	A design for testability method to improve transition fault coverage using controller augmentation at register transfer level (The Nineteenth Workshop on RTL and High Level Testing)
2018/08/31	レジスタ転送レベルにおけるコントローラ拡大を用いた遷移故障検出率向上のためのテスト容易化設計 (DAシンポジウム2018)
2018/07/04	A Capture Safe Static Test Compaction Method Based on Don't Cares (2018 IEEE 24th International Symposium on On-Line Testing And Robust System Design (IOLTS))
2018/07/03	A Sequentially Untestable Fault Identification Method Based on n-Bit State Cube Justification (2018 IEEE 24th International Symposium on On-Line Testing And Robust System Design (IOLTS))
2018/07/02	A Test Register Assignment Method Based on Controller Augmentation to Reduce the Number of Test Patterns (2018 IEEE 24th International Symposium on On-Line Testing And Robust System Design (IOLTS))
2018/07/02	Controller augmentation and test point insertion at RTL for concurrent operational unit testing (2017 IEEE 23rd International Symposium on On-Line Testing And Robust System Design (IOLTS))
2018/03/23	A Secure Design Method to Detect for Trojan Circuit inserted in Manufacturing Process (DUHDe 2018 — 5th Workshop on Design Automation for Understanding Hardware Designs)
2018/03/23	A Test Register Assignment Method to Reduce the Number of Test Patterns Using Controller Augmentation (DUHDe 2018 — 5th Workshop on Design Automation for Understanding Hardware Designs)
2018/02/20	コントローラ拡大を用いた遷移故障テストパターン数削減のための演算器のテストレジスタ割当て法 (ディペンダブルコンピューティング研究会)
2017/11/07	製造過程でのトロイ回路混入を検知する設計手法 (デザインガイア2017 -VLSI設計の新しい大地-)
2017/11/06	IPコアの論理暗号化法の復号化鍵数の評価 (デザインガイア2017 -VLSI設計の新しい大地-)
2017/11/06	コントローラ拡大を用いたレジスタ転送レベルにおけるテストパターン数削減のためのハードウェア要素のテストレジスタ割当て法 (デザインガイア2017 -VLSI設計の新しい大地-)
2017/09/01	ドントケアを用いたキャプチャセーフテスト集合の静的テスト圧縮法 (DAシンポジウム2017)
2017/09/01	フリップフロップ組合せの状態正当化による到達不能状態を用いた順序回路のテスト不能故障判定法 (DAシンポジウム2017)
2017/02/21	到達不能状態を用いたSATベース順序回路のテスト不能故障判定法 (ディペンダブルコンピューティング研究会)
2017/01/24	A Hardware Trojan Circuit Detection Method Using Activation Sequence Generations (2017 IEEE 22nd Pacific Rim International Symposium on Dependable Computing (PRDC))
2016/11/25	A Design for Testability Method at RTL for Concurrent Operational Unit Testing (2017 IEEE The Seventeenth Workshop on RTL and High Level Testing)
2016/09/15	コントローラ拡大とテストポイントを用いたテスト圧縮効率向上のためのテスト容易化設計 (DAシンポジウム2016)
2016/02/27	テストパターン数削減のためのRTLテストポイント挿入法 (ディペンダブルコンピューティング研究会)
2015/12/03	静的テスト圧縮のための多重目標故障テスト生成を用いたMバイNアルゴリズム (デザインガイア2015)
2015/11/25	A Sequence Generation Method to detect Hardware Trojan Circuits (16th IEEE Workshop on RTL and High Level Testing 2015)
2015/11/23	A Don’t Care Filling Method to Reduce Capture Power based on Correlation of FF Transitions (24th IEEE Asian Test Symposium 2015)
2015/08/28	VLSI設計工程時における未遷移信号線情報に基づいたトロイ回路検出法 (DAシンポジウム2015)
2015/06/16	BASTにおけるスキャンスライスに基づくテストデータ削減法 (ディペンダブルコンピューティング研究会)
2015/03/13	A Multi Cycle Capture Test Generation Method for Low Capture Power Dissipation (Designing with Uncertainty - Opportunities & Challenges)
2015/02/23	スキャンベース攻撃を考慮した暗号LSIのテスト手法 (ディペンダブルコンピューティング研究会)
2015/02/23	信号非遷移情報に基づくトロイ回路検出法 (ディペンダブルコンピューティング研究会)
2014	キャプチャ消費電力削減のためのテストポイント挿入法 (ディペンダブルコンピューティング研究会)
2014	キャプチャ消費電力削減のためのマルチサイクルキャプチャテスト生成法 (ディペンダブルコンピューティング研究会)
2013	A don't care identification method for test compaction (2013 IEEE 16th International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS))
2013	A Smart Trojan Circuit and Smart Attack Method in AES Encryption Circuits (16th IEEE Symposium Defect and Fault Tolerance in VLSI and Nanotechnology Systems (DFT2013))
2013	Bridging the Gap Between Device Level Modeling and Register Transfer Level Modeling (1st RIIF Workshop)
2012	A Test Point Insertion Method Using Don’t Care Identification and Test Compaction Techniques to Reduce Test Application Time for Transition Faults (IEEE 13th Workshop on RTL and High Level Testing (WRTLT’12))
2012	Neutron-Induced Soft Error Rate Estimation for SRAM using PHITS (2012 IEEE 18th International On-Line Testing Symposium (IOLTS 2012))
2011	Multiple-Bit-Upset and Single-Bit-Upset Resilient 8T SRAM Bitcell Layout with Divided Wordline Structure (2011 IEEE 17th International On-Line Testing Symposium (IOLTS 2011))
2011	Multiple-Bit-Upset Tolerant 8T SRAM Cell Layout with Divided Wordline Structure (7th Workshop on Silicon Errors in Logic - System Effects (SELSE7),)
2010	A Comprehensive Functional Time Expansion Model Generation Method for Datapaths Using Controllers (IEEE Eleventh Workshop on RTL and High Level Testing (WRTLT'10),)
2010	A Test Pattern Matching Method on BAST Architecture using Don't Care Identification for Random Pattern Resistant Faults (The 2010 International Symposium on Communications and Information Technologies (ISCIT2010))
2010	An Estimation of Encryption LSI Testability against Scan-based Attack (The 2010 International Symposium on Communications and Information Technologies (ISCIT2010))
2010	Evaluation of Transition Untestable Faults Using a Multi Cycle Capture Test Generation Method (The 13th IEEE Symposium on Design and Diagnostics of Electronic Circuits and Systems)
2010	TMR based Error Correction Method Considering Trade-off between Area and Soft-Error Tolerance (The 19th International Workshop on Logic and Synthesis)
2008	A Bit flipping Reduction Method for Pseudo-random Patterns Using Don’t Care Identification on BAST Architecture (The Ninth IEEE Workshop on RTL and High Level Testing (WRTLT’08))
2008	A Test Generation Method for Datapath Circuits Using Functional Time Expansion Models (The Ninth IEEE Workshop on RTL and High Level Testing (WRTLT’08))
2006	Development of practical ATPG tool with flexible interface (IEEE The 15th Asian Test Symposium)