Hi
user
Admin Login:
Username:
Password:
Name:
Educational Framework for Functional Verification
--client
fossi
--show
latch_2023
--room henley1010 15257 --force
Next: 10 Using CVA6 in Architecture Education
show more...
Marks
Author(s):
Matthew Michilot
Location
UCSB Henley Hall room 1010
Date
apr Sat 01
Days Raw Files
Start
13:24
First Raw Start
12:57
Duration
00:3:00
Offset
0:26:01
End
13:27
Last Raw End
14:27
Chapters
00:00
Total cuts_time
3 min.
https://www.fossi-foundation.org/latchup/#presentations
raw-playlist
raw-mp4-playlist
encoded-files-playlist
host
archive
mp4
svg
png
assets
release.pdf
Educational_Framework_for_Functional_Verification.json
logs
Admin:
episode
episode list
cut list
raw files day
marks day
marks day
image_files
State:
---------
borked
edit
encode
push to queue
post
richard
review 1
email
review 2
make public
tweet
to-miror
conf
done
Locked:
clear this to unlock
Locked by:
user/process that locked.
Start:
initially scheduled time from master, adjusted to match reality
Duration:
length in hh:mm:ss
Name:
Video Title (shows in video search results)
Emails:
email(s) of the presenter(s)
Released:
Unknown
Yes
No
has someone authorised pubication
Normalise:
Channelcopy:
m=mono, 01=copy left to right, 10=right to left, 00=ignore.
Thumbnail:
filename.png
Description:
With designs becoming increasingly complex, time-to-market decreasing, and more features being demanded, the need for design verification is greater than ever. Today more than 60% of the design effort is dedicated to verification, demanding the need for efficient verification techniques. To that end, there is a plethora of educational resources regarding functional verification, particularly for SystemVerilog. However, many of these resources necessitate the use of language features that aren't supported by open source tools. Therefore, I propose an educational framework that specifically targets open-source tools such as Cocotb, Verilator, and SymbiYosys. While these tools are not as mature as their commercial counterparts, their biggest appeal from an educational standpoint is their accessibility. By providing this educational framework, I seek to enable future researchers and students to learn about modern verification techniques so that they can incorporate such techniques into their designs and develop more robust systems.
markdown
Comment:
production notes
2023-04-01/12_57_59.ts
Apply:
12:57:59 - 12:58:17 ( 00:00:18 )
S:
12:57:59 -
E:
13:27:59
D:
00:30:00
(
End:
18.0)
show more...
vlc ~/Videos/veyepar/fossi/latch_2023/dv/henley1010/2023-04-01/12_57_59.ts :start-time=00.0 --audio-desync=0
Raw File
Cut List
12:57:59
seconds: 0.0
Wall: 12:57:59
Duration
00:30:00
13:27:59
seconds: 18.0
Wall: 12:58:17
Comments:
mp4
mp4.m3u
dv.m3u
Split:
Sequence:
:
delete
2023-04-01/12_57_59.ts
Apply:
12:58:17 - 12:59:36 ( 00:01:19 )
S:
12:57:59 -
E:
13:27:59
D:
00:30:00
(
Start:
18.0) (
End:
97.0)
show more...
vlc ~/Videos/veyepar/fossi/latch_2023/dv/henley1010/2023-04-01/12_57_59.ts :start-time=018.0 --audio-desync=0
Raw File
Cut List
12:57:59
seconds: 18.0
Wall: 12:58:17
Duration
00:30:00
13:27:59
seconds: 97.0
Wall: 12:59:36
Comments:
mp4
mp4.m3u
dv.m3u
Split:
Sequence:
:
delete
2023-04-01/12_57_59.ts
Apply:
12:59:36 - 12:59:53 ( 00:00:17 )
S:
12:57:59 -
E:
13:27:59
D:
00:30:00
(
Start:
97.0) (
End:
114.0)
show more...
vlc ~/Videos/veyepar/fossi/latch_2023/dv/henley1010/2023-04-01/12_57_59.ts :start-time=097.0 --audio-desync=0
Raw File
Cut List
12:57:59
seconds: 97.0
Wall: 12:59:36
Duration
00:30:00
13:27:59
seconds: 114.0
Wall: 12:59:53
Comments:
mp4
mp4.m3u
dv.m3u
Split:
Sequence:
:
delete
2023-04-01/12_57_59.ts
Apply:
12:59:53 - 13:00:18 ( 00:00:25 )
S:
12:57:59 -
E:
13:27:59
D:
00:30:00
(
Start:
114.0) (
End:
139.0)
show more...
vlc ~/Videos/veyepar/fossi/latch_2023/dv/henley1010/2023-04-01/12_57_59.ts :start-time=0114.0 --audio-desync=0
Raw File
Cut List
12:57:59
seconds: 114.0
Wall: 12:59:53
Duration
00:30:00
13:27:59
seconds: 139.0
Wall: 13:00:18
Comments:
mp4
mp4.m3u
dv.m3u
Split:
Sequence:
:
delete
2023-04-01/12_57_59.ts
Apply:
13:00:18 - 13:03:55 ( 00:03:37 )
S:
12:57:59 -
E:
13:27:59
D:
00:30:00
(
Start:
139.0) (
End:
356.0)
show more...
vlc ~/Videos/veyepar/fossi/latch_2023/dv/henley1010/2023-04-01/12_57_59.ts :start-time=0139.0 --audio-desync=0
Raw File
Cut List
12:57:59
seconds: 139.0
Wall: 13:00:18
Duration
00:30:00
13:27:59
seconds: 356.0
Wall: 13:03:55
Comments:
mp4
mp4.m3u
dv.m3u
Split:
Sequence:
:
delete
2023-04-01/12_57_59.ts
Apply:
13:03:55 - 13:06:52 ( 00:02:57 )
S:
12:57:59 -
E:
13:27:59
D:
00:30:00
(
Start:
356.0) (
End:
533.0)
show more...
vlc ~/Videos/veyepar/fossi/latch_2023/dv/henley1010/2023-04-01/12_57_59.ts :start-time=0356.0 --audio-desync=0
Raw File
Cut List
12:57:59
seconds: 356.0
Wall: 13:03:55
Duration
00:30:00
13:27:59
seconds: 533.0
Wall: 13:06:52
Comments:
mp4
mp4.m3u
dv.m3u
Split:
Sequence:
:
delete
2023-04-01/12_57_59.ts
Apply:
13:06:52 - 13:10:07 ( 00:03:15 )
S:
12:57:59 -
E:
13:27:59
D:
00:30:00
(
Start:
533.0) (
End:
728.0)
show more...
vlc ~/Videos/veyepar/fossi/latch_2023/dv/henley1010/2023-04-01/12_57_59.ts :start-time=0533.0 --audio-desync=0
Raw File
Cut List
12:57:59
seconds: 533.0
Wall: 13:06:52
Duration
00:30:00
13:27:59
seconds: 728.0
Wall: 13:10:07
Comments:
mp4
mp4.m3u
dv.m3u
Split:
Sequence:
:
delete
2023-04-01/12_57_59.ts
Apply:
13:10:07 - 13:10:28 ( 00:00:21 )
S:
12:57:59 -
E:
13:27:59
D:
00:30:00
(
Start:
728.0) (
End:
749.0)
show more...
vlc ~/Videos/veyepar/fossi/latch_2023/dv/henley1010/2023-04-01/12_57_59.ts :start-time=0728.0 --audio-desync=0
Raw File
Cut List
12:57:59
seconds: 728.0
Wall: 13:10:07
Duration
00:30:00
13:27:59
seconds: 749.0
Wall: 13:10:28
Comments:
mp4
mp4.m3u
dv.m3u
Split:
Sequence:
:
delete
2023-04-01/12_57_59.ts
Apply:
13:10:28 - 13:13:42 ( 00:03:14 )
S:
12:57:59 -
E:
13:27:59
D:
00:30:00
(
Start:
749.0) (
End:
943.0)
show more...
vlc ~/Videos/veyepar/fossi/latch_2023/dv/henley1010/2023-04-01/12_57_59.ts :start-time=0749.0 --audio-desync=0
Raw File
Cut List
12:57:59
seconds: 749.0
Wall: 13:10:28
Duration
00:30:00
13:27:59
seconds: 943.0
Wall: 13:13:42
Comments:
mp4
mp4.m3u
dv.m3u
Split:
Sequence:
:
delete
2023-04-01/12_57_59.ts
Apply:
13:13:42 - 13:16:02 ( 00:02:20 )
S:
12:57:59 -
E:
13:27:59
D:
00:30:00
(
Start:
943.0) (
End:
1083.0)
show more...
vlc ~/Videos/veyepar/fossi/latch_2023/dv/henley1010/2023-04-01/12_57_59.ts :start-time=0943.0 --audio-desync=0
Raw File
Cut List
12:57:59
seconds: 943.0
Wall: 13:13:42
Duration
00:30:00
13:27:59
seconds: 1083.0
Wall: 13:16:02
Comments:
mp4
mp4.m3u
dv.m3u
Split:
Sequence:
:
delete
2023-04-01/12_57_59.ts
Apply:
13:16:02 - 13:19:17 ( 00:03:15 )
S:
12:57:59 -
E:
13:27:59
D:
00:30:00
(
Start:
1083.0) (
End:
1278.0)
show more...
vlc ~/Videos/veyepar/fossi/latch_2023/dv/henley1010/2023-04-01/12_57_59.ts :start-time=01083.0 --audio-desync=0
Raw File
Cut List
12:57:59
seconds: 1083.0
Wall: 13:16:02
Duration
00:30:00
13:27:59
seconds: 1278.0
Wall: 13:19:17
Comments:
mp4
mp4.m3u
dv.m3u
Split:
Sequence:
:
delete
2023-04-01/12_57_59.ts
Apply:
13:19:17 - 13:19:18 ( 00:00:01 )
S:
12:57:59 -
E:
13:27:59
D:
00:30:00
(
Start:
1278.0) (
End:
1279.0)
show more...
vlc ~/Videos/veyepar/fossi/latch_2023/dv/henley1010/2023-04-01/12_57_59.ts :start-time=01278.0 --audio-desync=0
Raw File
Cut List
12:57:59
seconds: 1278.0
Wall: 13:19:17
Duration
00:30:00
13:27:59
seconds: 1279.0
Wall: 13:19:18
Comments:
mp4
mp4.m3u
dv.m3u
Split:
Sequence:
:
delete
2023-04-01/12_57_59.ts
Apply:
13:19:18 - 13:22:39 ( 00:03:21 )
S:
12:57:59 -
E:
13:27:59
D:
00:30:00
(
Start:
1279.0) (
End:
1480.0)
show more...
vlc ~/Videos/veyepar/fossi/latch_2023/dv/henley1010/2023-04-01/12_57_59.ts :start-time=01279.0 --audio-desync=0
Raw File
Cut List
12:57:59
seconds: 1279.0
Wall: 13:19:18
Duration
00:30:00
13:27:59
seconds: 1480.0
Wall: 13:22:39
Comments:
mp4
mp4.m3u
dv.m3u
Split:
Sequence:
:
delete
2023-04-01/12_57_59.ts
Apply:
13:22:39 - 13:26:01 ( 00:03:22 )
S:
12:57:59 -
E:
13:27:59
D:
00:30:00
(
Start:
1480.0) (
End:
1682.0)
show more...
vlc ~/Videos/veyepar/fossi/latch_2023/dv/henley1010/2023-04-01/12_57_59.ts :start-time=01480.0 --audio-desync=0
Raw File
Cut List
12:57:59
seconds: 1480.0
Wall: 13:22:39
Duration
00:30:00
13:27:59
seconds: 1682.0
Wall: 13:26:01
Comments:
mp4
mp4.m3u
dv.m3u
Split:
Sequence:
:
delete
2023-04-01/12_57_59.ts
Apply:
13:26:01 - 13:27:59 ( 00:01:58 )
S:
12:57:59 -
E:
13:27:59
D:
00:30:00
(
Start:
1682.0)
show more...
vlc ~/Videos/veyepar/fossi/latch_2023/dv/henley1010/2023-04-01/12_57_59.ts :start-time=01682.0 --audio-desync=0
Raw File
Cut List
12:57:59
seconds: 1682.0
Wall: 13:26:01
Duration
00:30:00
13:27:59
seconds: 0.0
Wall: 12:57:59
Comments:
mp4
mp4.m3u
dv.m3u
Split:
Sequence:
:
delete
2023-04-01/13_27_59.ts
Apply:
13:27:59 - 13:28:56 ( 00:00:57 )
S:
13:27:59 -
E:
13:57:58
D:
00:29:59
(
End:
57.0)
show more...
vlc ~/Videos/veyepar/fossi/latch_2023/dv/henley1010/2023-04-01/13_27_59.ts :start-time=00.0 --audio-desync=0
Raw File
Cut List
13:27:59
seconds: 0.0
Wall: 13:27:59
Duration
00:29:59
13:57:58
seconds: 57.0
Wall: 13:28:56
Comments:
mp4
mp4.m3u
dv.m3u
Split:
Sequence:
:
delete
2023-04-01/13_27_59.ts
Apply:
13:28:56 - 13:32:14 ( 00:03:18 )
S:
13:27:59 -
E:
13:57:58
D:
00:29:59
(
Start:
57.0) (
End:
255.0)
show more...
vlc ~/Videos/veyepar/fossi/latch_2023/dv/henley1010/2023-04-01/13_27_59.ts :start-time=057.0 --audio-desync=0
Raw File
Cut List
13:27:59
seconds: 57.0
Wall: 13:28:56
Duration
00:29:59
13:57:58
seconds: 255.0
Wall: 13:32:14
Comments:
mp4
mp4.m3u
dv.m3u
Split:
Sequence:
:
delete
2023-04-01/13_27_59.ts
Apply:
13:32:14 - 13:35:31 ( 00:03:17 )
S:
13:27:59 -
E:
13:57:58
D:
00:29:59
(
Start:
255.0) (
End:
452.0)
show more...
vlc ~/Videos/veyepar/fossi/latch_2023/dv/henley1010/2023-04-01/13_27_59.ts :start-time=0255.0 --audio-desync=0
Raw File
Cut List
13:27:59
seconds: 255.0
Wall: 13:32:14
Duration
00:29:59
13:57:58
seconds: 452.0
Wall: 13:35:31
Comments:
mp4
mp4.m3u
dv.m3u
Split:
Sequence:
:
delete
2023-04-01/13_27_59.ts
Apply:
13:35:31 - 13:36:55 ( 00:01:24 )
S:
13:27:59 -
E:
13:57:58
D:
00:29:59
(
Start:
452.0) (
End:
536.0)
show more...
vlc ~/Videos/veyepar/fossi/latch_2023/dv/henley1010/2023-04-01/13_27_59.ts :start-time=0452.0 --audio-desync=0
Raw File
Cut List
13:27:59
seconds: 452.0
Wall: 13:35:31
Duration
00:29:59
13:57:58
seconds: 536.0
Wall: 13:36:55
Comments:
mp4
mp4.m3u
dv.m3u
Split:
Sequence:
:
delete
2023-04-01/13_27_59.ts
Apply:
13:36:55 - 13:56:14 ( 00:19:19 )
S:
13:27:59 -
E:
13:57:58
D:
00:29:59
(
Start:
536.0) (
End:
1695.0)
show more...
vlc ~/Videos/veyepar/fossi/latch_2023/dv/henley1010/2023-04-01/13_27_59.ts :start-time=0536.0 --audio-desync=0
Raw File
Cut List
13:27:59
seconds: 536.0
Wall: 13:36:55
Duration
00:29:59
13:57:58
seconds: 1695.0
Wall: 13:56:14
Comments:
mp4
mp4.m3u
dv.m3u
Split:
Sequence:
:
delete
2023-04-01/13_27_59.ts
Apply:
13:56:14 - 13:57:58 ( 00:01:44 )
S:
13:27:59 -
E:
13:57:58
D:
00:29:59
(
Start:
1695.0)
show more...
vlc ~/Videos/veyepar/fossi/latch_2023/dv/henley1010/2023-04-01/13_27_59.ts :start-time=01695.0 --audio-desync=0
Raw File
Cut List
13:27:59
seconds: 1695.0
Wall: 13:56:14
Duration
00:29:59
13:57:58
seconds: 0.0
Wall: 13:27:59
Comments:
mp4
mp4.m3u
dv.m3u
Split:
Sequence:
:
delete
2023-04-01/13_57_59.ts
Apply:
13:57:59 - 14:02:39 ( 00:04:40 )
S:
13:57:59 -
E:
14:27:58
D:
00:29:59
(
End:
280.0)
show more...
vlc ~/Videos/veyepar/fossi/latch_2023/dv/henley1010/2023-04-01/13_57_59.ts :start-time=00.0 --audio-desync=0
Raw File
Cut List
13:57:59
seconds: 0.0
Wall: 13:57:59
Duration
00:29:59
14:27:58
seconds: 280.0
Wall: 14:02:39
Comments:
mp4
mp4.m3u
dv.m3u
Split:
Sequence:
:
delete
2023-04-01/13_57_59.ts
Apply:
14:02:39 - 14:03:49 ( 00:01:10 )
S:
13:57:59 -
E:
14:27:58
D:
00:29:59
(
Start:
280.0) (
End:
350.0)
show more...
vlc ~/Videos/veyepar/fossi/latch_2023/dv/henley1010/2023-04-01/13_57_59.ts :start-time=0280.0 --audio-desync=0
Raw File
Cut List
13:57:59
seconds: 280.0
Wall: 14:02:39
Duration
00:29:59
14:27:58
seconds: 350.0
Wall: 14:03:49
Comments:
mp4
mp4.m3u
dv.m3u
Split:
Sequence:
:
delete
2023-04-01/13_57_59.ts
Apply:
14:03:49 - 14:26:31 ( 00:22:42 )
S:
13:57:59 -
E:
14:27:58
D:
00:29:59
(
Start:
350.0) (
End:
1712.0)
show more...
vlc ~/Videos/veyepar/fossi/latch_2023/dv/henley1010/2023-04-01/13_57_59.ts :start-time=0350.0 --audio-desync=0
Raw File
Cut List
13:57:59
seconds: 350.0
Wall: 14:03:49
Duration
00:29:59
14:27:58
seconds: 1712.0
Wall: 14:26:31
Comments:
mp4
mp4.m3u
dv.m3u
Split:
Sequence:
:
delete
2023-04-01/13_57_59.ts
Apply:
14:26:31 - 14:27:58 ( 00:01:27 )
S:
13:57:59 -
E:
14:27:58
D:
00:29:59
(
Start:
1712.0)
show more...
vlc ~/Videos/veyepar/fossi/latch_2023/dv/henley1010/2023-04-01/13_57_59.ts :start-time=01712.0 --audio-desync=0
Raw File
Cut List
13:57:59
seconds: 1712.0
Wall: 14:26:31
Duration
00:29:59
14:27:58
seconds: 0.0
Wall: 13:57:59
Comments:
mp4
mp4.m3u
dv.m3u
Split:
Sequence:
:
delete
Rf filename:
root is .../show/dv/location/, example: 2013-03-13/13:13:30.dv
Sequence:
get this:
check and save to add this
2023-04-01/12_57_59.ts
2023-04-01/13_27_59.ts
2023-04-01/13_57_59.ts
Veyepar
Video Eyeball Processor and Review
