Formal Verification of Hardware Components in Critical Systems

Listing 15

Boolean functions for ROM outputs O–.

(1)	Definition O7(A B C D E : bool) : bool false.
(2)	Definition O6(A B C D E : bool) : bool
(3)	(06, 814).
(4)	Definition O5(A B C D E : bool) : bool
(5)	(115).
(6)	Definition O4(A B C D E : bool) : bool
(7)	(04, 10, 14).
(8)	Definition O3(A B C D E : bool) : bool
(9)	(11, 13, 15).
(10)	Definition O2(A B C D E : bool) : bool
(11)	(0, 2, 46, 8, 9, 12, 13, 15).
(12)	Definition O1(A B C D E : bool) : bool
(13)	(1, 3, 10, 1215).
(14)	Definition O0(A B C D E : bool) : bool
(15)	(2, 3, 5, 912, 14).