自动逻辑分析

automatic logic synthesis