Skip to main content
This is a pre-production deployment of Warehouse. Changes made here affect the production instance of PyPI (pypi.python.org).
Help us improve Python packaging - Donate today!

Pyverilog-based verification/design tools

Project Description
Introduction
============

Pyverilog_toolbox is Pyverilog-based verification/design tool including code clone finder, metrics calculator and so on.
Pyverilog_toolbox accerating your digital circuit design verification.
Thanks to Pyverilog developer shtaxxx.

Software Requirements
=====================

- Python (2.7)
- Pyverilog (you can download from
https://github.com/shtaxxx/Pyverilog)
Pyverilog requires Icarus verilog.

Installation
============

If you want to use Pyverilog as a general library, you can install on
your environment by using setup.py.

If you use Python 2.7,

::

python setup.py install

Or you can use pip

::

pip install pyverilog_toolbox

Python 3.x is not tried by author.

Tools
=====

codeclone\_finder
-----------------

codeclone\_finder can find pair of the register clone, which always hold
same value. Also can find pair of the invert register, which always hold
different value.

`Click here to know
usage <https://github.com/fukatani/Pyverilog_toolbox/blob/master/pyverilog_toolbox/docs/codeclone.md>`__

combloop\_finder
----------------

Combinational logic loop is sticky problem, but you can find it by
combloop\_finder easily.

`Click here to know
usage <https://github.com/fukatani/Pyverilog_toolbox/blob/master/pyverilog_toolbox/docs/combloop.md>`__

unreferenced\_finder
--------------------

Unreferenced\_finder can find signals which isn't referenced by any
signals. By using this, you can delte unnecessary codes.

`Click here to know
usage <https://github.com/fukatani/Pyverilog_toolbox/blob/master/pyverilog_toolbox/docs/unreferenced.md>`__

metrics\_calculator
-------------------

metrics\_analyzer is metrics measurment tools for Verilog HDL. You can
visualize complecity of module/register/function/.

`Click here to know
usage <https://github.com/fukatani/Pyverilog_toolbox/blob/master/pyverilog_toolbox/docs/metrics.md>`__

regmap\_analyzer
----------------

regmap\_analyzer can analyze register map structure from RTL. After
install Pyverilog\_toolbox, you can use regmap analyzer by this command.

`Click here to know
usage <https://github.com/fukatani/Pyverilog_toolbox/blob/master/pyverilog_toolbox/docs/regmap.md>`__

cnt\_analyzer
-------------

cnt\_analyzer analyze counter property(up or down, max value, reset
value and counter dependency). And extracting event which depends on
counter value. This feature help you finding redundunt counter, deadlock
loop, and other counter trouble.

`Click here to know
usage <https://github.com/fukatani/Pyverilog_toolbox/blob/master/pyverilog_toolbox/docs/cnt_analyzer.md>`__

License
=======

Apache License 2.0 (http://www.apache.org/licenses/LICENSE-2.0)

Copyright
=========

Copyright (C) 2015, Ryosuke Fukatani

Related Project and Site
========================

Pyverilog https://github.com/shtaxxx/Pyverilog

Blog entry(in Japanese)
http://segafreder.hatenablog.com/entry/2015/05/23/161000
Release History

Release History

History Node

0.0.5

History Node

0.0.4

History Node

0.0.3

This version
History Node

0.0.2

History Node

0.0.1

History Node

0.0.0

Download Files

Download Files

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

File Name & Checksum SHA256 Checksum Help Version File Type Upload Date
pyverilog_toolbox-0.0.2.zip (243.3 kB) Copy SHA256 Checksum SHA256 Source Jul 12, 2015

Supported By

WebFaction WebFaction Technical Writing Elastic Elastic Search Pingdom Pingdom Monitoring Dyn Dyn DNS Sentry Sentry Error Logging CloudAMQP CloudAMQP RabbitMQ Heroku Heroku PaaS Kabu Creative Kabu Creative UX & Design Fastly Fastly CDN DigiCert DigiCert EV Certificate Rackspace Rackspace Cloud Servers DreamHost DreamHost Log Hosting