packages feed

Wired-0.1: Wired.cabal

name:                Wired
version:             0.1
synopsis:            Wire-aware hardware description

description:         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 the routing wires' effects on performance.

category:            Hardware
license:             BSD3
license-file:        LICENSE
copyright:           (c) 2008. Emil Axelsson <emax@chalmers.se>
author:              Emil Axelsson <emax@chalmers.se>
maintainer:          Emil Axelsson <emax@chalmers.se>
cabal-version:       >= 1.2
build-type:          Simple
tested-with:         GHC ==6.8.3
data-files:          Examples/UsingLava.hs, Examples/UsingWired.hs,
                     Examples/Sklansky.hs, Examples/Mult.hs

library
  exposed-modules:
    Data.Logical.Knot
    Data.Logical.Let
    Lava
    Layout
    Wired
    Analysis.STA
    Libs.Simple130nm.Lava
    Libs.Simple130nm.Wired

  other-modules:
    Data.Hardware.Internal
    Data.Hardware
    Lava.Model
    Lava.Patterns
    Lava.Loop
    Lava.Port
    Lava.Interpret
    Lava.Internal
    Layout.Floorplan
    Layout.Postscript
    Layout.Internal
    Wired.Model

  build-Depends: base, chalmers-lava2000, containers, mtl, QuickCheck

  extensions:
    FlexibleContexts
    FlexibleInstances
    FunctionalDependencies
    GeneralizedNewtypeDeriving
    MultiParamTypeClasses
    OverlappingInstances
    OverloadedStrings
    PatternGuards
    Rank2Types
    RecursiveDo
    ScopedTypeVariables
    StandaloneDeriving
    TypeSynonymInstances
    UndecidableInstances