Write binary file formats in a formal syntax

Find a tool, which allows one to write binary file formats in a formal syntax and that allows generating document (or be easily readable as is) and validator to check the files. Integrate this to layouttool pipeline so that the produced files are validated when generated.