jaseg/tachibana
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Clip tests all passing

Browse source
This commit is contained in:
jaseg 2021-06-17 13:41:10 +02:00
parent 4cf0ea0067
commit d71095a2a6
5 changed files with 465 additions and 447 deletions
Download patch file Download diff file Expand all files Collapse all files

19
test_bench/window_matcher_tb.v
View file

@ -35,14 +35,14 @@ module window_matcher_tb();
wire win_hsync;
wire win_vsync;
wire win_blank;
wire win_locked;
wire [11:0] win_w;
wire [11:0] win_h;
wire out_data_en;
wire out_data_valid;
wire [23:0] out_data;
wire pattern_locked;
wire [11:0] pattern_w;
wire [11:0] pattern_h;
localparam period = 4;
@ -89,14 +89,17 @@ module window_matcher_tb();
.win_hsync(win_hsync),
.win_vsync(win_vsync),
.win_blank(win_blank),
.win_locked(win_locked),
.win_w(win_w),
.win_h(win_h),
.out_data_en(out_data_en),
.out_data_valid(out_data_valid),
.out_data(out_data),
.pattern_locked(pattern_locked),
.pattern_w(pattern_w),
.pattern_h(pattern_h)
.win_red(8'haa),
.win_green(8'haa),
.win_blue(8'haa)
);
endmodule

48
test_bench/window_matcher_tb_gen.ipynb
View file

@ -2,7 +2,7 @@
"cells": [
{
"cell_type": "markdown",
"id": "parental-cruise",
"id": "peaceful-dream",
"metadata": {},
"source": [
"# Window Matcher Testcase Generator"
@ -11,7 +11,7 @@
{
"cell_type": "code",
"execution_count": 67,
"id": "leading-attachment",
"id": "sustained-reservoir",
"metadata": {},
"outputs": [],
"source": [
@ -32,7 +32,7 @@
{
"cell_type": "code",
"execution_count": 93,
"id": "involved-palmer",
"id": "modular-partnership",
"metadata": {},
"outputs": [],
"source": [
@ -121,7 +121,7 @@
{
"cell_type": "code",
"execution_count": 87,
"id": "enhanced-method",
"id": "yellow-affiliate",
"metadata": {},
"outputs": [
{
@ -149,7 +149,7 @@
{
"cell_type": "code",
"execution_count": 94,
"id": "bibliographic-stockholm",
"id": "quick-proposition",
"metadata": {},
"outputs": [],
"source": [
@ -173,7 +173,7 @@
{
"cell_type": "code",
"execution_count": 95,
"id": "decent-offering",
"id": "usual-flash",
"metadata": {},
"outputs": [
{
@ -243,7 +243,7 @@
{
"cell_type": "code",
"execution_count": 54,
"id": "together-tiger",
"id": "surrounded-devon",
"metadata": {},
"outputs": [],
"source": [
@ -264,8 +264,8 @@
},
{
"cell_type": "code",
"execution_count": 73,
"id": "executive-storage",
"execution_count": 96,
"id": "listed-addition",
"metadata": {},
"outputs": [
{
@ -314,8 +314,8 @@
" \n",
" if (!(win_hsync == 0)) $finish;\n",
" if (!(win_vsync == 0)) $finish;\n",
" if (!(in_blank == 1 || pattern_w == 0)) $finish;\n",
" if (!(in_blank == 1 || pattern_h == 0)) $finish;\n",
" if (!(in_blank == 1 || win_w == 0)) $finish;\n",
" if (!(in_blank == 1 || win_h == 0)) $finish;\n",
" if (!(!out_data_valid || out_data_en)) $finish;\n",
" if (read_pos > 1) begin\n",
" if (!(out_data_valid == ( win_hsync_exp_last && ~win_header_last))) $finish;\n",
@ -341,10 +341,10 @@
" @(posedge clk);\n",
"end\n",
"\n",
"if (!(pattern_locked == {{(win_w > 0)|int}})) $finish;\n",
"if (!(win_locked == {{(win_w > 0)|int}})) $finish;\n",
"\n",
"if (!(pattern_w == {{win_w}})) $finish;\n",
"if (!(pattern_h == {{win_h}})) $finish;\n",
"if (!(win_w == {{win_w}})) $finish;\n",
"if (!(win_h == {{win_h}})) $finish;\n",
"\n",
"for (read_pos=0; read_pos<{{fb_len}}; read_pos=read_pos+1) begin\n",
" if (read_pos > 0) begin\n",
@ -364,9 +364,9 @@
" @(posedge clk);\n",
"end\n",
"\n",
"if (!(pattern_locked == 0)) $finish;\n",
"if (!(pattern_w == 0)) $finish;\n",
"if (!(pattern_h == 0)) $finish;\n",
"if (!(win_locked == 0)) $finish;\n",
"if (!(win_w == 0)) $finish;\n",
"if (!(win_h == 0)) $finish;\n",
"\n",
"/* End of generated test case {{name}} */\n",
"'''\n",
@ -390,7 +390,7 @@
{
"cell_type": "code",
"execution_count": 8,
"id": "naughty-kitchen",
"id": "protected-bronze",
"metadata": {},
"outputs": [],
"source": [
@ -402,7 +402,7 @@
{
"cell_type": "code",
"execution_count": 9,
"id": "exposed-paste",
"id": "unknown-framing",
"metadata": {},
"outputs": [
{
@ -425,7 +425,7 @@
{
"cell_type": "code",
"execution_count": 10,
"id": "digital-carnival",
"id": "political-blink",
"metadata": {},
"outputs": [
{
@ -448,7 +448,7 @@
{
"cell_type": "code",
"execution_count": 11,
"id": "obvious-diagnosis",
"id": "intelligent-locator",
"metadata": {},
"outputs": [
{
@ -486,7 +486,7 @@
{
"cell_type": "code",
"execution_count": 12,
"id": "conservative-album",
"id": "breeding-representation",
"metadata": {},
"outputs": [
{
@ -526,7 +526,7 @@
{
"cell_type": "code",
"execution_count": 13,
"id": "excessive-equality",
"id": "duplicate-riverside",
"metadata": {},
"outputs": [
{
@ -566,7 +566,7 @@
{
"cell_type": "code",
"execution_count": 14,
"id": "cheap-charleston",
"id": "homeless-posting",
"metadata": {},
"outputs": [
{