bics/test_bench_lib
20
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

started first example of the testbench, got segmentation fault

Browse Source
This commit is contained in:
M. Mastella
2022-10-18 16:31:57 +02:00
parent 3f8293e16a
commit 23390aab88
5 changed files with 65 additions and 17 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
act/actsim_test_bench_lib.conf
View File

@ -12,8 +12,8 @@ begin sim
string sim::testbench::fcheck_next "check_next"
string sim::testbench::fdump_to_file "dump_to_file"
string sim::testbench::fcontrol_next "control_next"
string sim::testbench::fcontrol_next "control_get"
string sim::testbench::fcontrol_next "control_wait"
string sim::testbench::fcontrol_get "control_get"
string sim::testbench::fcontrol_wait "control_wait"
end
end
end

31
act/test_bench_lib.act
View File

@ -24,15 +24,20 @@
*/
namespace sim::testbench {
namespace sim{
namespace testbench {
function fsource_init(int verbose) : int;
function finit (int verbose) : int;
function fsource_next(int id; int sim_step) : int;
function fsource_get(int id; int bit_width) : int;
function fcheck_next(int id; int sim_step) : int;
function fcheck_in_order(int id; int data) : int;
function fcheck_out_of_order(int id; int data) : int;
function fdump_to_file(int id; int sim_step; int data) : int;
function fcontrol_next(int dontcare) : int;
function fcontrol_get(int dontcare) : int;
function fcontrol_wait(int dontcare) : int;
template<pint BIT_WIDTH;pint ID>
defproc channel_source(chan!(int<BIT_WIDTH>) out; chan?(int) sim_step; chan!(int) done)
@ -40,8 +45,8 @@ defproc channel_source(chan!(int<BIT_WIDTH>) out; chan?(int) sim_step; chan!(int
int current_step, t,data;
chp {
*[ sim_step?current_step; t := 1;
*[ t = 1 -> t := fchannel_source_next(ID,current_step);
[ t = 1 -> data := fchannel_source_get(ID,BIT_WIDTH); out!data ; log("send ", data, " on source ", ID)
*[ t = 1 -> t := fsource_next(ID,current_step);
[ t = 1 -> data := fsource_get(ID,BIT_WIDTH); out!data ; log("send ", data, " on source ", ID)
[] else -> done!1
]
]
@ -88,10 +93,11 @@ defproc channel_checker_out_of_order(chan?(int<BIT_WIDTH>) in; chan?(int) sim_st
template<pint BIT_WIDTH;pint ID>
defproc channel_dump(chan?(int<BIT_WIDTH>) in; chan?(int) sim_step)
{
int current_step, t;
int current_step, t,in_tmp;
chp {
*[ [ #sim_step -> sim_step?current_step
| #in -> t:=fdump_to_file(ID,current_step,in)
[] #in -> in?in_tmp; t:=fdump_to_file(ID,current_step,in_tmp) //here should be non-deterministic but it doesn't work
]
]
}
@ -106,13 +112,13 @@ defproc control(chan(int) sim_step_source[NUMBER_SOURCE]; chan(int) sim_step_che
t:=1;
failure_free:=1;
*[ t = 1 -> current_step := fcontrol_get();
[ current_step = 0 -> skip; // reset here
[ current_step = 0 -> skip // reset here
[] else ->
(,:j:1..NUMBER_SOURCE: sim_step_source[j]!current_step),
(,:j:1..NUMBER_CHECKER: sim_step_checker[j]!current_step),
(,:j:1..NUMBER_DUMP: sim_step_dump[j]!current_step);
(:j:1..NUMBER_SOURCE: done_source[j]?success; failure_free := failure_free & success);
(:j:1..NUMBER_CHECKER: done_checker[j]?success; failure_free := failure_free & success);
(,j:1..NUMBER_SOURCE: sim_step_source[j]!current_step),
(,j:1..NUMBER_CHECKER: sim_step_checker[j]!current_step),
(,j:1..NUMBER_DUMP: sim_step_dump[j]!current_step);
(;j:1..NUMBER_SOURCE: done_source[j]?success; failure_free := failure_free & success);
(;j:1..NUMBER_CHECKER: done_checker[j]?success; failure_free := failure_free & success)
];
wait := fcontrol_wait();
[ wait > 0 -> skip // exec cycle
@ -125,3 +131,4 @@ defproc control(chan(int) sim_step_source[NUMBER_SOURCE]; chan(int) sim_step_che
}
}
}
}

4
act/test_bench_lib.c
View File

@ -234,7 +234,7 @@ struct expr_res check_in_order (int num, struct expr_res *args)
t.v = 1;
}
else {
check_errors++
check_errors++;
fprintf(logfile,"[FAILURE] expected %d got %d on check %d - %d; Error count %d\n",check_data_buffer[args[0].v],args[1].v,args[0].v,i,check_errors); fflush(logfile);
t.v = 0;
}
@ -280,7 +280,7 @@ struct expr_res check_out_of_order (int num, struct expr_res *args)
if (t.v == 0){
check_errors++;
fprintf(logfile,"[FAILURE] could not find %d on check %d; Error count: %d\n",check_data_buffer[args[0].v],args[1].v,args[0].v,check_errors); fflush(logfile);
}s
}
t.width = 1;
return t;
}