veyepar: SystemVerilog-Style Constraints and Functional Coverage in Python

Hi user

Admin Login:

Name: SystemVerilog-Style Constraints and Functional Coverage in Python
--client fossi --show latch_2023 --room henley1010 15250 --force
Next: 10 OpenROAD - Turning Designs into Optimized Silicon

show more... Marks

Author(s):	Matthew Ballance
Location	UCSB Henley Hall room 1010
Date	apr Sun 02	Days Raw Files
Start	09:30	First Raw Start	09:12
Duration	00:20:00	Offset	0:17:19
End	09:50	Last Raw End	10:42
Chapters	00:00 0:23:06 0:27:32
Total cuts_time	34 min.

https://www.fossi-foundation.org/latchup/#presentations
raw-playlist raw-mp4-playlist encoded-files-playlist host archive mp4 svg png

final audio

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

State:

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:

has someone authorised pubication

Normalise:

Channelcopy:

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

Thumbnail:

filename.png

Description:

markdown

While SystemVerilog is the most widely-used language for creating functional verification testbench environments, many different language are used as well. In the past decade or so, Python has risen in popularity as a verification language. The open-source Python ecosystem for functional verification provides many of the expected elements of any other functional verification flow, such as libraries for connecting Python to simulators, frameworks for structuring testbench environments, and bus functional models for specific protocols. However, until recently, the it did not provide support for specifying data-randomization constraints and functional coverage metrics in a way that SystemVerilog users would find familiar. This presentation will introduce PyVSC, an open-source Python library for modeling SystemVerilog-style data randomization constraints and functional coverage metrics in Python. It will describe the constraint and coverage features that can be modeled with PyVSC, and describe how PyVSC leverages existing SMT solvers to generate random data from complex sets of constraints. It will describe how functional coverage data collected by PyVSC can be exported to support manipulation by external flows and toolchains.

Comment:

production notes

2023-04-02/09_12_41.ts Apply: 09:12:41 - 09:13:21 ( 00:00:40 ) S: 09:12:41 - E: 09:42:41 D: 00:30:00 (End: 40.0) show more...

vlc ~/Videos/veyepar/fossi/latch_2023/dv/henley1010/2023-04-02/09_12_41.ts :start-time=00.0 --audio-desync=0

	Raw File	Cut List
	09:12:41		seconds: 0.0 Wall: 09:12:41
Duration	00:30:00
	09:42:41		seconds: 40.0 Wall: 09:13:21
Comments:
mp4 mp4.m3u	dv.m3u	Split: Sequence:: delete

audio viz

2023-04-02/09_12_41.ts Apply: 09:13:21 - 09:41:27 ( 00:28:06 ) S: 09:12:41 - E: 09:42:41 D: 00:30:00 (Start: 40.0) (End: 1726.0) show more...

vlc ~/Videos/veyepar/fossi/latch_2023/dv/henley1010/2023-04-02/09_12_41.ts :start-time=040.0 --audio-desync=0

	Raw File	Cut List
	09:12:41		seconds: 40.0 Wall: 09:13:21
Duration	00:30:00
	09:42:41		seconds: 1726.0 Wall: 09:41:27
Comments:
mp4 mp4.m3u	dv.m3u	Split: Sequence:: delete

audio viz

2023-04-02/09_12_41.ts Apply: 09:41:27 - 09:42:41 ( 00:01:14 ) S: 09:12:41 - E: 09:42:41 D: 00:30:00 (Start: 1726.0) show more...

vlc ~/Videos/veyepar/fossi/latch_2023/dv/henley1010/2023-04-02/09_12_41.ts :start-time=01726.0 --audio-desync=0

	Raw File	Cut List
	09:12:41		seconds: 1726.0 Wall: 09:41:27
Duration	00:30:00
	09:42:41		seconds: 0.0 Wall: 09:12:41
Comments:
mp4 mp4.m3u	dv.m3u	Split: Sequence:: delete

audio viz

2023-04-02/09_42_42.ts Apply: 09:42:42 - 09:48:44 ( 00:06:02 ) S: 09:42:42 - E: 10:12:41 D: 00:29:59 (End: 362.0) show more...

vlc ~/Videos/veyepar/fossi/latch_2023/dv/henley1010/2023-04-02/09_42_42.ts :start-time=00.0 --audio-desync=0

	Raw File	Cut List
	09:42:42		seconds: 0.0 Wall: 09:42:42
Duration	00:29:59
	10:12:41		seconds: 362.0 Wall: 09:48:44
Comments:
mp4 mp4.m3u	dv.m3u	Split: Sequence:: delete

audio viz

2023-04-02/09_42_42.ts Apply: 09:48:44 - 09:49:35 ( 00:00:51 ) S: 09:42:42 - E: 10:12:41 D: 00:29:59 (Start: 362.0) (End: 413.0) show more...

vlc ~/Videos/veyepar/fossi/latch_2023/dv/henley1010/2023-04-02/09_42_42.ts :start-time=0362.0 --audio-desync=0

	Raw File	Cut List
	09:42:42		seconds: 362.0 Wall: 09:48:44
Duration	00:29:59
	10:12:41		seconds: 413.0 Wall: 09:49:35
Comments:
mp4 mp4.m3u	dv.m3u	Split: Sequence:: delete

audio viz

2023-04-02/09_42_42.ts Apply: 09:49:35 - 10:12:41 ( 00:23:06 ) S: 09:42:42 - E: 10:12:41 D: 00:29:59 (Start: 413.0) show more...

vlc ~/Videos/veyepar/fossi/latch_2023/dv/henley1010/2023-04-02/09_42_42.ts :start-time=0413.0 --audio-desync=0

	Raw File	Cut List
	09:42:42		seconds: 413.0 Wall: 09:49:35
Duration	00:29:59
	10:12:41		seconds: 0.0 Wall: 09:42:42
Comments:
mp4 mp4.m3u	dv.m3u	Split: Sequence:: delete

audio viz

2023-04-02/10_12_42.ts Apply: 10:12:42 - 10:17:08 ( 00:04:26 ) S: 10:12:42 - E: 10:42:41 D: 00:29:59 (End: 266.0) show more...

vlc ~/Videos/veyepar/fossi/latch_2023/dv/henley1010/2023-04-02/10_12_42.ts :start-time=00.0 --audio-desync=0

	Raw File	Cut List
	10:12:42		seconds: 0.0 Wall: 10:12:42
Duration	00:29:59
	10:42:41		seconds: 266.0 Wall: 10:17:08
Comments:
mp4 mp4.m3u	dv.m3u	Split: Sequence:: delete

audio viz

2023-04-02/10_12_42.ts Apply: 10:17:08 - 10:24:12 ( 00:07:04 ) S: 10:12:42 - E: 10:42:41 D: 00:29:59 (Start: 266.0) (End: 690.0) show more...

vlc ~/Videos/veyepar/fossi/latch_2023/dv/henley1010/2023-04-02/10_12_42.ts :start-time=0266.0 --audio-desync=0

	Raw File	Cut List
	10:12:42		seconds: 266.0 Wall: 10:17:08
Duration	00:29:59
	10:42:41		seconds: 690.0 Wall: 10:24:12
Comments:
mp4 mp4.m3u	dv.m3u	Split: Sequence:: delete

audio viz

2023-04-02/10_12_42.ts Apply: 10:24:12 - 10:42:41 ( 00:18:29 ) S: 10:12:42 - E: 10:42:41 D: 00:29:59 (Start: 690.0) show more...

vlc ~/Videos/veyepar/fossi/latch_2023/dv/henley1010/2023-04-02/10_12_42.ts :start-time=0690.0 --audio-desync=0

	Raw File	Cut List
	10:12:42		seconds: 690.0 Wall: 10:24:12
Duration	00:29:59
	10:42:41		seconds: 0.0 Wall: 10:12:42
Comments:
mp4 mp4.m3u	dv.m3u	Split: Sequence:: delete

audio viz

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-02/09_12_41.ts
audio viz

audio viz

2023-04-02/09_42_42.ts
audio viz

audio viz

2023-04-02/10_12_42.ts
audio viz

audio viz

Veyepar Video Eyeball Processor and Review