The chalmers-lava2000 package
Hardware description library
Properties
| Versions | 1.0, 1.0.1, 1.0.2, 1.1.0, 1.1.1, 1.1.2 |
|---|---|
| Dependencies | base (3.*), haskell98 (1.*), process (1.*) |
| License | BSD3 |
| Copyright | (c) 2008. Koen Claessen <koen@chalmers.se> |
| Author | Koen Claessen <koen@chalmers.se> |
| Maintainer | Emil Axelsson <emax@chalmers.se> |
| Category | Language, Hardware |
| Home page | http://www.cs.chalmers.se/~koen/Lava/ |
| Upload date | Tue Dec 15 12:27:49 UTC 2009 |
| Uploaded by | EmilAxelsson |
| Built on | ghc-6.10, ghc-6.12 |
| Build failure | ghc-7.0 (log) |
Modules
- Lava
- Lava.Arithmetic
- Lava.Captain
- Lava.Combinational
- Lava.ConstructiveAnalysis
- Lava.Eprover
- Lava.Error
- Lava.Fixit
- Lava.Generic
- Lava.HeerHugo
- Lava.IOBuffering
- Lava.Isc
- Lava.LavaDir
- Lava.LavaRandom
- Lava.Limmat
- Lava.Modoc
- Lava.MyST
- Lava.Netlist
- Lava.Operators
- Lava.Patterns
- Lava.Property
- Lava.Ref
- Lava.Retime
- Lava.Satnik
- Lava.Satzoo
- Lava.Sequent
- Lava.Sequential
- Lava.SequentialCircuits
- Lava.SequentialConstructive
- Lava.Signal
- Lava.SignalTry
- Lava.Smv
- Lava.Stable
- Lava.Table
- Lava.Test
- Lava.Verification
- Lava.Vhdl
- Lava.Vis
- Lava.Zchaff
Downloads
- chalmers-lava2000-1.1.1.tar.gz (Cabal source package)
- package description (included in the package)