Intel actually lags behind the industry in that they don't really have a formal specification. Arm have a machine readable specification that can be verified by

Intel actually lags behind the industry in that they don't really have a formal specification. Arm have a machine readable specification that can be verified by a computer whereas Intel have this weird pseudocode. Also uops.info is a good reference for how fast the instructions are