WG211/M3Herrmann - Revision history

Walid at 12:28, 16 December 2011

2011-12-16T12:28:55Z

← Older revision		Revision as of 14:28, 16 December 2011
Line 6:		Line 6:
	Generating Size-Parameterized Functions for Circuit Simulation Using Template Haskell		Generating Size-Parameterized Functions for Circuit Simulation Using Template Haskell
	<br>Speaker: Christoph A. Herrmann		<br>Speaker: Christoph A. Herrmann
	~~<p>~~
	Slides: ~~<A HREF="http~~:~~//pub.smart-generators.org/M3Schedule/~~herrmann.pdf">.pdf~~</A>~~		Slides: [[Media:herrmann.pdf \| herrmann.pdf]]
	~~<p>~~
	Abstract:<br>		Abstract:<br>
	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.		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.

Walid at 12:27, 16 December 2011

2011-12-16T12:27:05Z

← Older revision		Revision as of 14:27, 16 December 2011
Line 1:		Line 1:
	[[Category:WG211]]		[[Category:WG211]]

			Christoph A. Herrmann
	~~<HTML>~~
	~~<HEAD>~~
	~~<title>~~Christoph A. Herrmann~~</title>~~
	~~</head>~~

	~~<body bgcolor="white">~~

	Title:		Title:
Line 19:		Line 13:
	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.		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.

	~~</BODY>~~

	~~</html>~~

	==File Attachments==		==File Attachments==

	*[[Media:herrmann.pdf \| herrmann.pdf]]		*[[Media:herrmann.pdf \| herrmann.pdf]]

Admin: 1 revision

2011-12-12T10:06:25Z

1 revision

New page

[[Category:WG211]]

<HTML>
<HEAD>
<title>Christoph A. Herrmann</title>
</head>

<body bgcolor="white">

Title:
Generating Size-Parameterized Functions for Circuit Simulation Using Template Haskell
<br>Speaker: Christoph A. Herrmann
<p>
Slides: <A HREF="http://pub.smart-generators.org/M3Schedule/herrmann.pdf">.pdf</A>
<p>
Abstract:<br>
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.

</BODY>

</html>

==File Attachments==

*[[Media:herrmann.pdf | herrmann.pdf]]