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

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

This version

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

Uploaded Python 2 Python 3

File details

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

File metadata

File hashes

Hashes for pyvsc-0.8.6.6319294550-py2.py3-none-any.whl
Algorithm Hash digest
SHA256 b72116edf7fe4946e17aa00980301a19bd87ac7a56cc420646979e277722d3fa
MD5 0ab7d0068737ab3c63366ec58daf74b5
BLAKE2b-256 abacc88656a407982b9a60220a67e7823ebb26e4158c42dcb352e3dc7c2ebf1e

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