hp-saturn/fields.v

29 lines
522 B
Coq
Raw Normal View History

2019-02-08 19:09:13 +01:00
`ifndef _FIELDS
`define _FIELDS
2019-02-10 12:04:53 +01:00
`define T_SET 0
`define T_TEST 1
2019-02-08 19:09:13 +01:00
`define T_DIR_OUT 0
`define T_DIR_IN 1
`define T_PTR_0 0
`define T_PTR_1 1
`define T_REG_A 0
`define T_REG_C 1
2019-02-10 12:04:53 +01:00
`define T_FTYPE_FIELD 0
`define T_TTYPE_LEN 1
2019-02-08 19:09:13 +01:00
`define T_FIELD_P 0
`define T_FIELD_WP 1
`define T_FIELD_XS 2
`define T_FIELD_X 3
`define T_FIELD_S 4
`define T_FIELD_M 5
`define T_FIELD_B 6
`define T_FIELD_W 7
`define T_FIELD_A 15
`endif