Tag: logic synthesis and optimization benchmarks