WG211/M3Herrmann
Christoph A. Herrmann
Title:
Generating Size-Parameterized Functions for Circuit Simulation Using Template Haskell
Speaker: Christoph A. Herrmann
Slides: herrmann.pdf
Abstract:
Template Haskell permits the generation of functions whose types depend on static parameter values. We use this feature to develop a library of circuit designs which are parameterized in bitsize. The inputs and outputs of these designs are tuples of parameterized numbers of components. The advantage of tuples to lists or arrays is that the type checker ensures the consistency of the sizes at compile time.
At first, a skeleton generator is introduced which provides abstraction from the low-level details of Template Haskell. We use it to generate combinators for parallel and sequential composition which are then taken to define circuits for addition, multiplication, etc. Other combinators simplify the task of connecting the appropriate wires.
