Functional verification methodology based on formal interface specification and transactor generation.

Felice Balarin, Roberto Passerone

Browse the full DATE paper archive.