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

This version

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

Uploaded Python 2 Python 3

File details

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

File metadata

File hashes

Hashes for pyvsc-0.8.7.6990678536-py2.py3-none-any.whl
Algorithm Hash digest
SHA256 ca1d748ae3f97dfb8ad5bfecb0e3380b35d0d9576cd380e14054d48057fffb53
MD5 25995377a6de034cf57a33c7aa996a3e
BLAKE2b-256 1615f6118c5b499865c64ffe5e47e33e3f0f1347863eb2cfe1fa4a504da0f4e4

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