- 论坛徽章:
- 0
|
在看 ARM 手册的时候,看到硬件电路的程序伪代码描述:- // LSL()
- // =====
- bits(N) LSL(bits(N) x, integer shift)
- assert shift >= 0;
- if shift == 0 then
- result = x;
- else
- (result, -) = LSL_C(x, shift);
- return result;
- // LSR_C()
- // =======
- (bits(N), bit) LSR_C(bits(N) x, integer shift)
- assert shift > 0;
- extended_x = ZeroExtend(x, shift+N);
- result = extended_x<shift+N-1:shift>;
- carry_out = extended_x<shift-1>;
- return (result, carry_out);
复制代码 到百度上查了伪代码的语法,和这个也不同。不知道这到底是伪代码的什么分支?
为什么要用一种没有明确规范的语言来描述精确的运算?为什么不用C或Java来描述呢?
这种语言怎么来测试呢? |
|