mirror of
https://github.com/sxpert/hp-saturn
synced 2025-01-31 19:57:50 +01:00
20 lines
441 B
Coq
20 lines
441 B
Coq
|
/******************************************************************************
|
||
|
|
* 88n ?P# n
|
||
|
|
* 89n ?P= n
|
||
|
|
*
|
||
|
|
*/
|
||
|
|
|
||
|
|
`DEC_TEST_P_NEQ_N: begin
|
||
|
|
Carry <= !(P == nb_in);
|
||
|
|
decstate <= `DEC_TEST_GO;
|
||
|
|
`ifdef SIM
|
||
|
|
$display("%5h ?P#\t\t%h", inst_start_PC, nb_in);
|
||
|
|
`endif
|
||
|
|
end
|
||
|
|
`DEC_TEST_P_EQ_N: begin
|
||
|
|
Carry <= (P == nb_in);
|
||
|
|
decstate <= `DEC_TEST_GO;
|
||
|
|
`ifdef SIM
|
||
|
|
$display("%5h ?P=\t\t%h", inst_start_PC, nb_in);
|
||
|
|
`endif
|
||
|
|
end
|