Publication: Publication Date: 2017/07/01 Vol. E100-ANo. 7pp. 1496-1499 Type of Manuscript: Special Section LETTER (Special Section on Design Methodologies for System on a Chip) Category: Keyword: approximate computing, array multipliers, SMT solver,