Commit | Line | Data |
---|---|---|
86530b38 AT |
1 | |
2 | ||
3 | //not really vera -vcon tb_top.vr -I ./include/ -I ../../common/vera/include/ -I ./lib | |
4 | ||
5 | timescale 1ps/1ps | |
6 | ||
7 | // | |
8 | // connect input tb.clk=tb_top.clk | |
9 | // connect input tb.spc_pcx_req_pq=tb_top.spc_pcx_req_pq | |
10 | // connect input tb.spc_pcx_atm_pq=tb_top.spc_pcx_atm_pq | |
11 | // connect input tb.spc_pcx_data_pa=tb_top.spc_pcx_data_pa | |
12 | // connect output tb.pcx_spc_grant_px=tb_top.pcx_spc_grant_px | |
13 | // connect output tb.cpx_spc_data_cx=tb_top.cpx_spc_data_cx | |
14 | ||
15 | //////////////////////////////////////////////////////////////////////////////// | |
16 | // dram coverage signals | |
17 | //////////////////////////////////////////////////////////////////////////////// | |
18 | ||
19 | #ifdef FC_COVERAGE | |
20 | #include "mcusat_cov.vcon" | |
21 | #include "dmu_cov.vcon" | |
22 | #endif | |
23 |