Wired: Wire-aware hardware description
Wired is an extension to the hardware description library Lava targeting (not exclusively) semi-custom VLSI design. A particular aim of Wired is to give the designer more control over on-chip wires' effects on performance.
The goal is a system with the following features:
Convenient circuit description in monadic style.
Layout/wiring expressed using optional annotations, allowing incremental specification of physical aspects.
Export designs to several formats:
Lava (for e.g. verification)
Postscript (for visualizing layout and wiring)
Design Exchange Format (for interfacing to standard CAD tools)
Accurate, wire-aware timing/power analysis within the system.
Support for modern standard cell libraries.
Automatic compilation of standard cell libraries.
We are not very far from this goal. The missing parts are power analysis and
cell library compilation, and sequential circuits are not yet fully supported.
Also, there is virtually no documentation. The best place to look for guidance
is in the
Examples directory. The following thesis
http://www.cse.chalmers.se/~emax/documents/PhD_thesis.pdf gives more
information about the background and some explanation of programming
techniques used in Wired. It should also be said that the library is still
quite unstable and has not yet been tested in any larger scale.
The standard cell library shipped with Wired (Libs.Nangate45.Wired) is an open-source 45nm library from Nangate (http://www.nangate.com) provided for the purposes of testing and exploring EDA flows. It is not intended for fabrication. More information is given in the license agreement in Libs.Nangate45.LICENSE. If anyone is interested in real cell libraries (currently 130nm, 90nm and 65nm from STM), please contact the maintainer of the Wired library.
Currently, Wired contains its own version of Lava which is a bit different
from the standard version (package
chalmers-lava2000 on Hackage) To make
things more complicated, this version of Lava actually uses the standard
version for simulation and verification. Ideally there should only be one
Lava library, independent of the Wired package. Hopefully, this will happen in
a not too distant future.
|Versions [faq]||0.1, 0.1.1, 0.2, 0.2.1, 0.2.2, 0.3|
|Dependencies||base (<10), chalmers-lava2000 (>=1.1 && <2), containers, mtl, QuickCheck [details]|
|Copyright||(c) 2008. Emil Axelsson <email@example.com>|
|Author||Emil Axelsson <firstname.lastname@example.org>|
|Maintainer||Emil Axelsson <email@example.com>|
|Source repo||head: darcs get http://projects.haskell.org/Wired/|
|Uploaded||by EmilAxelsson at Tue May 6 07:22:25 UTC 2014|
|Downloads||3029 total (106 in the last 30 days)|
|Rating||(no votes yet) [estimated by rule of succession]|
Docs available [build log]
Successful builds reported [all 1 reports]
For package maintainers and hackage trustees