HML: an innovative hardware description language and its translation to VHDL

@article{Li1995HMLAI,
  title={HML: an innovative hardware description language and its translation to VHDL},
  author={Yanbing Li and Miriam E. Leeser},
  journal={Proceedings of ASP-DAC'95/CHDL'95/VLSI'95 with EDA Technofair},
  year={1995},
  pages={691-696}
}
  • Yanbing Li, M. Leeser
  • Published 29 August 1995
  • Computer Science
  • Proceedings of ASP-DAC'95/CHDL'95/VLSI'95 with EDA Technofair
HML (Hardware ML) is an innovative hardware description language based on the functional programming language SML. HML is a high-order language with polymorphic types. It uses advanced type checking and type inference techniques. We have implemented an HML type checker and a translator to VHDL. We generate a synthesizable subset of VHDL and automatically infer types and interfaces. This paper gives an overview of HML and discusses its typechecking techniques and the translation from HML to VHDL… 

Figures and Tables from this paper

HML, a novel hardware description language and its translation to VHDL

TLDR
An overview of HML is given and the translation from HML to V HDL and the type inference process is discussed and a synthesizable subset of VHDL is generated to automatically infer types and interfaces.

C?aSH: Structural Descriptions of Synchronous Hardware Using Haskell

TLDR
CλaSH is a functional hardware description language that borrows both its syntax and semantics from the functional programming language Haskell, allowing high-speed simulation and analysis.

Gemini: A Functional Programming Language for Hardware Description

TLDR
Gemini demonstrates the theory and implementation of novel type-theoretical concepts through its unique type system consisting of multiple atomic kinds and dependent types, which allows the language to model both software and hardware constructs safely and perform type inference through multi-staged compilation.

Meta-HDL: A Multi-Stage Programming Language for Dynamically Reconfigurable Hardware

We present Meta-HDL, a two-stage functional language for writing software which dynamically synthesizes and communicates with structurally specialized circuits. The associated type system ensures

Hardware synthesis from a recursive functional language

TLDR
This work proposes a compiler that synthesizes hardware from behavioral functional specifications, translating general Haskell programs into a restricted intermediate representation before applying a series of semantics-preserving transformations, concluding with a simple syntax-directed translation to SystemVerilog.

Lava : Hardware Design in

TLDR
The system design exploits functional programming language features, such as monads and type classes, to provide multiple interpretations of circuit descriptions that implement standard circuit analyses such as simulation, formal veriication and the generation of code for the production of real circuits.

Lava: hardware design in Haskell

TLDR
The system design exploits functional programming language features, such as monads and type classes, to provide multiple interpretations of circuit descriptions that implement standard circuit analyses such as simulation, formal verification and the generation of code for the production of real circuits.

Stream processing hardware from functional language specifications

  • Simon FrankauA. Mycroft
  • Computer Science
    36th Annual Hawaii International Conference on System Sciences, 2003. Proceedings of the
  • 2003
TLDR
The language, SASL, is introduced, its approach to that of synchronous stream/signal languages is compared, and example functional descriptions which can be compiled to hardware are given.

A SUBSET-BASED COMPARISON OF MAIN DESIGN LANGUAGES

TLDR
This paper compares these design languages by separating and analysing the capabilities of the different language subsets with respect to the implementation of theDifferent programming paradigms.

HTCC: Haskell to Handel-C Hardware Compiler

TLDR
This paper presents the design rationale and the implementation of HTCC, a subset of Haskell to Handel-C language with hardware output that automates a transformational derivation methodology to rapidly produce hardware that maps onto Field Programmable Gate Arrays (FPGAs).

References

SHOWING 1-10 OF 20 REFERENCES

The Verilog® Hardware Description Language

TLDR
The Verilog Hardware Description Language, Fifth Edition, is a valuable resource for engineers and students interested in describing, simulating, and synthesizing digital systems; the extensive number of simulatable examples and wide range of representation styles covered ensure its quick use in design.

Using Nuprl for the verification and synthesis of hardware

  • M. Leeser
  • Computer Science
    Philosophical Transactions of the Royal Society of London. Series A: Physical and Engineering Sciences
  • 1992
TLDR
This work verified floating point hardware and is extending this work to reasoning about the IEEE floating point specification, and is using Nuprl to reason about software for synthesizing hardware designs at several different levels.

VHDL: Analysis and Modeling of Digital Systems

TLDR
The new second edition of the authoritative reference engineers need to guide them through the use of VHDL hardware description language in the analysis, simulation, and modeling of complicated microelectronic circuits is released, including new chapters on design flow, interfacing, modeling, and timing.

A Designer's Guide to VHDL Synthesis

TLDR
A Designer's Guide to VHDL Synthesis has been written to help design engineers and other professionals successfully make the transition to a design methodology based on V HDL and log synthesis instead of the more traditional schematic based approach.

Elements of functional programming

  • C. Reade
  • Computer Science
    International computer science series
  • 1989
TLDR
This chapter discusses functional programming concepts, implementation techniques, and how to extend functional methods through type checking and type Inference.

Non-Restoring Integer Square Root: A Case Study in Design by Principled Optimization

TLDR
This paper shows how a non-restoring integer square root algorithm can be transformed to a very efficient hardware implementation, and proves that the algorithm correctly implements the square root function.

Compilers: Principles, Techniques, and Tools

  • A. AhoR. SethiJ. Ullman
  • Computer Science
    Addison-Wesley series in computer science / World student series edition
  • 1986
TLDR
This book discusses the design of a Code Generator, the role of the Lexical Analyzer, and other topics related to code generation and optimization.

Experience with Embedding Hardware Description Languages in HOL

TLDR
Three languages are being investigated: ELLA, Silage and VHDL and the approaches taken for these languages are compared and current progress on building semantically-based theorem-proving tools is discussed.

\HML : A hardware description language based on SML

  • \HML : A hardware description language based on SML
  • 1992

The Deenition of Standard ML

  • The Deenition of Standard ML
  • 1990