Formal Verification of Hardware Components in Critical Systems

Listing 10

Function changeop for interchanging operators.

(1)	Fixpoint changeop (e : exp) : exp
(2)	match e with
(3)	| sumexp e1 e2 prodexp e1 e2
(4)	| prodexp e1 e2 sumexp e1 e2
(5)	| _ e
(6)	end.