★ 160 · Updated 2026-06-30
Performs logic synthesis from RTL to gate-level netlist, covering SDC constraint validation, compile and optimisation, netlist quality checks, and LEC equivalence verification.
Browse skills that share this tag.
★ 160 · Updated 2026-06-30
Performs logic synthesis from RTL to gate-level netlist, covering SDC constraint validation, compile and optimisation, netlist quality checks, and LEC equivalence verification.
★ 39 · Updated 2026-05-09
Defensive exploratory data analysis for scientific data formats