valid/ready 핸드셰이크 (AMBA AXI 스타일) + FIFO 순서 규칙 · 200 cycles · 2026. 08. 26. 16:08:40
←/→ 키로 사이클을 이동할 수 있습니다 (범위 0~199). 점선 = 위반 사이클, 실선 = 선택 사이클.
| signal | |||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|
| rst_n | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 |
| enq_vld | 1 (변경) | 0 (변경) | 0 | 0 | 1 (변경) | 1 | 0 (변경) | 0 | 1 (변경) | 1 | 0 (변경) |
| enq_rdy | 1 | 0 (변경) | 0 | 1 (변경) | 0 (변경) | 1 (변경) | 0 (변경) | 1 (변경) | 1 | 1 | 1 |
| enq_data | 2fb (변경) | 0 (변경) | 0 | 0 | 2fc (변경) | 2fc | 0 (변경) | 0 | 2fd (변경) | 2fe (변경) | 0 (변경) |
| enq_id | 0 | 0 | 0 | 0 | 1 (변경) | 1 | 0 (변경) | 0 | 2 (변경) | 1 (변경) | 0 (변경) |
| deq_vld | 1 (변경) | 1 | 1 | 1 | 1 | 1 | 1 | 0 (변경) | 1 (변경) | 1 | 1 |
| deq_rdy | 0 | 0 | 0 | 0 | 0 | 1 (변경) | 1 | 1 | 0 (변경) | 0 | 1 (변경) |
| deq_data | 2fb (변경) | 2fb | 2fb | 2fb | 2fb (위반 관련) | 2fc (위반 관련) | 2fb (변경) | 0 (변경) | 2fd (변경) | 2fd | 2fd |
| deq_id | 0 | 0 | 0 | 0 | 0 (위반 관련) | 1 (위반 관련) | 0 (변경) | 0 | 2 (변경) | 2 | 2 |
| error | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
| 심각도 | 규칙 | 사이클 | 채널 | 관련 신호값 | 기대값 | 설명 |
|---|---|---|---|---|---|---|
| high | FIFO-01 fifo_order | 150 | deq | deq_data=2fc, deq_id=1 | enq_data=2fb, enq_id=0 (enq@145) | |
| medium | HS-02 payload_stable | 60 | enq | enq_data@59=2d7, enq_data@60=3d7 | enq_data=2d7 유지 | |
| medium | HS-01 valid_hold | 110 | enq | enq_vld@109=1, enq_rdy@109=0, enq_vld@110=0 | enq_vld=1 유지 (enq_rdy=1 될 때까지) | |
| medium | HS-02 payload_stable | 150 | deq | deq_data@149=2fb, deq_data@150=2fc, deq_id@149=0, deq_id@150=1 | deq_data=2fb, deq_id=0 유지 |
| 규칙 | 심각도 | 타입 | 위반 수 | 설명 |
|---|---|---|---|---|
| HS-01 | medium | valid_hold | 1 | valid가 1이면 ready가 1이 되는 사이클까지 valid를 유지해야 한다 (중간에 내리면 위반) |
| HS-02 | medium | payload_stable | 2 | valid 유지 중 (전송 완료 전) payload 신호는 변경될 수 없다 |
| FIFO-01 | high | fifo_order | 1 | enq 채널로 들어간 (data,id) 순서와 deq 채널로 나온 순서가 동일해야 한다 |
| RST-01 | critical |
reset_quiet |
| 0 |
| rst_n=0 동안 모든 valid 신호는 0이어야 한다 |
| ERR-01 | critical | signal_never | 0 | error 신호는 절대 1이 되면 안 된다 |
| LAT-01 | high | max_latency | 0 | enq 전송 ~ 같은 항목의 deq 전송까지 latency가 max_latency 사이클을 초과하면 위반 (끝까지 deq되지 않은 항목도 대기 시간 기준으로 판정) |