Skip to content
GitLab
Explore
Sign in
Register
Primary navigation
Search or go to…
Project
SoCLabs SHA-2 Accelerator
Manage
Activity
Members
Labels
Plan
Issues
Issue boards
Milestones
Jira
Code
Merge requests
Repository
Branches
Commits
Tags
Repository graph
Compare revisions
Build
Pipelines
Jobs
Pipeline schedules
Artifacts
Deploy
Package Registry
Model registry
Operate
Environments
Terraform modules
Monitor
Incidents
Analyze
Model experiments
Help
Help
Support
GitLab documentation
Compare GitLab plans
Community forum
Contribute to GitLab
Provide feedback
Keyboard shortcuts
?
Snippets
Groups
Projects
Show more breadcrumbs
SoCLabs
SoCLabs SHA-2 Accelerator
Commits
c37577f1
Commit
c37577f1
authored
2 years ago
by
dam1n19
Browse files
Options
Downloads
Patches
Plain Diff
ATO2-24
: Removed seeding from ID issuer and fixed dynamic stall value bug in testbenches
parent
66050f68
No related branches found
Branches containing commit
No related tags found
No related merge requests found
Changes
2
Hide whitespace changes
Inline
Side-by-side
Showing
2 changed files
hdl/verif/tb_sha256_engine.sv
+7
-7
7 additions, 7 deletions
hdl/verif/tb_sha256_engine.sv
hdl/verif/tb_sha256_hash_compression.sv
+4
-4
4 additions, 4 deletions
hdl/verif/tb_sha256_hash_compression.sv
with
11 additions
and
11 deletions
hdl/verif/tb_sha256_engine.sv
+
7
−
7
View file @
c37577f1
...
...
@@ -89,7 +89,7 @@ module tb_sha256_engine;
data_in_gap
<=
0
;
data_in_wait_queue
<=
1'b1
;
end
else
if
(
data_in_drive_en
)
begin
if
(
data_in_gap
>
0
)
begin
if
(
data_in_gap
>
1
)
begin
data_in_gap
<=
data_in_gap
-
1
;
data_in_valid
<=
1'b0
;
end
else
begin
...
...
@@ -127,7 +127,7 @@ module tb_sha256_engine;
cfg_gap
<=
0
;
cfg_wait_queue
<=
1'b1
;
end
else
if
(
cfg_drive_en
)
begin
if
(
cfg_gap
>
0
)
begin
if
(
cfg_gap
>
1
)
begin
cfg_gap
<=
cfg_gap
-
1
;
cfg_valid
<=
1'b0
;
end
else
begin
...
...
@@ -173,7 +173,7 @@ module tb_sha256_engine;
// Check Override Control on Ready
if
(
data_out_drive_ready
)
begin
// Count down to zero before enabling Ready
if
(
data_out_stall
>
0
)
begin
if
(
data_out_stall
>
1
)
begin
data_out_stall
<=
data_out_stall
-
1
;
data_out_ready
<=
1'b0
;
end
else
begin
...
...
@@ -205,12 +205,12 @@ module tb_sha256_engine;
$
error
(
"data_out missmatch! packet %d | recieve: %x != check: %x"
,
packet_num
,
data_out
,
data_out_check
);
$
finish
;
end
if
($
test
$
plusargs
(
"DEBUG"
))
$
display
(
"data_out match! packet %d | recieve: %x
!
= check: %x"
,
packet_num
,
data_out
,
data_out_check
);
if
($
test
$
plusargs
(
"DEBUG"
))
$
display
(
"data_out match! packet %d | recieve: %x
=
= check: %x"
,
packet_num
,
data_out
,
data_out_check
);
assert
(
data_out_last
==
data_out_last_check
)
else
begin
$
error
(
"data_out_last missmatch! packet %d | recieve: %x != check: %x"
,
packet_num
,
data_out_last
,
data_out_last_check
);
$
finish
;
end
if
($
test
$
plusargs
(
"DEBUG"
))
$
display
(
"data_out_last match! packet %d | recieve: %x
!
= check: %x"
,
packet_num
,
data_out_last
,
data_out_last_check
);
if
($
test
$
plusargs
(
"DEBUG"
))
$
display
(
"data_out_last match! packet %d | recieve: %x
=
= check: %x"
,
packet_num
,
data_out_last
,
data_out_last_check
);
if
((
data_out_queue
.
size
()
>
0
)
&&
(
data_out_last_queue
.
size
()
>
0
))
begin
data_out_check
<=
data_out_queue
.
pop_front
();
data_out_last_check
<=
data_out_last_queue
.
pop_front
();
...
...
@@ -229,12 +229,12 @@ module tb_sha256_engine;
$
error
(
"message block missmatch! packet %d | recieve: %x != check: %x"
,
message_block_packet_num
,
data_out
,
message_block_data_out_check
);
$
finish
;
end
if
($
test
$
plusargs
(
"DEBUG"
))
$
display
(
"message block match! packet %d | recieve: %x
!
= check: %x"
,
message_block_packet_num
,
message_builder_out_data
,
message_block_data_out_check
);
if
($
test
$
plusargs
(
"DEBUG"
))
$
display
(
"message block match! packet %d | recieve: %x
=
= check: %x"
,
message_block_packet_num
,
message_builder_out_data
,
message_block_data_out_check
);
assert
(
message_builder_out_data_last
==
message_block_data_out_last_check
)
else
begin
$
error
(
"message block last missmatch! packet %d | recieve: %x != check: %x"
,
message_block_packet_num
,
message_builder_out_data_last
,
message_block_data_out_last_check
);
$
finish
;
end
if
($
test
$
plusargs
(
"DEBUG"
))
$
display
(
"message block last match! packet %d | recieve: %x
!
= check: %x"
,
message_block_packet_num
,
message_builder_out_data_last
,
message_block_data_out_last_check
);
if
($
test
$
plusargs
(
"DEBUG"
))
$
display
(
"message block last match! packet %d | recieve: %x
=
= check: %x"
,
message_block_packet_num
,
message_builder_out_data_last
,
message_block_data_out_last_check
);
if
((
message_block_queue
.
size
()
>
0
)
&&
(
message_block_last_queue
.
size
()
>
0
))
begin
message_block_data_out_check
<=
message_block_queue
.
pop_front
();
message_block_data_out_last_check
<=
message_block_last_queue
.
pop_front
();
...
...
This diff is collapsed.
Click to expand it.
hdl/verif/tb_sha256_hash_compression.sv
+
4
−
4
View file @
c37577f1
...
...
@@ -66,7 +66,7 @@ module tb_sha256_hash_compression;
data_in_gap
<=
0
;
data_in_wait_queue
<=
1'b1
;
end
else
if
(
data_in_drive_en
)
begin
if
(
data_in_gap
>
0
)
begin
if
(
data_in_gap
>
1
)
begin
data_in_gap
<=
data_in_gap
-
1
;
data_in_valid
<=
1'b0
;
end
else
begin
...
...
@@ -107,7 +107,7 @@ module tb_sha256_hash_compression;
// Check Override Control on Ready
if
(
data_out_drive_ready
)
begin
// Count down to zero before enabling Ready
if
(
data_out_stall
>
0
)
begin
if
(
data_out_stall
>
1
)
begin
data_out_stall
<=
data_out_stall
-
1
;
data_out_ready
<=
1'b0
;
end
else
begin
...
...
@@ -139,12 +139,12 @@ module tb_sha256_hash_compression;
$
error
(
"data_out missmatch! packet %d | recieve: %x != check: %x"
,
packet_num
,
data_out
,
data_out_check
);
$
finish
;
end
if
($
test
$
plusargs
(
"DEBUG"
))
$
display
(
"data_out match! packet %d | recieve: %x
!
= check: %x"
,
packet_num
,
data_out
,
data_out_check
);
if
($
test
$
plusargs
(
"DEBUG"
))
$
display
(
"data_out match! packet %d | recieve: %x
=
= check: %x"
,
packet_num
,
data_out
,
data_out_check
);
assert
(
data_out_last
==
data_out_last_check
)
else
begin
$
error
(
"data_out_last missmatch! packet %d | recieve: %x != check: %x"
,
packet_num
,
data_out_last
,
data_out_last_check
);
$
finish
;
end
if
($
test
$
plusargs
(
"DEBUG"
))
$
display
(
"data_out_last match! packet %d | recieve: %x
!
= check: %x"
,
packet_num
,
data_out_last
,
data_out_last_check
);
if
($
test
$
plusargs
(
"DEBUG"
))
$
display
(
"data_out_last match! packet %d | recieve: %x
=
= check: %x"
,
packet_num
,
data_out_last
,
data_out_last_check
);
if
((
data_out_queue
.
size
()
>
0
)
&&
(
data_out_last_queue
.
size
()
>
0
))
begin
data_out_check
<=
data_out_queue
.
pop_front
();
data_out_last_check
<=
data_out_last_queue
.
pop_front
();
...
...
This diff is collapsed.
Click to expand it.
Preview
0%
Loading
Try again
or
attach a new file
.
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Save comment
Cancel
Please
register
or
sign in
to comment