verifying a processor vhdl code

Status
Not open for further replies.
O

omidi_sbu

Banned
Joined
Jul 20, 2005
Messages
56
Helped
1
Reputation
2
Reaction score
0
Trophy points
1,286
Location
iran
Activity points
0
i have written
a Risc processor core, and i wanna know if it works fine or not.
how can i do it?
i mean what are formal ways ,should i test all possible inputs? is there any software for it?
 

You have to verify that every command works and with any arguments... and then you have to make sure that any sequence of commands work..

It easy to see that the search explodes. There are languages such as verisity e, specman and others that can help you automate and quantify how close are you
to your goal.
 

    O

    omidi_sbu

    Points: 2
    Helpful Answer Positive Rating
Status
Not open for further replies.

Similar threads

Menu
Log in
Register
Cookies are required to use this site. You must accept them to continue using the site. Learn more…