Module libreda_pnr::util::netlist_validation

Provides sanity checks for netlists such as finding driving conflicts or non-driven nets.

Functions

• check_drivers_in_cell
  For each net in the cell check that there’s exactly one cell driving it. The check is done only based on the pin direction as annotated in the netlist. The internals of child cells are ignored and hence the check is not perfect: If a child cell has an inout pin then it could be resolved by looking at the internals.