A tool for the creation of JasperGold SVP principle tcl files.

Navigation

Verified details

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

Unverified details

These details have not been verified by PyPI
Project links
Meta
  • License: GNU General Public License v3 or later (GPLv3+) (GNU GENERAL PUBLIC LICENSE Version 3, 29 June 2007 Copyright (C) 2007 Free Software Foundation, Inc...)
  • Author: Benjamin Davis
  • Tags Verilog, tool, SystemVerilog, JasperGold, SVP, Security, Verification, Formal, Property, Assertion
  • Requires: Python >=3.8
Classifiers

Project description

MavSec

A tool for the creation of JasperGold SVP principle tcl files.

Tests PyPI Latest Release docs

See Read-The-Docs for details

Project details

Verified details

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

Unverified details

These details have not been verified by PyPI
Project links
Meta
  • License: GNU General Public License v3 or later (GPLv3+) (GNU GENERAL PUBLIC LICENSE Version 3, 29 June 2007 Copyright (C) 2007 Free Software Foundation, Inc...)
  • Author: Benjamin Davis
  • Tags Verilog, tool, SystemVerilog, JasperGold, SVP, Security, Verification, Formal, Property, Assertion
  • Requires: Python >=3.8
Classifiers

Release history Release notifications | RSS feed

This version

1.0.0

0.0.1b3 pre-release

0.0.1b2 pre-release

0.0.1b1 pre-release

0.0.1a3 pre-release

0.0.1a2 pre-release

Download files

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

Source Distribution

mavsec-1.0.0.tar.gz (50.4 kB view details)

Uploaded Source

Built Distribution

mavsec-1.0.0-py3-none-any.whl (43.3 kB view details)

Uploaded Python 3

File details

Details for the file mavsec-1.0.0.tar.gz.

File metadata

  • Download URL: mavsec-1.0.0.tar.gz
  • Upload date:
  • Size: 50.4 kB
  • Tags: Source
  • Uploaded using Trusted Publishing? Yes
  • Uploaded via: twine/5.0.0 CPython/3.12.3

File hashes

Hashes for mavsec-1.0.0.tar.gz
Algorithm Hash digest
SHA256 9947d506ac46a4564c09ffada46dd2dca925a686a8b9d08d79e8752e9e1f5964
MD5 3ec3bc883418682047cf1251a51713f4
BLAKE2b-256 01d1d65a257ebe137a06326d721bd3f30f75c77c38106df2c828cdcd5eccf81c

See more details on using hashes here.

File details

Details for the file mavsec-1.0.0-py3-none-any.whl.

File metadata

  • Download URL: mavsec-1.0.0-py3-none-any.whl
  • Upload date:
  • Size: 43.3 kB
  • Tags: Python 3
  • Uploaded using Trusted Publishing? Yes
  • Uploaded via: twine/5.0.0 CPython/3.12.3

File hashes

Hashes for mavsec-1.0.0-py3-none-any.whl
Algorithm Hash digest
SHA256 6553a755bb8746ff80bfb3ba5186d385e4995dbb8520367c3e19e9bb923c516a
MD5 64dc5937a92312ed598adb9c5a62ab6c
BLAKE2b-256 2323a6f18eddead2e85f8cf4a965de000f124ce962ff138bef0eb506866718ee

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