Formal Verification of Hardware Components in Critical Systems

Listing 18

Formal definition of 32 × 8 ROM chip (simplified).

(1)	Definition ROM32x8_simpl (A B C D E: bool): circuit
(2)	O′7 A B C D E::O′6 A B C D E::O′5 A B C D E::O′4 A B C D E::O′3 A B C D E::O′2 A B C D E::O′1 A B C D E::O′0 A B C D E::nil.