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 Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2016/07/01 Vol. E99-ANo. 7pp. 1355-1365 Type of Manuscript: Special Section PAPER (Special Section on Design Methodologies for System on a Chip) Category: Keyword: circuit matching, signature-based matching, similarity detection,
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2012/12/01 Vol. E95-ANo. 12pp. 2309-2318 Type of Manuscript: Special Section PAPER (Special Section on VLSI Design and CAD Algorithms) Category: Logic Synthesis, Test and Verification Keyword: post-silicon validation, transaction ordering, network-on-a-chip (NoC), system-on-a-chip (SoC),