How can you generate automatically a huge number of test vectors, many combination of inputs to test your embedded systems, according to some use cases, some scenarios, defined on an easy manner?
This will allow you to find errors that would remain undetected if you just develop manually each and every functional test case, which is what you have to do today without STIMULUS.
Check this 4mn30 video: