A hardware description language for defining circuits as ONNX models