Chapter 8. Analyzing e Code
Who cares how it works, just as long as it gives the right answer?
Inormally find myself asking two simple questions when I try to understand a verification environment’s architecture or operation:
“Where is that declared?”
“What exactly is getting executed?”
It doesn’t matter whether the code belongs to someone else or whether I’m simply revisiting some of my code after an absence; after a certain amount of time away from a particular area of the verification environment I forget the exact details of how it does what it does. Even if a verification environment follows the guidelines in Chapter 3, it can still be tricky to work out what aspect some functionality belongs to or what file in the aspect contains ...