hello group! (and sorry for the cross-posting)
I am working on a complex FPGA prototype and have already a feeling that the usual "testbench verification" wont help very much here. I have worked with formal verification in past and think this is a great opportunity to introduce the team to FV.
I couldn't get the management to pay for new verification software, so i decided to ask the experts (you guys) if any good but "free" verification tools are available. I am even interested in academic type of software (=working but user unfriendly). For example, i could go for SMV if i could figure out a way to feed it VHDL or compiled netlists.
Of course, it does not have to be "formal" verification. I could go with any tool available as long as it gets the job done. So please help me find the right tool for this job. You may also take this as a great opportunity for you guys to promote your software or share your experiences with the world!
regards, Burns