Path: utzoo!utgpu!watserv1!ria!CS!dimitris
From: dimitris@CS.UWindsor.Ca (Dimitris Phoukas)
Newsgroups: comp.lang.functional
Subject: Digital Circuit simulator using Lazy Fuctional languages
Keywords: lazy, functional, processes
Message-ID: <403@schoenfinkel.CS.UWindsor.Ca>
Date: 21 Mar 91 06:21:47 GMT
Organization: School of Computer Science, Univ. of Windsor, Ontario, Canada
Lines: 27


Are there any pointers to implementations of digital circuit  simulators
using  Lazy-Functional techniques? The simulator should at least be able
to  model  the  'transport'  and  'inertial'  type   delays   found   in
discrete-event  systems. Here, at the VLSI Research Group, we "feel" that
two particular properties of laziness, namely 'recursive'  traversal  of
data  structures  using the Attribute Grammar idiom and lazy-memo tables
for caching values calculated through  circular  data  definitions  have
great  potential...   Could someone give us some additional "confidence"
in our belief?

Partial evaluation techniques could also be also  applied  to  'compile'
test-vectors  with specific models. You could also mention that in yours
responses.

If the number of respones is satisfactory, I promise to redistribute the
list in some format appropriate for inclusion in publications (bibTeX?)

Thanks for your co-operation.

~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
Dimitris Phoukas
School of Computer Science, University of Windsor
Ontario, CANADA N9B 3P4

E-mail : dimitris@cs.uwindsor.ca
FAX    : (519) 973 7093