Safe Haskell | None |
---|---|
Language | Haskell2010 |
The Optimization module performs a number of safe optimizations, such as copy elimination, CSE, and combinatorial identity artifacts: e.g. fst(x,y)-->x. The optimizer is *supposed* to be timing invariant; however, it may change circuit properties such as fanout.
- optimizeCircuit :: OptimizationOpts -> KLEG -> IO KLEG
- data OptimizationOpts = OptimizationOpts {
- optDebugLevel :: Int
Documentation
optimizeCircuit :: OptimizationOpts -> KLEG -> IO KLEG Source
Basic optimizations, and assumes reaching a fixpoint. Cleans things up, but does not work too hard, because the VHDL compiler get many of the combinatorial optimizations anyway.
data OptimizationOpts Source
Data structure for passing optimization parameters.