Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2019/12/01 Vol. E102-ANo. 12pp. 1770-1780 Type of Manuscript: Special Section PAPER (Special Section on VLSI Design and CAD Algorithms) Category: Keyword: logic debugging, engineering change order (ECO), sequential circuits, reachability analysis,
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2018/04/01 Vol. E101-ANo. 4pp. 685-696 Type of Manuscript: PAPER Category: VLSI Design Technology and CAD Keyword: C reconstruction, ECO, CEGIS, program synthesis,
Publication: IEICE TRANSACTIONS on Electronics Publication Date: 2007/02/01 Vol. E90-CNo. 2pp. 327-333 Type of Manuscript: Special Section PAPER (Special Section on Recent Progress in Electromagnetic Theory and Its Application) Category: Inverse Problems Keyword: ground penetrating radar, landmine, classification,