요크 용암 함수를 캔자스 용암으로 변환

Question

여기 캔자스 용암에서 다시 쓰고 싶은 요크 용암 함수가 있습니다. 하지만 일을하고 싶지 않고 실제로해야한다는 것을 모릅니다. 누군가 제발 도와 드릴까요? 지연 기능들이있다,

n = 3 
inp = high 
out = [high, low, low] 

n= 5 
inp = high 
out = [high, low, low, low, low] 

가 지금은 캔자스 용암이 쓰기 위해 노력했습니다,하지만 난 이상한 결과를 얻을 :

{-Serial In - Parallel Out shiftregister. The serial bit is inserted at 
the least significant bit position. The data is shifted LSB -> MSB 
each and every clock cycle-} 

sipo :: Int --^The number of bits in the output word. 
    -> Bit --^The input bit. 
    -> [Bit] --^The output word. 
sipo 1 inp = [inp] 
sipo n inp = inp : rest 
    where 
    inp' = delay low inp 
    rest = sipo (n-1) inp' 

이 위의 기능은 나에게 몇 가지 예에 대한이 정확한 결과를 제공합니다. 이 코드는 아래의 첫 번째 예와 같은 매개 변수, 저를 생성합니다 예상대로

n = 3 
inp = high 
out = [high?, high., high!] (don't know what that means) 

sipo :: (Clock clk) 
    => Int    --^The number of bits in the output word. 
    -> Signal clk Bool  --^The input bit. 
    -> [Signal clk Bool] --^The output word. 
sipo 1 inp = [inp] 
sipo n inp = inp : rest 
    where 
    inp' = delay inp 
    rest = sipo (n-1) inp' 

Answer 1

귀하의 코드가 정확히 작동합니다.

GHCi에서 시뮬레이터 함수를 시도 결과는 다음 읽어

*Main> sipo 3 (high :: Signal CLK Bool) 
[high,? | high .,? | ? | high .] 

방법은 :

는

sipo 3 high !! 0 = high 
sipo 3 high !! 1 = ? | high 
sipo 3 high !! 2 = ? | ? | high 

용암 시뮬레이터이 출력은 제 1 출력 수단 첫 번째주기에는 high이고 더 많은 값을 알 수있는 시뮬레이터 입력은 없습니다. 마찬가지로 두 번째 출력은 첫 번째 사이클에서는 정의되지 않고 두 번째 출력에서는 두 번째 출력은 high입니다. 제 3 출력은 2 사이클 동안 미정이고 제 3 출력에서는 high이다.

두 번째 출력이 첫 번째 사이클에서 아무 것도 설정되지 않았으므로 이는 완벽합니다. 지연된 입력 신호에는 아직 도달하지 못한 시간이 있습니다.

결과가 York Lava와 다른 이유는 York Lava의 delay 프리미티브가 첫 번째 클록주기 전에 사용하기 위해 추가 값을 갖는 것처럼 보입니다. 그래도 합성 가능하다는 것은 확실하지 않습니다.