(Last updated : 2020-03-05 15:45:25)
  Kondo Masahumi
   Department     ,
■ Present specialized field
Computer system (Key Word:GALS System, Asynchronous Circuit, Geometric Correction, Medical Image Processing, Formal Verification) 
■ Journal
1. 2020/03/01 Symbolic Representation of Time Petri Nets for Efficient Bounded Model Checking 
2. 2017/03 A serial multiply and accumulator for digital hearing aid 
3. 2017/01 Symbolic Representation based on Difference Logic of Time Petri Nets for Efficient Bounded Model Checking 
4. 2016/06 A method of reducing amount of operations on the bit serial multiply-accumulator and its application 
5. 2015/01 Bounded model checking of Time Petri Nets using SAT solver 
Display all(8)
■ Presentation
1. 2016/11/24 A Serial Booth Multiplier Using Ring Oscillator  
2. 2016/11/11 Implementation and evaluation of distributed asynchronous arbiters on multiple FPGAs  
3. 2013/12/05 Implementation of Tree Arbiter for FPGA and Metastability Analysis  
4. 2009/06/19 A ring segmented bus architecture for Globally Asynchronous Locally Synchronous System  
■ Belonging society
1. 2008/12~ The Institute of Electronics, Information and Communication Engineers
2. 2009/08~ Information Processing Society of Japan
3. 2013/06~ The Institute of Electrical Engineers of Japan