pyvsc (Verification Stimulus and Coverage) is a Python package for generating randomized stimulus and defining and collecting functional coverage.

Navigation

Verified details

These details have been verified by PyPI
Maintainers
Avatar for mballance from gravatar.com mballance

Unverified details

These details have not been verified by PyPI
Project links
Meta
  • License: Apache 2.0
  • Author: Matthew Ballance
  • Tags Python, Functional Verification, Constraints, Coverage

Project description

PyVSC implements a Python-embedded domain-specific language for capturing random variables and data structures, constraints, and functional coverage metrics. PyVSC is built on top of the Boolector SMT solver.

Project details

Verified details

These details have been verified by PyPI
Maintainers
Avatar for mballance from gravatar.com mballance

Unverified details

These details have not been verified by PyPI
Project links
Meta
  • License: Apache 2.0
  • Author: Matthew Ballance
  • Tags Python, Functional Verification, Constraints, Coverage

Release history Release notifications | RSS feed

0.9.3.10985030023

0.9.1.10086043874

0.9.1.10031514295

0.9.1.10022711941

0.9.1.9940712143

0.9.1.9940706839

0.9.1.9940644656

0.9.1.9940593662

0.9.1.9920936192

0.9.0.9920922763

This version

0.9.0.9785918211

0.9.0.9622060553

0.8.9.8655301580

0.8.8.8445254032

0.8.8.8445014080

0.8.8.7162283399

0.8.7.6990678536

0.8.6.6319294550

0.8.5.6318608914

0.8.5.6153648413

0.8.5.5944440558

0.8.4.5932731079

0.8.3.4340109521

0.8.2.4238553981

0.8.2.4110341772

0.8.2.4029712566

0.8.1.3466255343

0.8.0.3304598593

0.8.0.3231375476

0.7.9.3032608688

0.7.8.3008149820

0.7.7.2884171784

0.7.6.2764051711

0.7.5.2761537329

0.7.5.2630962355

0.7.5.2630326210

0.7.5.2612361247

0.7.3.2485440646

0.7.3.2485134296

0.7.3.2484619664

0.7.3.2484463842

0.7.2.2481406307

0.7.2.2328372561

0.7.1.2192808032

0.7.0.2117799761

0.7.0.1904017040

0.6.9.1837466541

0.6.9.1837458850

0.6.8.1827322812

0.6.7.1792877175

0.6.6.1656570787

0.6.5.1516745361

0.6.4.1516732620

0.6.4.1483360542

0.6.3.1400856349

0.6.2.1392544946

0.6.1.1392541017

0.6.0.1372589403

0.6.0.1361592744

0.6.0.1300951885

0.5.9.1300924217

0.5.9.1300920983

0.5.9.1283707599

0.5.9.1283683442

0.5.8.20210912.1

0.5.7.20210909.1

0.5.6.20210903.1

0.5.5.20210822.1

0.5.4.20210821.1

0.5.3.20210817.1

0.5.2.20210724.1

0.5.1.20210721.3

0.5.1.20210721.1

0.5.0.20210710.1

0.4.9.20210706.1

0.4.8.20210705.1

0.4.7.20210703.2

0.4.6.20210701.1

0.4.5.20210630.2

0.4.4.20210628.1

0.4.3.20210624.1

0.4.2.20210620.1

0.4.1.20210617.1

0.4.0.20210608.2

0.3.9.20210601.1

0.3.8.20210526.1

0.3.7.20210523.1

0.3.6.20210508.1

0.3.5.20210507.3

0.3.5.20210507.2

0.3.5.20210504.2

0.3.5.20210504.1

0.3.5.20210502.1

0.3.4.20210424.1

0.3.3.20210422.1

0.3.2.20210421.2

0.3.2.20210421.1

0.3.2.20210415.1

0.3.1.20210413.2

0.3.0.20210313.1

0.2.9.20210221.1

0.2.9.20210207.1

0.2.9.20210203.3

0.2.9.20210130.2

0.2.9.20210129.2

0.2.9.20210129.1

0.2.8.20210127.2

0.2.8.20201222.1

0.2.8.20201108.1

0.2.7.20201107.1

0.2.6.20201105.5

0.2.6.20201105.4

0.2.6.20201105.3

0.2.6.20201105.2

0.2.6.20201105.1

0.2.5.20201101.1

0.2.5.20201025.2

0.2.4.20201025.1

0.2.4.20201018.2

0.2.3.20201018.1

0.2.3.20201006.1

0.2.2.20200926.3

0.2.2.20200926.2

0.2.2.20200926.1

0.2.1.20200917.1

0.2.0.20200912.5

0.1.9.20200908.2

0.1.9.20200908.1

0.1.9.20200907.3

0.1.9.20200907.2

0.1.9.20200907.1

0.1.9.20200906.1

0.1.9.20200901.1

0.1.8.20200823.1

0.1.8.20200822.1

0.1.7.20200821.2

0.1.7.20200821.1

0.1.7.20200820.1

0.1.6.20200819.1

0.1.5.20200815.1

0.1.4.20200813.1

0.1.3.20200812.1

0.1.2.20200809.1

0.1.1.20200808.1

0.1.0.20200803.1

0.0.8.20200731.1

0.0.8.20200726.1

0.0.7.20200719.1

0.0.6.20200707.1

0.0.5.20200706.2

0.0.5.20200706.1

0.0.5.20200703.2

0.0.4.20200703.1

0.0.4.20200702.1

0.0.4.20200701.1

0.0.4.20200630.1

0.0.3.20200628.1

0.0.3.20200627.1

0.0.3.20200624.1

0.0.2.20200617.1

0.0.2.20200613.1

0.0.2.20200606.1

0.0.1.20200531.1

0.0.1.20200522.1

0.0.1.20200520.1

0.0.1.20200516.3

0.0.1.20200509.2

0.0.1.20200509.1

0.0.1.20200503.1

0.0.1.20200502.1

0.0.1.20200429.2

0.0.1.20200415.1

0.0.1.20200411.3

0.0.1.20200411.2

0.0.1.20200411.1

0.0.1.20200410.2

0.0.1.20200410.1

0.0.1.20200408.2

0.0.1.20200407.2

0.0.1.20200407.1

0.0.1.20200404.1

0.0.1.20200403.2

0.0.1.20200403.1

0.0.1.20200329.2

0.0.1.20200329.1

0.0.1.20200328.2

0.0.1.20200328.1

0.0.1.20200327.3

0.0.1.20200327.1

0.0.1.20200326.4

0.0.1.20200326.1

Download files

Download the file for your platform. If you're not sure which to choose, learn more about installing packages.

Source Distributions

No source distribution files available for this release.See tutorial on generating distribution archives.

Built Distribution

pyvsc-0.9.0.9785918211-py2.py3-none-any.whl (164.4 kB view details)

Uploaded Python 2 Python 3

File details

Details for the file pyvsc-0.9.0.9785918211-py2.py3-none-any.whl.

File metadata

File hashes

Hashes for pyvsc-0.9.0.9785918211-py2.py3-none-any.whl
Algorithm Hash digest
SHA256 72e276cbd7ddd2abf3ef6494f6fb30cfc6d45a0993a99ca9e591ca9572abee7f
MD5 c1d9b95ac2236d0704516f2fcdad8957
BLAKE2b-256 99a4be27a9e10e97111e111503c711c587604559683f6b8f47ab46c3fa7bdb84

See more details on using hashes here.

Supported by

AWS AWS Cloud computing and Security Sponsor Datadog Datadog Monitoring Fastly Fastly CDN Google Google Download Analytics Microsoft Microsoft PSF Sponsor Pingdom Pingdom Monitoring Sentry Sentry Error logging StatusPage StatusPage Status page