URL
https://opencores.org/ocsvn/tinycpu/tinycpu/trunk
[/] [tinycpu/] [trunk/] [testbench/] [core_tb.vhd] - Diff between revs 31 and 32
Go to most recent revision |
Show entire file |
Details |
Blame |
View Log
Rev 31 |
Rev 32 |
Line 160... |
Line 160... |
assert(DebugR0 = x"F8") report "ALU OR is not correct" severity error;
|
assert(DebugR0 = x"F8") report "ALU OR is not correct" severity error;
|
assert( MemAddr=x"0156") report "Fetching is wrong after WaitForAlu" severity error;
|
assert( MemAddr=x"0156") report "Fetching is wrong after WaitForAlu" severity error;
|
MemIn <= x"0070"; --mov r0, 0x70 -- for debugging
|
MemIn <= x"0070"; --mov r0, 0x70 -- for debugging
|
wait for 10 ns;
|
wait for 10 ns;
|
assert( MemAddr=x"0158") report "IP increment is wrong after WaitForAlu" severity error;
|
assert( MemAddr=x"0158") report "IP increment is wrong after WaitForAlu" severity error;
|
|
MemIn <= "0101000000000000"; --push r0
|
|
wait for 10 ns;
|
|
assert(MemAddr=x"0200" and MemOut=x"0070") report "push is not correct" severity error;
|
|
wait for 10 ns;
|
|
|
|
MemIn <= "0101000000010000"; --pop r0
|
|
assert(MemAddr=x"015A") report "IP increment is wrong after push" severity error;
|
|
wait for 10 ns;
|
|
MemIn <= x"0020"; --the value to be popped into r0
|
|
assert(MemAddr=x"0200") report "Pop is not fetching from correct address" severity error;
|
|
wait for 10 ns;
|
|
assert(DebugR0=x"20") report "Pop is not assigning to R0 correct" severity error;
|
|
MemIn <= x"0040";
|
|
wait for 10 ns;
|
|
|
-- summary of testbench
|
-- summary of testbench
|
assert false
|
assert false
|
report "Testbench of core completed successfully!"
|
report "Testbench of core completed successfully!"
|
severity note;
|
severity note;
|
© copyright 1999-2024
OpenCores.org, equivalent to Oliscience, all rights reserved. OpenCores®, registered trademark.