! A version of simulation file for HEC Circuit
! compare previous 4 bytes with present byte
! This simulation file is written based on my knowledge of the HEC circuit

mv in in<7:0>
mv out out<7:0>
macro check
  se clk 1
  ev
  se clk 0
  ev
  se in $1
$end
se reset 0
ev
se reset 1
ev
se in H00
check H01
check H02
check H03
check HCA
sh match ! f(H03020100) cmp HCA ;should match
check H30
sh match ! f(HCA030201) cmp H30 ;should match
sh out ! (out = H00)
check H06
sh match ! f(H30CA0302) cmp H06 ;no match
sh out ! (out = H01)
check H17
sh match ! f(H0630CA03) cmp H17 ;no match
sh out ! (out = H02)
check HEA
sh match ! f(H170630CA) cmp HEA ;should match
sh out ! (out = H03)