Package: haskell-clash-lib-utils (1.8.1-2 and others)

Funktionelt udstyrsbeskrivelsessprog - bibliotek

Clash er et funktionelt udstyrsbeskrivelsessprog, der låner både sin syntaks og semantik fra det funktionelle programmeringssprog Haskell. Clash-kompileren omdanner disse højniveau beskrivelser til lavniveau VHDL, Verilog eller SystemVerilog, der kan syntetiseres.

Funktioner i Clash:

 * Stærkt skrevet, men med en meget høj grad af typeslutning, hvilket
   muliggør både sikker og hurtig prototyping ved hjælp af kortfattede
   beskrivelser.

 * Interaktiv REPL: indlæs dine design i en fortolker og test nemt hele
   din komponent uden behov for opsætning af et testbænk.

 * Funktioner i højere orden, med typeinferens, resulterer i design, der
   er fuldt parameteropsat som standard.

 * Synkront sekventielt kredsløbsdesign baseret på værdistrømme, kaldt
   @Signal@s, ført til naturlige beskrivelser af tilbagemeldingsløkker.

 * Understøttelse for flere clock-domæner, med typesikker clock-
   domænekrydsning.

Denne pakke tilbyder:

 * Det CoreHW-interne sprog: SystemF + Letrec + Case-decomposition

 * Normalisation-processen der bringer CoreHW i en normal form, der
   konverterer til en netliste

 * Blackbox/Primitive Handling

Brugerflader (for: fortolkning, typekontrol etc.) tilbydes af separate pakker:

 * <https://hackage.haskell.org/package/clash-ghc GHC/Haskell Frontend>

 * <https://github.com/christiaanb/Idris-dev Idris Frontend>

Prelude-bibliotek: <https://hackage.haskell.org/package/clash-prelude>

This page is also available in the following languages (How to set the default document language):