A New Approach for Design and Verification of Transaction Level Models

Publication
ISCAS