Circuit verification on a distributed database processing system

摘要: Example embodiments of disclosed configurations include a process (and system and non-transitory computer storage readable medium) for verifying an operation or functionality design under test (DUT) through distributed database processing system. In one more embodiments, the emulator performs emulation DUT, traces signals DUT based on emulation. aspect, traced are divided into multiple segments stored in form key-value pairs. The generates analysis corresponding rules. An rule describes how to determine particular characteristic segment signal. aggregates circuit result indicating aspect DUT.