Generic Specification of Digital Hardware

• 1 January 1991
• book chapter
• Published by Springer Nature
• p. 68-91
• https://doi.org/10.1007/978-1-4471-3544-9_4

Abstract

Keywords

• CORRECTNESS RESULT
• FORMAL VERIFICATION
• MEMORY WORD
• PRIMITIVE OPERATION
• VERIFICATION PROBLEM