Using an XML schema to validate a formal hardware compiler | IEEE Conference Publication | IEEE Xplore