forsyde-deep: ForSyDe's Haskell-embedded Domain Specific Language.

[ bsd3, hardware, language, library ] [ Propose Tags ] [ Report a vulnerability ]

The ForSyDe (Formal System Design) methodology has been developed with the objective to move system design to a higher level of abstraction and to bridge the abstraction gap by transformational design refinement. This library provides ForSyDe's implementation as a Haskell-embedded Domain Specific Language (DSL). For more information, please see ForSyDe's website: https://forsyde.github.io/. This library provides the deep implementation of ForSyDe in Haskell.


[Skip to Readme]

Flags

Automatic Flags
NameDescriptionDefault
developer

Shorten build time for more fluent development

Disabled

Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info

Downloads

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees

Candidates

  • No Candidates
Versions [RSS] 0.2.0
Dependencies base (>=4.8.2 && <4.9.2), containers, directory, filepath, mtl, parameterized-data (>=0.1.5), pretty, process, random, regex-posix, syb, template-haskell, type-level [details]
Tested with ghc ==7.10.3, ghc ==8.0.1
License BSD-3-Clause
Copyright Copyright (c) 2003-2018 ForSyDe Group, KTH/EECS/ES
Author Alfonso Acosta, Hendrik Woidt
Maintainer forsyde-dev@eecs.kth.se
Category Language, Hardware
Home page https://forsyde.github.io/
Source repo head: git clone git://github.com/forsyde/forsyde-deep.git
Uploaded by ugeorge at 2018-12-26T23:15:52Z
Distributions
Downloads 725 total (1 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs uploaded by user [build log]
All reported builds failed as of 2018-12-26 [all 3 reports]

Readme for forsyde-deep-0.2.0

[back to package description]

ForSyDe's Haskell-embedded Domain Specific Language.

DESCRIPTION

The ForSyDe (Formal System Design) methodology has been developed with the objective to move system design to a higher level of abstraction and to bridge the abstraction gap by transformational design refinement.

This library provides ForSyDe's implementation as a Haskell-embedded Domain Specific Language (DSL).

For more information, please see ForSyDe's website: https://forsyde.github.io/

INSTALLATION

ForSyDe depends on GHC vesions 7.10.3 or 8.0.1 due to the use of numerous extensions, namely Template Haskell (TH).

It depends on the type-level and parameterized-data packages and some others normally bundled with GHC distributions.

For synthesis and simulation of the generated VHDL the Altera toolchain is supported. Quartus and Modelsim need to be on the PATH for these features to work. Additionally the open-source VHDL simulator Ghdl is supported from version ghdl-0.33 onwards.

This package can be installed with:

  • Cabal, provided you have installed the right version of GHC and its dependent cabal-install package using the commands:

      cabal install # --with-ghc=path/to/ghc-version # installs forsyde-deep
      cabal haddock                                  # generates documentation. Needs Haddock > 2.0
    
  • Stack, which takes care of all dependencies and installs everything (including the compiler) in a sandboxed environment:

      stack install    # installs forsyde-deep
      stack haddock    # generates documentation