perm_net int casting changed for synthesis, controller changed attribute of pr_state for synthesis