Title: Generating size-parameterized functions for circuit simulation using Template Haskell

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 advantage to represent signal bundles by tuples than by lists is that the type checker ensures consistency of bundle 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. -- Main.ChristophHerrmann - 11 Jan 2006