generate a file listing ISAs
validate against the list of isas