-
Notifications
You must be signed in to change notification settings - Fork 2
/
Copy pathinsgen.tpl
executable file
·41 lines (31 loc) · 1.23 KB
/
insgen.tpl
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
agent_name = insgen
trans_item = trans_rand_ins
trans_var = rand logic[31:0] rand_instruction;
trans_var = rand logic[31:0] adc_data;
trans_var = instruction_base_si ibsi;
if_port = logic clk;
if_port = real pllrdy;
if_port = real pllfreq;
if_port = real pllmag;
if_port = real pllvra;
if_port = logic nreset;
if_port = logic[31:0] instr_bus;
if_port = logic[31:0] pc_out;
if_port = logic[31:0] adc_in;
if_clock = clk
if_reset = nreset
monitor_inc = inlines/insgen_monitor_inc.sv inline
agent_cover_inc = inlines/insgen_cover_inc.sv inline
driver_inc = inlines/insgen_driver_inc.sv inline
trans_generate_methods_inside_class = no
trans_generate_methods_after_class = no
config_var = boolean init_cpu_regs_with_rand_vals;
config_var = instr_category_bm allowed_instr_types;
config_var = int init_cpu_regs_ctr = 0;
config_var = boolean on_reg_init_lui = true;
config_var = int gictr = 0;
config_var = instruction_base_si ic[$];
agent_seq_inc = inlines/insgen_prand_ins_seq.sv inline
agent_config_inc_inside_class = inlines/config_cextern.sv inline
agent_config_inc_after_class = inlines/config_new.sv inline
#agent_factory_set = insgen_default_seq insgen_prand_inorder_ins_seq