Continue to Site

Welcome to EDAboard.com

Welcome to our site! EDAboard.com is an international Electronics Discussion Forum focused on EDA software, circuits, schematics, books, theory, papers, asic, pld, 8051, DSP, Network, RF, Analog Design, PCB, Service Manuals... and a whole lot more! To participate you need to register. Registration is free. Click here to register now.

Register Log in

verifying a processor vhdl code

Status
Not open for further replies.
O

omidi_sbu

Banned
Member level 3
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

Part and Inventory Search

Welcome to EDABoard.com

Sponsor

Back
Top