Tag: logic synthesis and verification algorithms pdf