🌐한국어EnglishItalianoSvenska한국어中文日本語EntityQ837455· pop 8· linked from 25 articles자동 시험 패턴 생성Also known as ATPGelectronic design automation method/technology used to find a test sequenceAvailable in 8 languages中文日本語ItalianoCatalanSvenskazh_yue한국어via Wikidata sitelinks · CC0Connectionssequential logicEntityboolean satisfiability problemEntityCategoriesElectronic circuit verification