Create a standard way to precisely define behavior of P4 architectures

[jafingerhut]

As of 2024-Sep-15, I (Andy Fingerhut) have given a presentation at a language design work group meeting either late in 2023 or early 2024 on some detailed proposals on one way that this could be done, in P4 with a small number of additional externs and extensions to the language. You can read more about that here:

• Language for specifying P4_16 architectures p4lang/p4-spec#1268

There is no implementation of this anywhere that I know of, and I do not know of anyone actively working on developing one. I would expect the most useful places to create such an implementation would be:

• in a software switch like BMv2 / simple_switch_grpc, to enable BMv2 to process packets according to P4 architectures defined in this new way.
• in a tool like p4testgen

[jafingerhut]

Closing since all issues have been copied to this repo: https://github.com/p4lang/project-ideas/issues