Formal Verification of Hardware Components in Critical Systems

Listing 6

Function eval_cir for evaluating circuit.

(1)	Fixpoint eval_cir (c: circuit) : list bool
(2)	match c with
(3)	| nil nil
(4)	| cons c tl cons c (eval_cir tl)
(5)	end.