Applying an SMT Solver to Coverage-Driven Design Verification Kiyoharu HAMAGUCHI
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2018/07/01 Vol. E101-ANo. 7 ;
pp. 1053-1056 Type of Manuscript: Special Section LETTER (Special Section on Design Methodologies for System on a Chip) Category: Keyword: RTL verification, coverage-driven verification, SAT solver, SMT solver, automated testbench,
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2017/07/01 Vol. E100-ANo. 7 ;
pp. 1481-1487 Type of Manuscript: Special Section PAPER (Special Section on Design Methodologies for System on a Chip) Category: Keyword: RTL verification, coverage-driven verification, sat solver, auomated testbench,