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

This version

0.9.1.9920936192

0.9.0.9920922763

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.1.9920936192-py2.py3-none-any.whl (164.5 kB view details)

Uploaded Python 2 Python 3

File details

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

File metadata

File hashes

Hashes for pyvsc-0.9.1.9920936192-py2.py3-none-any.whl
Algorithm Hash digest
SHA256 c20b745f7a1d207ac6c5dad6ef1ac0677c7e9b391e58a1753ddb7fb66e2ffef3
MD5 70b3d0551abb24fd783d9870b3ad7ad4
BLAKE2b-256 911e4e4a9265826e9a06e6a6d21a36985d9339bd295a5e9779d7d08e276f4f53

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