Hi user
Admin Login:
Name: MRPHS: Enabling Transaction-level Deductive Formal Verification Through PDVL
--client fossi --show latch_2024 --room b45r230 15364 --force
Prev: 10 Chisel 6 and beyond
Next: 10 Architecture 2.0: Toward Open Source Foundation Models and Datasets for Hardware Design
Author(s):Tobias Strauch
Locationb45r230
Date apr Fri 19 Days Raw Files
Start13:20 First Raw Start12:24
Duration00:20:00 Offset0:55:38
End 13:40 Last Raw End 13:54
Chapters 00:00 0:14:36
Total cuts_time19 min.
https://fossi-foundation.org/latch-up/2024
raw-playlist raw-mp4-playlist encoded-files-playlist host archive mp4 svg png
final audio

assets release.pdf MRPHS_Enabling_Transactionlevel_Deductive_Formal_Verification_Through_PDVL.json
logs
Admin: episode episode list cut list raw files day marks day marks day image_files

clear this to unlock

user/process that locked.

initially scheduled time from master, adjusted to match reality

length in hh:mm:ss

Video Title (shows in video search results)

email(s) of the presenter(s)

has someone authorised pubication

m=mono, 01=copy left to right, 10=right to left, 00=ignore.

filename.png

markdown

production notes
2024-04-19/12_24_22.ts 12:24:22 - 12:40:27 ( 00:16:05 ) S: 12:24:22 - E: 12:54:21 D: 00:29:59 (End: 965.0)
vlc ~/Videos/veyepar/fossi/latch_2024/dv/b45r230/2024-04-19/12_24_22.ts :start-time=00.0 --audio-desync=0
Raw File Cut List
12:24:22 seconds: 0.0
Wall: 12:24:22
Duration 00:29:59
12:54:21 seconds: 965.0
Wall: 12:40:27
Comments:
mp4
mp4.m3u 		dv.m3u : delete
audio viz
2024-04-19/12_24_22.ts 12:40:27 - 12:49:21 ( 00:08:54 ) S: 12:24:22 - E: 12:54:21 D: 00:29:59 (Start: 965.0) (End: 1499.0)
vlc ~/Videos/veyepar/fossi/latch_2024/dv/b45r230/2024-04-19/12_24_22.ts :start-time=0965.0 --audio-desync=0
Raw File Cut List
12:24:22 seconds: 965.0
Wall: 12:40:27
Duration 00:29:59
12:54:21 seconds: 1499.0
Wall: 12:49:21
Comments:
mp4
mp4.m3u 		dv.m3u : delete
audio viz
2024-04-19/12_24_22.ts 12:49:21 - 12:54:21 ( 00:05:00 ) S: 12:24:22 - E: 12:54:21 D: 00:29:59 (Start: 1499.0)
vlc ~/Videos/veyepar/fossi/latch_2024/dv/b45r230/2024-04-19/12_24_22.ts :start-time=01499.0 --audio-desync=0
Raw File Cut List
12:24:22 seconds: 1499.0
Wall: 12:49:21
Duration 00:29:59
12:54:21 seconds: 0.0
Wall: 12:24:22
Comments:
mp4
mp4.m3u 		dv.m3u : delete
audio viz
2024-04-19/12_54_22.ts 12:54:22 - 12:59:21 ( 00:04:59 ) S: 12:54:22 - E: 13:24:21 D: 00:29:59 (End: 299.0)
vlc ~/Videos/veyepar/fossi/latch_2024/dv/b45r230/2024-04-19/12_54_22.ts :start-time=00.0 --audio-desync=0
Raw File Cut List
12:54:22 seconds: 0.0
Wall: 12:54:22
Duration 00:29:59
13:24:21 seconds: 299.0
Wall: 12:59:21
Comments:
mp4
mp4.m3u 		dv.m3u : delete
audio viz
2024-04-19/12_54_22.ts 12:59:21 - 13:02:21 ( 00:03:00 ) S: 12:54:22 - E: 13:24:21 D: 00:29:59 (Start: 299.0) (End: 479.0)
vlc ~/Videos/veyepar/fossi/latch_2024/dv/b45r230/2024-04-19/12_54_22.ts :start-time=0299.0 --audio-desync=0
Raw File Cut List
12:54:22 seconds: 299.0
Wall: 12:59:21
Duration 00:29:59
13:24:21 seconds: 479.0
Wall: 13:02:21
Comments:
mp4
mp4.m3u 		dv.m3u : delete
audio viz
2024-04-19/12_54_22.ts 13:02:21 - 13:02:39 ( 00:00:18 ) S: 12:54:22 - E: 13:24:21 D: 00:29:59 (Start: 479.0) (End: 497.0)
vlc ~/Videos/veyepar/fossi/latch_2024/dv/b45r230/2024-04-19/12_54_22.ts :start-time=0479.0 --audio-desync=0
Raw File Cut List
12:54:22 seconds: 479.0
Wall: 13:02:21
Duration 00:29:59
13:24:21 seconds: 497.0
Wall: 13:02:39
Comments:
mp4
mp4.m3u 		dv.m3u : delete
audio viz
2024-04-19/12_54_22.ts 13:02:39 - 13:02:41 ( 00:00:02 ) S: 12:54:22 - E: 13:24:21 D: 00:29:59 (Start: 497.0) (End: 499.0)
vlc ~/Videos/veyepar/fossi/latch_2024/dv/b45r230/2024-04-19/12_54_22.ts :start-time=0497.0 --audio-desync=0
Raw File Cut List
12:54:22 seconds: 497.0
Wall: 13:02:39
Duration 00:29:59
13:24:21 seconds: 499.0
Wall: 13:02:41
Comments:
mp4
mp4.m3u 		dv.m3u : delete
audio viz
2024-04-19/12_54_22.ts 13:02:41 - 13:18:40 ( 00:15:59 ) S: 12:54:22 - E: 13:24:21 D: 00:29:59 (Start: 499.0) (End: 1458.0)
vlc ~/Videos/veyepar/fossi/latch_2024/dv/b45r230/2024-04-19/12_54_22.ts :start-time=0499.0 --audio-desync=0
Raw File Cut List
12:54:22 seconds: 499.0
Wall: 13:02:41
Duration 00:29:59
13:24:21 seconds: 1458.0
Wall: 13:18:40
Comments:
mp4
mp4.m3u 		dv.m3u : delete
audio viz
2024-04-19/12_54_22.ts 13:18:40 - 13:24:21 ( 00:05:41 ) S: 12:54:22 - E: 13:24:21 D: 00:29:59 (Start: 1458.0)
vlc ~/Videos/veyepar/fossi/latch_2024/dv/b45r230/2024-04-19/12_54_22.ts :start-time=01458.0 --audio-desync=0
Raw File Cut List
12:54:22 seconds: 1458.0
Wall: 13:18:40
Duration 00:29:59
13:24:21 seconds: 0.0
Wall: 12:54:22
Comments:
mp4
mp4.m3u 		dv.m3u : delete
audio viz
2024-04-19/13_24_22.ts 13:24:22 - 13:25:52 ( 00:01:30 ) S: 13:24:22 - E: 13:54:22 D: 00:30:00 (End: 90.0)
vlc ~/Videos/veyepar/fossi/latch_2024/dv/b45r230/2024-04-19/13_24_22.ts :start-time=00.0 --audio-desync=0
Raw File Cut List
13:24:22 seconds: 0.0
Wall: 13:24:22
Duration 00:30:00
13:54:22 seconds: 90.0
Wall: 13:25:52
Comments:
mp4
mp4.m3u 		dv.m3u : delete
audio viz
2024-04-19/13_24_22.ts 13:25:52 - 13:28:01 ( 00:02:09 ) S: 13:24:22 - E: 13:54:22 D: 00:30:00 (Start: 90.0) (End: 219.0)
vlc ~/Videos/veyepar/fossi/latch_2024/dv/b45r230/2024-04-19/13_24_22.ts :start-time=090.0 --audio-desync=0
Raw File Cut List
13:24:22 seconds: 90.0
Wall: 13:25:52
Duration 00:30:00
13:54:22 seconds: 219.0
Wall: 13:28:01
Comments:
mp4
mp4.m3u 		dv.m3u : delete
audio viz
2024-04-19/13_24_22.ts 13:28:01 - 13:28:07 ( 00:00:06 ) S: 13:24:22 - E: 13:54:22 D: 00:30:00 (Start: 219.0) (End: 225.0)
vlc ~/Videos/veyepar/fossi/latch_2024/dv/b45r230/2024-04-19/13_24_22.ts :start-time=0219.0 --audio-desync=0
Raw File Cut List
13:24:22 seconds: 219.0
Wall: 13:28:01
Duration 00:30:00
13:54:22 seconds: 225.0
Wall: 13:28:07
Comments:
mp4
mp4.m3u 		dv.m3u : delete
audio viz
2024-04-19/13_24_22.ts 13:28:07 - 13:42:43 ( 00:14:36 ) S: 13:24:22 - E: 13:54:22 D: 00:30:00 (Start: 225.0) (End: 1101.0)
vlc ~/Videos/veyepar/fossi/latch_2024/dv/b45r230/2024-04-19/13_24_22.ts :start-time=0225.0 --audio-desync=0
Raw File Cut List
13:24:22 seconds: 225.0
Wall: 13:28:07
Duration 00:30:00
13:54:22 seconds: 1101.0
Wall: 13:42:43
Comments:
mp4
mp4.m3u 		dv.m3u : delete
audio viz
2024-04-19/13_24_22.ts 13:42:43 - 13:47:34 ( 00:04:51 ) S: 13:24:22 - E: 13:54:22 D: 00:30:00 (Start: 1101.0) (End: 1392.0)
vlc ~/Videos/veyepar/fossi/latch_2024/dv/b45r230/2024-04-19/13_24_22.ts :start-time=01101.0 --audio-desync=0
Raw File Cut List
13:24:22 seconds: 1101.0
Wall: 13:42:43
Duration 00:30:00
13:54:22 seconds: 1392.0
Wall: 13:47:34
Comments:
mp4
mp4.m3u 		dv.m3u : delete
audio viz
2024-04-19/13_24_22.ts 13:47:34 - 13:54:22 ( 00:06:48 ) S: 13:24:22 - E: 13:54:22 D: 00:30:00 (Start: 1392.0)
vlc ~/Videos/veyepar/fossi/latch_2024/dv/b45r230/2024-04-19/13_24_22.ts :start-time=01392.0 --audio-desync=0
Raw File Cut List
13:24:22 seconds: 1392.0
Wall: 13:47:34
Duration 00:30:00
13:54:22 seconds: 0.0
Wall: 13:24:22
Comments:
mp4
mp4.m3u 		dv.m3u : delete
audio viz

root is .../show/dv/location/, example: 2013-03-13/13:13:30.dv

check and save to add this

2024-04-19/12_24_22.ts
audio viz
2024-04-19/12_54_22.ts
audio viz
2024-04-19/13_24_22.ts
audio viz

Veyepar Video Eyeball Processor and Review