Projects tagged with logic synthesis