Как реализовать Clash readNew метастабильное решение? - PullRequest
Новая
       10

Как реализовать Clash readNew метастабильное решение?

0 голосов
/ 16 ноября 2018

Как правильно использовать readNew?

Минимальный пример с двумя модулями, который просто читает и записывает asyncRam:

TopLevel.hs 

module TopLevel where

import Clash.Prelude
import LowerLevel

topEntity 
  :: Clock System Source
  -> Reset System Asynchronous
  -> Signal System (Unsigned 5)
  -> Signal System (Maybe (Unsigned 5, BitVector 5))
  -> Signal System (BitVector 5)
topEntity = exposeClockReset topLevel

topLevel :: HiddenClockReset dom gated sync
         => Signal dom (Unsigned 5)
         -> Signal dom (Maybe (Unsigned 5, BitVector 5))
         -> Signal dom (BitVector 5)
topLevel rdAddr wrM = lowerLevel rdAddr wrM

LowerLevel.hs 

module LowerLevel where

import Clash.Prelude

lowerLevel :: HiddenClockReset dom gated sync
           => Signal dom (Unsigned 5)
           -> Signal dom (Maybe (Unsigned 5, BitVector 5))
           -> Signal dom (BitVector 5)
lowerLevel rdAddr wrM = readNew (asyncRam d32) rdAddr wrM

В настоящее время, когда я компилирую этот код, я получаю предупреждения о метастабильности (хотя это успешно): 

Compiling: TopLevel.topEntity LowerLevel.$sreadNew20998 (::
GHC.Classes.IP   rst   (Clash.Signal.Internal.Reset
     (Clash.Signal.Internal.Dom system 10000)
     Clash.Signal.Internal.Asynchronous)
-> GHC.Classes.IP
     clk
     (Clash.Signal.Internal.Clock
        (Clash.Signal.Internal.Dom system 10000)
        Clash.Signal.Internal.Source)
-> Clash.Signal.Internal.Clock
     (Clash.Signal.Internal.Dom system 10000)
     Clash.Signal.Internal.Source
-> Clash.Signal.Internal.Signal
     (Clash.Signal.Internal.Dom system 10000)
     (Clash.Sized.Internal.Unsigned.Unsigned 5)
-> Clash.Signal.Internal.Signal
     (Clash.Signal.Internal.Dom system 10000)
     (GHC.Base.Maybe
        (GHC.Tuple.(,)
           (Clash.Sized.Internal.Unsigned.Unsigned 5)
           (Clash.Sized.Internal.BitVector.BitVector 5)))
-> Clash.Sized.Internal.BitVector.BitVector 5) has potentially dangerous meta-stability issues:

The following clocks:
* GHC.Classes.IP   clk   (Clash.Signal.Internal.Clock
     (Clash.Signal.Internal.Dom system 10000)
     Clash.Signal.Internal.Source)
* Clash.Signal.Internal.Clock   (Clash.Signal.Internal.Dom system 10000)   Clash.Signal.Internal.Source belong to the same clock domain
and should be connected to the same clock source in order to prevent
meta-stability issues.

Я провел некоторое исследование и нашел эту группу Google ответ .Я почти уверен, что это , что я должен сделать, но я не уверен, как реализовать.

Как бы я встроил asyncRam clk d32, как упомянуто в посте?Как мне получить "бесплатный clk"?Я экспериментировал с readNew из Clash.Explicit.Prelude (безуспешно), но я не понимаю, почему я не могу просто использовать Prelude версия.Я полагаю, что может потребоваться exposeClockReset, но из того, что я прочитал, кажется, что для обхода предупреждений о метастабильности используются два тактовых сигнала из одного домена?Пожалуйста, уточните, спасибо!

Обновление : Это известная проблема .Мне сказали, что пока можно игнорировать предупреждения компилятора.

...