hyena_dale said:We use C model to verify core except peripherals.
For golden C model, design a golden C model is more easy than design a golden RTL. For C model verification. First, you can compare C code with spec, check software is easy than check RTL. Second, U can verify your C model when verifying your RTL.
omara007 said:1- Prepare a large amount of C/Assembly programs ( no matter C or assembly ). The programs has to cover all the Instruction of the 8051. Moreover, each instruction has to be tested with corner cases, like testing the ADD instruction once with 2 positive numbers, then 2 negative numbers, and then for one negative and one positive.
Although it's possbile to test all the supported instructions by this MCU, it can not help us to ensure that the combination of the instructions can still function well, which is quite enormouse and hardly to verified completely!
And I'd like to know how to trade off the verification accuracy and the time?
Thomson said:Although it's possbile to test all the supported instructions by this MCU, it can not help us to ensure that the combination of the instructions can still function well, which is quite enormouse and hardly to verified completely!
And I'd like to know how to trade off the verification accuracy and the time?
omara007 said:First of all, you need to test all lower-level component individually, like testing the sequencer, decoder, etc.
..
Do you mean that for the MCU system-level verification, the individual ISA shall be verified individually first; then the real programs (better applied programs) shall be employed to verify the MCU.omara007 said:Second, running relatively large amount of programs to cover the ISA may help testing the combination of these instructions for proper functionality .. this is acheived simply by printing the RAM contents after running each program, or if you want, you can collect the RAM contents after each execution cycle.
..
omara007 said:By the way, there is nothing like a 100% test .. there always be a room for bugs that can't be discovered except by the consumer ..
the proposed methodology for testing is quite good .. but it may not be exclusive ..
We use cookies and similar technologies for the following purposes:
Do you accept cookies and these technologies?
We use cookies and similar technologies for the following purposes:
Do you accept cookies and these technologies?