If a .abl file is used as input to abl2xnf that contains both upper and lower-case letters, this may cause abl2xnf to fail, stating that it could not read the .bl0 file for the design. Be sure to name the .abl file using all lower or uppercase letters.