松本 剛史

High-Level Engineering Change Through Programmable Datapath and SMT Solvers 

IEEE International Symposium on Circuits and Systems 2019 2019年5月  

電子回路工作を苦手とする学生向けの自学自習教材の開発 

石川工業高等専門学校紀要 47(47) 87-93 2015年  査読有り

Debugging Methods Through Identification of Appropriate Functions for Internal Gates 

VLSI-SOC: AT THE CROSSROADS OF EMERGING TRENDS 461 1-22 2015年  査読有り

Trace Signal Selection Methods for Post Silicon Debugging 

2015 IFIP/IEEE INTERNATIONAL CONFERENCE ON VERY LARGE SCALE INTEGRATION (VLSI-SOC) 258-263 2015年  査読有り

SAT-based automatic rectification and debugging of combinational circuits with lut insertions 

IPSJ Transactions on System LSI Design Methodology 7 46-55 2014年2月  査読有り

Debugging Processors with Advanced Features by Reprogramming LUTs on FPGA 

PROCEEDINGS OF THE 2013 INTERNATIONAL CONFERENCE ON FIELD-PROGRAMMABLE TECHNOLOGY (FPT) 50-57 2013年  査読有り

SAT-based automatic rectification and debugging of combinational circuits with LUT insertions 

Proceedings of the Asian Test Symposium 19-24 2012年  査読有り