Feb 10, 2012 #1 S shahsanket24 Junior Member level 3 Joined Nov 24, 2011 Messages 27 Helped 0 Reputation 0 Reaction score 0 Trophy points 1,281 Activity points 1,434 Hello all... I want AMBA- AHB assertions can any one help me...?
Feb 10, 2012 #2 T tariq786 Advanced Member level 2 Joined Feb 24, 2004 Messages 562 Helped 67 Reputation 134 Reaction score 53 Trophy points 1,308 Location USA Activity points 3,048 Ahh. They are not free. If you were using Formal verification tool like Jaspergold, they could give you that but i have not seen any free ones. Try asking arm. Alternatively, if you know the protocol, write the assertions yourself. This is not easy
Ahh. They are not free. If you were using Formal verification tool like Jaspergold, they could give you that but i have not seen any free ones. Try asking arm. Alternatively, if you know the protocol, write the assertions yourself. This is not easy