Logic Synthesis | Lightcast Skills Taxonomy