🚀 go-pugleaf

In article <403@schoenfinkel.CS.UWindsor.Ca> dimitris@CS.UWindsor.Ca (Dimitris Phoukas) writes:
>
>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.  [.........]

I don't know what transport and inertial delays are, but if you are
content with quantized time, it is extremely easy to do digital
circuit simulation using streams. a NAND gate, for example, is
simulated with a function taking two streams of booleans as arguments
and returns a stream of booleans as the result.  The simulated circuit
is hooked up in a letrec expression.  For example, simulating an
oscillator made up of an inverter (with a time delay of two time
units) can be done as follows (using Lazy ML):

let rec inv s = False.False.map (\x.~x) s  in 	-- The inverter definition

let rec x = inv x  in		-- The circuit

	x			-- Look at x


The value of the program is the infinite list 
False.False.True.True.False.False. ....

-- Thomas Johnsson
Thomas Johnsson  (johnsson@cs.chalmers.se)
Dept. of CS, Chalmers University of Technology, S-412 96 Goteborg, Sweden
phone: dept: +46 (0)31 721088.