From 33ca6994b7870ed72cb66e865267c845b84470c9 Mon Sep 17 00:00:00 2001 From: "N. Engelhardt" Date: Fri, 1 Dec 2023 14:28:50 +0100 Subject: [PATCH] remove example test --- tests/arch/quicklogic/qlf_k6n10f/bram_tdp.v | 77 --------------- tests/arch/quicklogic/qlf_k6n10f/bram_tdp.ys | 7 -- .../arch/quicklogic/qlf_k6n10f/bram_tdp_tb.v | 99 ------------------- 3 files changed, 183 deletions(-) delete mode 100644 tests/arch/quicklogic/qlf_k6n10f/bram_tdp.v delete mode 100644 tests/arch/quicklogic/qlf_k6n10f/bram_tdp.ys delete mode 100644 tests/arch/quicklogic/qlf_k6n10f/bram_tdp_tb.v diff --git a/tests/arch/quicklogic/qlf_k6n10f/bram_tdp.v b/tests/arch/quicklogic/qlf_k6n10f/bram_tdp.v deleted file mode 100644 index 536cce992..000000000 --- a/tests/arch/quicklogic/qlf_k6n10f/bram_tdp.v +++ /dev/null @@ -1,77 +0,0 @@ -// Copyright 2020-2022 F4PGA Authors -// -// Licensed under the Apache License, Version 2.0 (the "License"); -// you may not use this file except in compliance with the License. -// You may obtain a copy of the License at -// -// http://www.apache.org/licenses/LICENSE-2.0 -// -// Unless required by applicable law or agreed to in writing, software -// distributed under the License is distributed on an "AS IS" BASIS, -// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. -// See the License for the specific language governing permissions and -// limitations under the License. -// -// SPDX-License-Identifier: Apache-2.0 - -module BRAM_TDP #(parameter AWIDTH = 10, -parameter DWIDTH = 36)( - clk_a, - rce_a, - ra_a, - rq_a, - wce_a, - wa_a, - wd_a, - - clk_b, - rce_b, - ra_b, - rq_b, - wce_b, - wa_b, - wd_b -); - - input clk_a; - input rce_a; - input [AWIDTH-1:0] ra_a; - output reg [DWIDTH-1:0] rq_a; - input wce_a; - input [AWIDTH-1:0] wa_a; - input [DWIDTH-1:0] wd_a; - - input clk_b; - input rce_b; - input [AWIDTH-1:0] ra_b; - output reg [DWIDTH-1:0] rq_b; - input wce_b; - input [AWIDTH-1:0] wa_b; - input [DWIDTH-1:0] wd_b; - - (* no_rw_check = 1 *) - reg [DWIDTH-1:0] memory[0:(1< 0) begin - if($past(rce_a)) - assert(rq_a == rq_a_expected[i]); - if($past(rce_b)) - assert(rq_b == rq_b_expected[i]); - end - i <= i + 1; - end -end -endmodule \ No newline at end of file