pub fn validate(model: &CpuModel, isa: &Isa) -> Result<(), FailedValidation>
Validates the correctness of a CPU model configuration and returns a list of errors on failure.