A Common Approach to Test Generation and Hardware Verification Based on Temporal Logic.

Thomas Kropf, Hans-Joachim Wunderlich

Browse the full ITC paper archive.