The Wired package
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||0.1, 0.1.1, 0.2, 0.2.1, 0.2.2, 0.3|
|Change log||None available|
|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 repository||head: darcs get http://projects.haskell.org/Wired/|
|Uploaded||Tue May 6 07:22:25 UTC 2014 by EmilAxelsson|
|Downloads||1069 total (40 in last 30 days)|
|Status||Docs available [build log]|
Successful builds reported [all 1 reports]
For package maintainers and hackage trustees