chalmers-lava2000-1.6.1: Hardware description EDSL
For more info, see the tutorial: http://projects.haskell.org/chalmers-lava2000/Doc/tutorial.pdf
Signatures
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.Minisat
- 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