Formal Verification of Hardware Components in Critical Systems

Listing 17

Simplified Boolean functions for ROM outputs.

(1)	Definition 7(A B C D E:bool) : bool false.
(2)	Definition 6(A B C D E:bool) : bool
(3)	C D + E.
(4)	Definition 5(A B C D E:bool) : bool
(5)	B C D E.
(6)	Definition 4(A B C D E:bool) : bool
(7)	B C B D E BD E.
(8)	Definition 3(A B C D E:bool) : bool
(9)	BCE BDE.
(10)	Definition 2(A B C D E:bool) : bool
(11)	B E B D C D D E BCE.
(12)	Definition 1(A B C D E:bool) : bool
(13)	B CE BC BD E.
(14)	Definition 0(A B C D E:bool) : bool
(15)	BC DE CD B CE BCE.