🌐日本語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