Design Verification of Protocols

Status
Not open for further replies.

smashash147

Newbie level 4
Joined
Feb 9, 2012
Messages
7
Helped
1
Reputation
2
Reaction score
1
Trophy points
1,283
Location
Bangalore India
Activity points
1,321
Hi All,
I would like to know what are the things to be kept in mind while developing s testbench for verification of a Protocol using
Specman-e such as the use of temporals etc etc....................
 

express the protocol as assertions and verify they pass
 

Yes, temporal or whatever way that fully describes the protocol
 

Status
Not open for further replies.
Cookies are required to use this site. You must accept them to continue using the site. Learn more…