RuleBase -- PSL: Beyond Hardware Verification -- On the Polychronous Approach to