the assignment of a wire from an input configured pin must happen through individual...

the assignment of a wire from an input configured pin must happen through individual rules. The pinmuxing table might be defined such a way that input pins pin0 and pin2 drive the same function wrfunc. So pin0 using wrcell0_mux to assign wrfunc and pin2 uses wrcell2_mux to assign the same write again. Within the same rule this will cause a multi-driven issue. BSV takes care of this issue by generating an implicit priority between the rules. If rule-A is written before rule-B, then the effects of rule-B will be shadowed i.e only the output of rule-A will be visible.