Skip to content

Commit

Permalink
Fix verify errors (both in blocks and examples)
Browse files Browse the repository at this point in the history
  • Loading branch information
@Obijuan
Obijuan committed May 27, 2024
1 parent c3572b8 commit 0082b28
Show file tree
Hide file tree
Showing 3 changed files with 4,853 additions and 6,395 deletions.
104 changes: 6 additions & 98 deletions blocks/Inject/Inject-bit.ice
View file
Original file line number Diff line number Diff line change
@@ -1,8 +1,8 @@
{
"version": "1.2",
"package": {
"name": "Insert-1-bit",
"version": "0.1",
"name": "Insert-1-bit CLONE",
"version": "0.1-c1716794344536",
"description": "Inyectar el valor de un cable por el bit indicado de un bus",
"author": "Juan González-Gómez (Obijuan)",
"image": "%3Csvg%20xmlns=%22http://www.w3.org/2000/svg%22%20width=%22279.363%22%20height=%2293.884%22%20viewBox=%220%200%2073.914719%2024.840043%22%3E%3Cg%20transform=%22translate(-43.466%20-140.187)%22%3E%3Cpath%20d=%22M86.495%20145.448v18.52H44.539%22%20fill=%22none%22%20stroke=%22green%22%20stroke-width=%222.117%22%20stroke-linecap=%22round%22%20stroke-linejoin=%22round%22/%3E%3Crect%20width=%2272.704%22%20height=%227.314%22%20x=%22-117.116%22%20y=%22141.954%22%20ry=%220%22%20transform=%22scale(-1%201)%22%20fill=%22green%22%20stroke=%22#000%22%20stroke-width=%22.529%22%20stroke-linecap=%22round%22%20stroke-linejoin=%22bevel%22/%3E%3Ccircle%20cx=%2286.693%22%20cy=%22145.668%22%20r=%225.481%22/%3E%3C/g%3E%3C/svg%3E"
Expand All @@ -17,50 +17,8 @@
"data": {
"name": "",
"range": "[7:0]",
"pins": [
{
"index": "7",
"name": "",
"value": "0"
},
{
"index": "6",
"name": "",
"value": "0"
},
{
"index": "5",
"name": "",
"value": "0"
},
{
"index": "4",
"name": "",
"value": "0"
},
{
"index": "3",
"name": "",
"value": "0"
},
{
"index": "2",
"name": "",
"value": "0"
},
{
"index": "1",
"name": "",
"value": "0"
},
{
"index": "0",
"name": "",
"value": "0"
}
],
"virtual": true,
"clock": false
"clock": false,
"size": 8
},
"position": {
"x": 520,
Expand All @@ -73,49 +31,7 @@
"data": {
"name": "",
"range": "[7:0]",
"pins": [
{
"index": "7",
"name": "",
"value": ""
},
{
"index": "6",
"name": "",
"value": ""
},
{
"index": "5",
"name": "",
"value": ""
},
{
"index": "4",
"name": "",
"value": ""
},
{
"index": "3",
"name": "",
"value": ""
},
{
"index": "2",
"name": "",
"value": ""
},
{
"index": "1",
"name": "",
"value": ""
},
{
"index": "0",
"name": "",
"value": ""
}
],
"virtual": true
"size": 8
},
"position": {
"x": 960,
Expand All @@ -127,14 +43,6 @@
"type": "basic.input",
"data": {
"name": "",
"pins": [
{
"index": "0",
"name": "",
"value": ""
}
],
"virtual": true,
"clock": false
},
"position": {
Expand All @@ -159,7 +67,7 @@
"id": "15921a47-9c6e-411a-95a4-31330b104b72",
"type": "basic.code",
"data": {
"code": "reg [7:0] o;\n\nalways @(*) begin\n\n o[7:0] = i[7:0];\n o[BIT] = a;\n \nend",
"code": "reg [7:0] o_i;\nassign o = o_i;\n\nalways @(*) begin\n\n o_i[7:0] = i[7:0];\n o_i[BIT] = a;\n \nend",
"params": [
{
"name": "BIT"
Expand Down
165 changes: 165 additions & 0 deletions blocks/Reversal/Reversal-06.ice
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,165 @@
{
"version": "1.2",
"package": {
"name": "Reversal-6-verilog",
"version": "0.2",
"description": "Reversal-6-verilog: 6-bit Bus reversal. Verilog implementation",
"author": "Juan González-Gómez (Obijuan)",
"image": "%3Csvg%20width=%22421.862%22%20height=%22241.446%22%20viewBox=%220%200%20111.61777%2063.882534%22%20xmlns=%22http://www.w3.org/2000/svg%22%3E%3Cdefs%3E%3Cmarker%20id=%22a%22%20orient=%22auto%22%20overflow=%22visible%22%3E%3Cpath%20transform=%22scale(.6)%22%20d=%22M8.719%204.034L-2.207.016%208.719-4.002c-1.746%202.372-1.736%205.618%200%208.036z%22%20fill=%22context-stroke%22%20fill-rule=%22evenodd%22%20stroke-width=%22.625%22%20stroke-linejoin=%22round%22/%3E%3C/marker%3E%3C/defs%3E%3Cg%20transform=%22translate(-24.136%20-106.75)%22%3E%3Cpath%20d=%22M85.222%20131.15c2.261.012%203.76-.368%206.027-2.488l17.257-17.198a16.052%2016.052%200%200%201%2011.277-4.573h6.686v7.39l-6.428.013a8.57%208.57%200%200%200-6.06%202.487L96.64%20134.085a16.17%2016.17%200%200%201-11.287%204.555%2016.17%2016.17%200%200%201%2011.287%204.555l17.342%2017.304a8.57%208.57%200%200%200%206.059%202.486l6.428.013v7.39h-6.686c-4.212.012-8.315-1.665-11.346-4.594l-17.188-17.177a8.426%208.426%200%200%200-6.025-2.486l-5.034-.032-4.225.032a8.426%208.426%200%200%200-6.024%202.486l-17.188%2017.177c-3.031%202.93-7.135%204.606-11.347%204.595h-7.203v-7.39l6.946-.014a8.57%208.57%200%200%200%206.059-2.486l17.342-17.304a16.17%2016.17%200%200%201%2011.287-4.555%2016.17%2016.17%200%200%201-11.287-4.555L47.208%20116.78a8.57%208.57%200%200%200-6.06-2.487l-6.945-.013v-7.39h7.203a16.052%2016.052%200%200%201%2011.278%204.573l17.257%2017.198s1.54%201.752%206.026%202.488h4.223z%22%20fill=%22green%22%20stroke=%22#000%22%20stroke-linecap=%22round%22%20stroke-linejoin=%22round%22%20stroke-width=%22.28222%22/%3E%3Ctext%20style=%22line-height:1.25%22%20x=%2223.439%22%20y=%22114.85%22%20font-weight=%22400%22%20font-size=%2210.583%22%20font-family=%22sans-serif%22%20letter-spacing=%220%22%20word-spacing=%220%22%20stroke-width=%22.265%22%3E%3Ctspan%20x=%2223.439%22%20y=%22114.85%22%3EN%3C/tspan%3E%3C/text%3E%3Ctext%20style=%22line-height:1.25%22%20x=%2223.439%22%20y=%22170.11%22%20font-weight=%22400%22%20font-size=%2210.583%22%20font-family=%22sans-serif%22%20letter-spacing=%220%22%20word-spacing=%220%22%20stroke-width=%22.265%22%3E%3Ctspan%20x=%2223.439%22%20y=%22170.11%22%3E0%3C/tspan%3E%3C/text%3E%3Ctext%20style=%22line-height:1.25%22%20x=%22128.876%22%20y=%22170.632%22%20font-weight=%22400%22%20font-size=%2210.583%22%20font-family=%22sans-serif%22%20letter-spacing=%220%22%20word-spacing=%220%22%20stroke-width=%22.265%22%3E%3Ctspan%20x=%22128.876%22%20y=%22170.632%22%3EN%3C/tspan%3E%3C/text%3E%3Ctext%20style=%22line-height:1.25%22%20x=%22128.971%22%20y=%22114.787%22%20font-weight=%22400%22%20font-size=%2210.583%22%20font-family=%22sans-serif%22%20letter-spacing=%220%22%20word-spacing=%220%22%20stroke-width=%22.265%22%3E%3Ctspan%20x=%22128.971%22%20y=%22114.787%22%3E0%3C/tspan%3E%3C/text%3E%3Ccircle%20cx=%2226.945%22%20cy=%22127.531%22%20r=%221.026%22%20stroke=%22#000%22%20stroke-width=%22.794%22%20stroke-linecap=%22round%22/%3E%3Ccircle%20cx=%2226.945%22%20cy=%22136.356%22%20r=%221.026%22%20stroke=%22#000%22%20stroke-width=%22.794%22%20stroke-linecap=%22round%22/%3E%3Ccircle%20cx=%2226.945%22%20cy=%22146.045%22%20r=%221.026%22%20stroke=%22#000%22%20stroke-width=%22.794%22%20stroke-linecap=%22round%22/%3E%3Cpath%20d=%22M72.497%20164.514s15.314-9.98%2015.314-27.036c0-17.055-16.059-26.302-16.059-26.302%22%20fill=%22none%22%20stroke=%22#000%22%20stroke-width=%222.117%22%20stroke-linecap=%22round%22%20marker-start=%22url(#a)%22/%3E%3Ccircle%20cx=%22132.943%22%20cy=%22127.531%22%20r=%221.026%22%20stroke=%22#000%22%20stroke-width=%22.794%22%20stroke-linecap=%22round%22/%3E%3Ccircle%20cx=%22132.943%22%20cy=%22136.356%22%20r=%221.026%22%20stroke=%22#000%22%20stroke-width=%22.794%22%20stroke-linecap=%22round%22/%3E%3Ccircle%20cx=%22132.943%22%20cy=%22146.045%22%20r=%221.026%22%20stroke=%22#000%22%20stroke-width=%22.794%22%20stroke-linecap=%22round%22/%3E%3C/g%3E%3C/svg%3E"
},
"design": {
"board": "alhambra-ii",
"graph": {
"blocks": [
{
"id": "474814fc-d3d1-4e90-b294-022fd5b09ff9",
"type": "basic.input",
"data": {
"name": "",
"virtual": true,
"range": "[5:0]",
"pins": [
{
"index": "5",
"name": "NULL",
"value": "NULL"
},
{
"index": "4",
"name": "NULL",
"value": "NULL"
},
{
"index": "3",
"name": "NULL",
"value": "NULL"
},
{
"index": "2",
"name": "NULL",
"value": "NULL"
},
{
"index": "1",
"name": "NULL",
"value": "NULL"
},
{
"index": "0",
"name": "NULL",
"value": "NULL"
}
],
"clock": false
},
"position": {
"x": 128,
"y": -16
}
},
{
"id": "3771b998-ad39-4105-8acd-e374525e7d3c",
"type": "basic.output",
"data": {
"name": "",
"virtual": true,
"range": "[5:0]",
"pins": [
{
"index": "5",
"name": "NULL",
"value": "NULL"
},
{
"index": "4",
"name": "NULL",
"value": "NULL"
},
{
"index": "3",
"name": "NULL",
"value": "NULL"
},
{
"index": "2",
"name": "NULL",
"value": "NULL"
},
{
"index": "1",
"name": "NULL",
"value": "NULL"
},
{
"index": "0",
"name": "NULL",
"value": "NULL"
}
]
},
"position": {
"x": 696,
"y": -16
}
},
{
"id": "0a6097cf-c271-4b7e-94dd-a1b6f984bc30",
"type": "basic.code",
"data": {
"ports": {
"in": [
{
"name": "i",
"range": "[5:0]",
"size": 6
}
],
"out": [
{
"name": "o",
"range": "[5:0]",
"size": 6
}
]
},
"params": [],
"code": "\n//-- Parameter N: bits \nlocalparam N=6;\n\n//-- Generic component\ngenvar b;\n\nfor (b = 0; b < N; b = b + 1) \n assign o[b] = i[N-1-b];\n"
},
"position": {
"x": 296,
"y": -80
},
"size": {
"width": 336,
"height": 184
}
}
],
"wires": [
{
"source": {
"block": "474814fc-d3d1-4e90-b294-022fd5b09ff9",
"port": "out"
},
"target": {
"block": "0a6097cf-c271-4b7e-94dd-a1b6f984bc30",
"port": "i"
},
"size": 6
},
{
"source": {
"block": "0a6097cf-c271-4b7e-94dd-a1b6f984bc30",
"port": "o"
},
"target": {
"block": "3771b998-ad39-4105-8acd-e374525e7d3c",
"port": "in"
},
"size": 6
}
]
}
},
"dependencies": {}
}
Loading

0 comments on commit 0082b28

Please sign in to comment.