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 LiM. 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

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

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

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

Lava : Hardware Design in

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

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
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

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

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).

Microprocessor specification in Hawk

The structuring principles used in modern functional programming languages, such as static typing, parametric polymorphism, first class functions, and lazy evaluation provide a good formalism for such a domain specific language, and have made initial progress by creating a library on top of the functional language Haskell.

References

SHOWING 1-10 OF 20 REFERENCES

Experience with Embedding Hardware Description Languages in HOL

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.

The Verilog® Hardware Description Language

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
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

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

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
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

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
This book discusses the design of a Code Generator, the role of the Lexical Analyzer, and other topics related to code generation and optimization.

\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