Research topic, funded research, and department laboratory expense
2006/04/01
～
2008/03/31
Research on development of synthesis and verification systems for numerical function generators
2006/04/01
～
2008/03/31
Research on representations of elementry functions using decision diagrams and their applications
2008/04/01
～
2010/03/31
Research on development of synthesis system for multivariable numerical function generators
2008/04/01
～
2010/03/31
Research on graph-based representations of multiple-variable mathematical functions and floating-point mathematical functions
2010/04/01
～
2013/03/31
Research on development of a reconfigurable digital signal synthesizer and its design automation
2010/04/01
～
2013/03/31
Research on analysis of multi-state systems using decision diagrams
2010/04/01
～
2013/03/31
Fast test pattern generation using an FPGA-based hardware SAT solver Joint Research inside the organization
2013/04/01
～
2016/03/31
Research on development of a programmable multi-dimensional digital signal synthesizer and its design automation
2014/05/01
～
2015/03/31
A Study on High-Speed String Matching Using Decision Diagrams
2014/04/01
～
2017/03/31
Research on analysis and diagnosis of multi-state systems using decision diagrams
2016/04/01
～
2019/03/31
Development of a Fast Programmable Network Intrusion Detection System Based on Decision Diagrams
2017/04/01
～
2020/03/31
Research on EdTech for learning computer design technologies
2019/04/01
～
2023/03/31
Development of a Self Machine Learning System for Fast Detection of Intrusions to Next Generation in-Vehicle Network
2023/04/01
～
2027/03/31
Development of Fast Visual Inspection Systems Aiming to Promotion of Smart Factories in Rural Area