test: add TXT Buffer functional coverage.

e196b54c · Ille, Ondrej, Ing. · cf06f01b · e196b54c
Commit e196b54c authored Jan 25, 2019 by Ille, Ondrej, Ing.
Hide whitespace changes
Inline Side-by-side

Showing with 17 additions and 0 deletions

src/txt_buffer/txt_buffer.vhd src/txt_buffer/txt_buffer.vhd +17 -0

No files found.
--- a/src/txt_buffer/txt_buffer.vhd
+++ b/src/txt_buffer/txt_buffer.vhd
@@ -253,4 +253,21 @@ begin
        txt_buf_ready          => txt_buf_ready
    );

+    
+    ----------------------------------------------------------------------------
+    ----------------------------------------------------------------------------
+    -- Functional coverage
+    ----------------------------------------------------------------------------
+    ----------------------------------------------------------------------------
+    func_cov_block : block
+    begin 
+    
+    -- psl default clock is rising_edge(clk_sys);
+      
+    -- psl txtb_set_ready_cov : cover (txt_sw_cmd.set_rdy = '1');
+    -- psl txtb_set_empty_cov : cover (txt_sw_cmd.set_ety = '1');
+    -- psl txtb_set_abort_cov : cover (txt_sw_cmd.set_abt = '1');
+        
+    end block;
+
 end architecture;