Skip to content
Projects
Groups
Snippets
Help
This project
Loading...
Sign in / Register
Toggle navigation
S
sv2v
Overview
Overview
Details
Activity
Cycle Analytics
Repository
Repository
Files
Commits
Branches
Tags
Contributors
Graph
Compare
Charts
Issues
0
Issues
0
List
Board
Labels
Milestones
Merge Requests
0
Merge Requests
0
CI / CD
CI / CD
Pipelines
Jobs
Schedules
Charts
Wiki
Wiki
Snippets
Snippets
Members
Members
Collapse sidebar
Close sidebar
Activity
Graph
Charts
Create a new issue
Jobs
Commits
Issue Boards
Open sidebar
lvzhengyang
sv2v
Commits
9ae29853
Commit
9ae29853
authored
Mar 09, 2021
by
Zachary Snow
Browse files
Options
Browse Files
Download
Email Patches
Plain Diff
use iverilog 11 in Linux CI
parent
38cc25fa
Show whitespace changes
Inline
Side-by-side
Showing
4 changed files
with
41 additions
and
24 deletions
+41
-24
.github/workflows/main.yaml
+21
-1
test/basic/local_cast.sv
+5
-6
test/basic/local_cast.v
+5
-6
test/basic/typeof_op.sv
+10
-11
No files found.
.github/workflows/main.yaml
View file @
9ae29853
...
@@ -47,7 +47,27 @@ jobs:
...
@@ -47,7 +47,27 @@ jobs:
run
:
brew install shunit2 icarus-verilog
run
:
brew install shunit2 icarus-verilog
-
name
:
Install Dependencies (Linux)
-
name
:
Install Dependencies (Linux)
if
:
runner.os == 'Linux'
if
:
runner.os == 'Linux'
run
:
sudo apt-get install -y shunit2 iverilog
run
:
sudo apt-get install -y shunit2 flex bison autoconf gperf
-
name
:
Cache iverilog (Linux)
uses
:
actions/cache@v2
if
:
runner.os == 'Linux'
with
:
path
:
~/.local
key
:
${{ runner.OS }}-iverilog-11_0
restore-keys
:
${{ runner.OS }}-iverilog-11_0
-
name
:
Install iverilog (Linux)
if
:
runner.os == 'Linux'
run
:
|
if [ ! -e "$HOME/.local/bin/iverilog" ]; then
curl -L https://github.com/steveicarus/iverilog/archive/v11_0.tar.gz > iverilog.tar.gz
tar -xzf iverilog.tar.gz
cd iverilog-11_0
autoconf
./configure --prefix=$HOME/.local
make
make install
cd ..
fi
-
name
:
Download Artifact
-
name
:
Download Artifact
uses
:
actions/download-artifact@v1
uses
:
actions/download-artifact@v1
with
:
with
:
...
...
test/basic/local_cast.sv
View file @
9ae29853
...
@@ -15,11 +15,10 @@ module top;
...
@@ -15,11 +15,10 @@ module top;
end
end
end
end
end
end
// TODO: This is not yet supported by iverilog
localparam
P
=
2
;
// localparam P = 2;
for
(
genvar
i
=
0
;
i
<
byte
'
(
P
)
;
i
=
i
+
1
)
begin
:
g
// for (genvar i = 0; i < int'(P); i = i + 1) begin : g
wire
a
=
i
;
// wire a = i;
end
// end
initial
$
display
(
"%b %b"
,
g
[
0
]
.
a
,
g
[
1
]
.
a
)
;
// initial $display("%b %b", g[0].a, g[1].a);
endgenerate
endgenerate
endmodule
endmodule
test/basic/local_cast.v
View file @
9ae29853
...
@@ -20,11 +20,10 @@ module top;
...
@@ -20,11 +20,10 @@ module top;
cast_i
=
inp
;
cast_i
=
inp
;
endfunction
endfunction
end
end
// TODO: This is not yet supported by iverilog
localparam
P
=
2
;
// localparam P = 2;
for
(
i
=
0
;
i
<
P
;
i
=
i
+
1
)
begin
:
g
// for (i = 0; i < P; i = i + 1) begin : g
wire
a
=
i
;
// wire a = i;
end
// end
initial
$
display
(
"%b %b"
,
g
[
0
]
.
a
,
g
[
1
]
.
a
)
;
// initial $display("%b %b", g[0].a, g[1].a);
endgenerate
endgenerate
endmodule
endmodule
test/basic/typeof_op.sv
View file @
9ae29853
`define
TEST
(
expr
)
\
`define
TEST
(
expr
)
\
$
display
(
`
"expr = %b; $bits(expr) = %0d`"
,
(
expr
)
,
$
bits
(
expr
))
;
$
display
(
"%s = %b; $bits(%s) = %0d"
,
`
"expr`"
,
expr
,
`
"expr`"
,
$
bits
(
expr
))
;
module
top
;
module
top
;
initial
begin
initial
begin
...
@@ -37,19 +37,18 @@ module top;
...
@@ -37,19 +37,18 @@ module top;
`TEST
(
4'b1011
>
5'b01110
)
`TEST
(
4'b1011
>
5'b01110
)
`TEST
(
4'b1011
>=
5'b01110
)
`TEST
(
4'b1011
>=
5'b01110
)
// TODO: iverilog incorrectly handles width of these
`TEST
(
4'b1011
*
5'b01110
)
// `TEST(4'b1011 * 5'b01110)
`TEST
(
4'b1011
/
5'b01110
)
// `TEST(4'b1011 / 5'b01110)
`TEST
(
4'b1011
%
5'b01110
)
// `TEST(4'b1011 % 5'b01110)
`TEST
(
4'b1011
+
5'b01110
)
// `TEST(4'b1011 + 5'b01110)
`TEST
(
4'b1011
-
5'b01110
)
// `TEST(4'b1011 - 5'b01110)
`TEST
(
4'b1011
**
5'b01110
)
// `TEST(4'b1011 ** 5'b01110)
`TEST
(
4'b1011
<->
5'b01110
)
`TEST
(
4'b1011
==?
5'b01110
)
`TEST
(
4'b1011
!=?
5'b01110
)
// TODO: not yet supported by iverilog
// TODO: not yet supported by iverilog
// `TEST(4'b1011 -> 5'b01110)
// `TEST(4'b1011 -> 5'b01110)
// `TEST(4'b1011 <-> 5'b01110)
// `TEST(4'b1011 ==? 5'b01110)
// `TEST(4'b1011 !=? 5'b01110)
end
end
endmodule
endmodule
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment