cisco silicon one uses p4 fwiw. internal development though, but the language makes sense for what the things are.