I'm working on a project that involves using hardware verification or VHDL formalism to test the Arduino. It's part of a larger project, but at the moment, I just want to know if there's a way to try to do it for the AVR8 Soft Processor here-http://papilio.cc/index.php?n=Papilio.ArduinoCore
Can it be done? And if so how?
I'm aware that there are several open source tools for doing so. I wanted the best method to verify the VHDL code.
Thanks in advance!