Rapid prototyping of datapath intensive architectures with HML: an abstract hardware description language
Miriam E. Leeser, Shantanu Tarafdar, Yanbing Li · Proceedings of SPIE, the International Society for Optical Engineering/Proceedings of SPIE · 1996
HML allows us to specify hardware at a very abstract level, and automatically generate VHDL from our specifications. The VHDL is used along with commercial CAD tools to generate field programmable logic. In this paper we present HML, a hardware description language based on SML, and discuss the translation process from HML to VHDL. As an example we use HML to specify a DTMF receiver. We present the HML for a Booth multiplier and discuss the design flow from HML to an FPGA implementation of that multiplier. HML is the only language available that applies advances in programming languages and type theory to hardware description.