Research keywords (1):
Logic Circuit Design and Verification, High-level Synthesis and Verification, Electronic Design Automation, LSI
Associations for Computing Machinery
, IPSJ
, IEICE
, IEEE
, The 14th Workshop on Synthesis And System Integration of Mixed Information technologies
, The 15th Workshop on Synthesis And System Integration of Mixed Information technologies
, VLSI Design Technologies WG, IEICE
, Information Processing Society in Japan
, International Conference on Computer Aided Design
, Asia and South Pacific Design Automation Conference