packages feed

Wired-0.1.1: Wired.cabal

name:                Wired
version:             0.1.1
homepage:            http://www.cs.chalmers.se/~emax/wired/
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:
  .ghci
  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
    Analysis.STA.Library

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

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