dln Standard ML Hardware Description Language ∷ DivX DYNAMiCS

Standard ML Hardware Description Language

smlhdl is a study in expressions of digital logic design in existing typed functional programming languages.

the in-progress implementation adds a Verilog backend to HaMLet, the executable specification of The Definition of Standard ML.

motivation and prior art

labs

design

compounds complexity, C in the majority of use cases successfully supplants the assembly abstraction in these cases Verilog is not abstracted away, and in fact