Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2019/12/01
Vol. E102-A
No. 12 ;
pp. 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, |