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, haskell98, process |
| 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 | Mon Jan 26 06:14:04 UTC 2009 |
| Uploaded by | EmilAxelsson |
| Built on | ghc-6.10, ghc-6.12 |
Modules
- Lava2000
- Lava2000.Arithmetic
- Lava2000.Captain
- Lava2000.Combinational
- Lava2000.ConstructiveAnalysis
- Lava2000.Eprover
- Lava2000.Error
- Lava2000.Fixit
- Lava2000.Generic
- Lava2000.HeerHugo
- Lava2000.IOBuffering
- Lava2000.Isc
- Lava2000.LavaDir
- Lava2000.LavaRandom
- Lava2000.Limmat
- Lava2000.Modoc
- Lava2000.MyST
- Lava2000.Netlist
- Lava2000.Operators
- Lava2000.Patterns
- Lava2000.Property
- Lava2000.Ref
- Lava2000.Retime
- Lava2000.Satnik
- Lava2000.Satzoo
- Lava2000.Sequent
- Lava2000.Sequential
- Lava2000.SequentialCircuits
- Lava2000.SequentialConstructive
- Lava2000.Signal
- Lava2000.SignalTry
- Lava2000.Smv
- Lava2000.Stable
- Lava2000.Table
- Lava2000.Test
- Lava2000.Verification
- Lava2000.Vhdl
- Lava2000.Vis
- Lava2000.Zchaff
Downloads
- chalmers-lava2000-1.0.2.tar.gz (Cabal source package)
- package description (included in the package)