Formal Verification of Hardware Components in Critical Systems

Listing 16

Formal definition of 32 × 8 ROM chip.

(1)	Definition ROM32x8_orig (A B C D E: bool): circuit
(2)	O7 A B C D E::O6 A B C D E::O5 A B C D E::O4 A B C D E::O3 A B C D E::O2 A B C D E::
(3)	O1 A B C D E::O0 A B C D E::nil.