SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT |
87.01 | 66.67 | 100.00 | 94.37 |
NAME | SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT |
tb.dut | 91.07 | 76.19 | 100.00 | 97.01 |
SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT |
91.07 | 76.19 | 100.00 | 97.01 |
SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT |
95.37 | 95.45 | 94.14 | 95.17 | 94.70 | 97.38 |
SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | NAME |
tb |
NAME | SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT |
top_earlgrey | 95.16 | 95.39 | 93.73 | 95.16 | 94.50 | 97.02 | |
u_ast | 94.57 | 94.57 | |||||
u_padring | 99.20 | 99.77 | 100.00 | 96.22 | 100.00 | 100.00 | |
u_prim_usb_diff_rx | 96.30 | 100.00 | 88.89 | 100.00 |
Line No. | Total | Covered | Percent | |
---|---|---|---|---|
TOTAL | 24 | 16 | 66.67 | |
CONT_ASSIGN | 213 | 1 | 1 | 100.00 |
CONT_ASSIGN | 214 | 1 | 1 | 100.00 |
CONT_ASSIGN | 797 | 1 | 0 | 0.00 |
CONT_ASSIGN | 808 | 1 | 0 | 0.00 |
CONT_ASSIGN | 833 | 1 | 0 | 0.00 |
CONT_ASSIGN | 840 | 1 | 0 | 0.00 |
CONT_ASSIGN | 847 | 1 | 1 | 100.00 |
CONT_ASSIGN | 850 | 1 | 1 | 100.00 |
CONT_ASSIGN | 856 | 1 | 1 | 100.00 |
CONT_ASSIGN | 858 | 1 | 1 | 100.00 |
CONT_ASSIGN | 862 | 1 | 0 | 0.00 |
CONT_ASSIGN | 865 | 1 | 1 | 100.00 |
ALWAYS | 1010 | 3 | 0 | 0.00 |
CONT_ASSIGN | 1041 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1058 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1059 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1060 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1061 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1065 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1066 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1067 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1068 | 1 | 1 | 100.00 |
Line No. | Covered | Statements | |
---|---|---|---|
213 | 1 | 1 | |
214 | 1 | 1 | |
797 | 0 | 1 | |
808 | 0 | 1 | |
833 | 0 | 1 | |
840 | 0 | 1 | |
847 | 1 | 1 | |
850 | 1 | 1 | |
856 | 1 | 1 | |
858 | 1 | 1 | |
862 | 0 | 1 | |
865 | 1 | 1 | |
1010 | 0 | 1 | |
1011 | 0 | 1 | |
1012 | 0 | 1 | |
1041 | 1 | 1 | |
1058 | 1 | 1 | |
1059 | 1 | 1 | |
1060 | 1 | 1 | |
1061 | 1 | 1 | |
1065 | 1 | 1 | |
1066 | 1 | 1 | |
1067 | 1 | 1 | |
1068 | 1 | 1 |
Total | Covered | Percent | |
---|---|---|---|
Conditions | 2 | 2 | 100.00 |
Logical | 2 | 2 | 100.00 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 |
LINE 79 EXPRESSION (tb.dut.top_earlgrey.u_pwrmgr_aon.pwr_rst_o.reset_cause == LowPwrEntry) -----------------------------------1-----------------------------------
-1- | Status | Tests |
---|---|---|
0 | Covered | T1,T2,T3 |
1 | Covered | T64,T65,T16 |
Total | Covered | Percent | |
---|---|---|---|
Totals | 71 | 64 | 90.14 |
Total Bits | 142 | 134 | 94.37 |
Total Bits 0->1 | 71 | 70 | 98.59 |
Total Bits 1->0 | 71 | 64 | 90.14 |
Ports | 71 | 64 | 90.14 |
Port Bits | 142 | 134 | 94.37 |
Port Bits 0->1 | 71 | 70 | 98.59 |
Port Bits 1->0 | 71 | 64 | 90.14 |
Name | Toggle | Toggle 1->0 | Tests | Toggle 0->1 | Tests | Direction |
POR_N | Yes | Yes | T4,T5,T6 | Yes | T1,T2,T3 | INOUT |
USB_P | Yes | Yes | T2,T17,T23 | Yes | T17,T23,T8 | INOUT |
USB_N | Yes | Yes | T17,T23,T75 | Yes | T17,T7,T23 | INOUT |
CC1 | No | No | Yes | T7,T8,T9 | INOUT | |
CC2 | No | No | Yes | T7,T8,T9 | INOUT | |
FLASH_TEST_VOLT | No | No | Yes | T7,T8,T9 | INOUT | |
FLASH_TEST_MODE0 | No | No | Yes | T7,T8,T9 | INOUT | |
FLASH_TEST_MODE1 | No | No | Yes | T7,T8,T9 | INOUT | |
OTP_EXT_VOLT | No | No | Yes | T7,T8,T9 | INOUT | |
SPI_HOST_D0 | Yes | Yes | T10,T11,T12 | Yes | T7,T10,T8 | INOUT |
SPI_HOST_D1 | Yes | Yes | T10,T11,T12 | Yes | T10,T11,T12 | INOUT |
SPI_HOST_D2 | Yes | Yes | T10,T177,T178 | Yes | T10,T177,T178 | INOUT |
SPI_HOST_D3 | Yes | Yes | T10,T177,T178 | Yes | T10,T177,T178 | INOUT |
SPI_HOST_CLK | Yes | Yes | T10,T11,T12 | Yes | T7,T10,T11 | INOUT |
SPI_HOST_CS_L | Yes | Yes | T10,T11,T12 | Yes | T7,T10,T8 | INOUT |
SPI_DEV_D0 | Yes | Yes | T10,T11,T116 | Yes | T10,T8,T11 | INOUT |
SPI_DEV_D1 | Yes | Yes | T10,T11,T116 | Yes | T10,T8,T11 | INOUT |
SPI_DEV_D2 | Yes | Yes | T10,T177,T178 | Yes | T10,T177,T178 | INOUT |
SPI_DEV_D3 | Yes | Yes | T10,T177,T178 | Yes | T7,T10,T8 | INOUT |
SPI_DEV_CLK | Yes | Yes | T10,T11,T116 | Yes | T7,T10,T8 | INOUT |
SPI_DEV_CS_L | Yes | Yes | T7,T10,T8 | Yes | T7,T10,T8 | INOUT |
IOR8 | Yes | Yes | T20,T179,T21 | Yes | T20,T179,T21 | INOUT |
IOR9 | Yes | Yes | T20,T21,T180 | Yes | T20,T179,T21 | INOUT |
AST_MISC | No | No | No | INOUT | ||
IOA0 | Yes | Yes | T13,T14,T15 | Yes | T13,T14,T15 | INOUT |
IOA1 | Yes | Yes | T13,T14,T15 | Yes | T13,T14,T15 | INOUT |
IOA2 | Yes | Yes | T60,T14,T26 | Yes | T60,T14,T26 | INOUT |
IOA3 | Yes | Yes | T14,T26,T27 | Yes | T14,T26,T27 | INOUT |
IOA4 | Yes | Yes | T152,T14,T176 | Yes | T152,T14,T176 | INOUT |
IOA5 | Yes | Yes | T152,T14,T176 | Yes | T152,T14,T176 | INOUT |
IOA6 | Yes | Yes | T14,T26,T27 | Yes | T14,T26,T7 | INOUT |
IOA7 | Yes | Yes | T14,T26,T27 | Yes | T14,T26,T7 | INOUT |
IOA8 | Yes | Yes | T14,T26,T27 | Yes | T14,T26,T27 | INOUT |
IOB0 | Yes | Yes | T35,T36,T37 | Yes | T35,T36,T37 | INOUT |
IOB1 | Yes | Yes | T35,T36,T37 | Yes | T35,T36,T37 | INOUT |
IOB2 | Yes | Yes | T29,T30,T31 | Yes | T9,T29,T30 | INOUT |
IOB3 | Yes | Yes | T20,T179,T21 | Yes | T20,T179,T21 | INOUT |
IOB4 | Yes | Yes | T181,T182,T35 | Yes | T181,T182,T35 | INOUT |
IOB5 | Yes | Yes | T181,T7,T182 | Yes | T181,T182,T183 | INOUT |
IOB6 | Yes | Yes | T20,T14,T179 | Yes | T20,T14,T179 | INOUT |
IOB7 | Yes | Yes | T16,T14,T19 | Yes | T16,T14,T19 | INOUT |
IOB8 | Yes | Yes | T20,T14,T179 | Yes | T14,T179,T180 | INOUT |
IOB9 | Yes | Yes | T184,T20,T14 | Yes | T184,T14,T185 | INOUT |
IOB10 | Yes | Yes | T60,T123,T184 | Yes | T60,T123,T184 | INOUT |
IOB11 | Yes | Yes | T60,T123,T184 | Yes | T60,T123,T184 | INOUT |
IOB12 | Yes | Yes | T60,T123,T184 | Yes | T60,T123,T184 | INOUT |
IOC0 | Yes | Yes | T43,T44,T5 | Yes | T7,T133,T186 | INOUT |
IOC1 | Yes | Yes | T116,T187,T188 | Yes | T7,T116,T187 | INOUT |
IOC2 | Yes | Yes | T116,T187,T188 | Yes | T8,T116,T187 | INOUT |
IOC3 | Yes | Yes | T86,T112,T189 | Yes | T86,T112,T189 | INOUT |
IOC4 | Yes | Yes | T86,T112,T5 | Yes | T86,T112,T5 | INOUT |
IOC5 | Yes | Yes | T72,T69,T190 | Yes | T72,T6,T74 | INOUT |
IOC6 | Yes | Yes | T112,T4,T152 | Yes | T112,T4,T152 | INOUT |
IOC7 | Yes | Yes | T20,T179,T21 | Yes | T2,T20,T17 | INOUT |
IOC8 | Yes | Yes | T72,T6,T74 | Yes | T72,T74,T190 | INOUT |
IOC9 | Yes | Yes | T20,T14,T179 | Yes | T20,T14,T179 | INOUT |
IOC10 | Yes | Yes | T60,T123,T14 | Yes | T60,T123,T14 | INOUT |
IOC11 | Yes | Yes | T60,T123,T14 | Yes | T60,T123,T14 | INOUT |
IOC12 | Yes | Yes | T60,T123,T14 | Yes | T60,T123,T14 | INOUT |
IOR0 | Yes | Yes | T32,T4,T14 | Yes | T32,T4,T14 | INOUT |
IOR1 | Yes | Yes | T32,T4,T14 | Yes | T32,T4,T14 | INOUT |
IOR2 | Yes | Yes | T32,T4,T14 | Yes | T32,T4,T14 | INOUT |
IOR3 | Yes | Yes | T32,T4,T14 | Yes | T32,T4,T14 | INOUT |
IOR4 | Yes | Yes | T32,T4,T14 | Yes | T32,T4,T14 | INOUT |
IOR5 | Yes | Yes | T14,T26,T27 | Yes | T14,T26,T27 | INOUT |
IOR6 | Yes | Yes | T14,T26,T27 | Yes | T14,T26,T27 | INOUT |
IOR7 | Yes | Yes | T14,T26,T27 | Yes | T14,T26,T27 | INOUT |
IOR10 | Yes | Yes | T14,T26,T27 | Yes | T14,T26,T27 | INOUT |
IOR11 | Yes | Yes | T14,T26,T27 | Yes | T14,T26,T27 | INOUT |
IOR12 | Yes | Yes | T14,T26,T27 | Yes | T14,T26,T27 | INOUT |
IOR13 | Yes | Yes | T16,T14,T179 | Yes | T16,T14,T179 | INOUT |
Line No. | Total | Covered | Percent | |
---|---|---|---|---|
TOTAL | 21 | 16 | 76.19 | |
CONT_ASSIGN | 213 | 1 | 1 | 100.00 |
CONT_ASSIGN | 214 | 1 | 1 | 100.00 |
CONT_ASSIGN | 797 | 1 | 0 | 0.00 |
CONT_ASSIGN | 808 | 1 | 0 | 0.00 |
CONT_ASSIGN | 833 | 1 | 0 | 0.00 |
CONT_ASSIGN | 840 | 1 | 0 | 0.00 |
CONT_ASSIGN | 847 | 1 | 1 | 100.00 |
CONT_ASSIGN | 850 | 1 | 1 | 100.00 |
CONT_ASSIGN | 856 | 1 | 1 | 100.00 |
CONT_ASSIGN | 858 | 1 | 1 | 100.00 |
CONT_ASSIGN | 862 | 1 | 0 | 0.00 |
CONT_ASSIGN | 865 | 1 | 1 | 100.00 |
ALWAYS | 1010 | 0 | 0 | |
CONT_ASSIGN | 1041 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1058 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1059 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1060 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1061 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1065 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1066 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1067 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1068 | 1 | 1 | 100.00 |
Line No. | Covered | Statements | |
---|---|---|---|
213 | 1 | 1 | |
214 | 1 | 1 | |
797 | 0 | 1 | |
808 | 0 | 1 | |
833 | 0 | 1 | |
840 | 0 | 1 | |
847 | 1 | 1 | |
850 | 1 | 1 | |
856 | 1 | 1 | |
858 | 1 | 1 | |
862 | 0 | 1 | |
865 | 1 | 1 | |
1010 | excluded | ||
Exclude Annotation: [UNR] Tied off. | |||
1011 | excluded | ||
Exclude Annotation: [UNR] Tied off. | |||
1012 | excluded | ||
Exclude Annotation: [UNR] Tied off. | |||
1041 | 1 | 1 | |
1058 | 1 | 1 | |
1059 | 1 | 1 | |
1060 | 1 | 1 | |
1061 | 1 | 1 | |
1065 | 1 | 1 | |
1066 | 1 | 1 | |
1067 | 1 | 1 | |
1068 | 1 | 1 |
Total | Covered | Percent | |
---|---|---|---|
Conditions | 2 | 2 | 100.00 |
Logical | 2 | 2 | 100.00 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 |
LINE 79 EXPRESSION (tb.dut.top_earlgrey.u_pwrmgr_aon.pwr_rst_o.reset_cause == LowPwrEntry) -----------------------------------1-----------------------------------
-1- | Status | Tests |
---|---|---|
0 | Covered | T1,T2,T3 |
1 | Covered | T64,T65,T16 |
Total | Covered | Percent | |
---|---|---|---|
Totals | 67 | 64 | 95.52 |
Total Bits | 134 | 130 | 97.01 |
Total Bits 0->1 | 67 | 66 | 98.51 |
Total Bits 1->0 | 67 | 64 | 95.52 |
Ports | 67 | 64 | 95.52 |
Port Bits | 134 | 130 | 97.01 |
Port Bits 0->1 | 67 | 66 | 98.51 |
Port Bits 1->0 | 67 | 64 | 95.52 |
Name | Toggle | Toggle 1->0 | Tests | Toggle 0->1 | Tests | Direction | Exclude Annotation |
POR_N | Yes | Yes | T4,T5,T6 | Yes | T1,T2,T3 | INOUT | |
USB_P | Yes | Yes | T2,T17,T23 | Yes | T17,T23,T8 | INOUT | |
USB_N | Yes | Yes | T17,T23,T75 | Yes | T17,T7,T23 | INOUT | |
CC1 | No | No | Yes | T7,T8,T9 | INOUT | ||
CC2 | No | No | Yes | T7,T8,T9 | INOUT | ||
FLASH_TEST_VOLT[0:0] | Excluded | Excluded | Excluded | INOUT | [LOW_RISK] Covered via connectivity. Cannot be covered in open source DV due to behavioral models of AST and flash. Must be covered in vendor closed source DV. | ||
FLASH_TEST_MODE0[0:0] | Excluded | Excluded | Excluded | INOUT | [LOW_RISK] Covered via connectivity. Cannot be covered in open source DV due to behavioral models of AST and flash. Must be covered in vendor closed source DV. | ||
FLASH_TEST_MODE1[0:0] | Excluded | Excluded | Excluded | INOUT | [LOW_RISK] Covered via connectivity. Cannot be covered in open source DV due to behavioral models of AST and flash. Must be covered in vendor closed source DV. | ||
OTP_EXT_VOLT[0:0] | Excluded | Excluded | Excluded | INOUT | [LOW_RISK] Covered via connectivity. Cannot be covered in open source DV due to behavioral models of AST and OTP. Must be covered in vendor closed source DV. | ||
SPI_HOST_D0 | Yes | Yes | T10,T11,T12 | Yes | T7,T10,T8 | INOUT | |
SPI_HOST_D1 | Yes | Yes | T10,T11,T12 | Yes | T10,T11,T12 | INOUT | |
SPI_HOST_D2 | Yes | Yes | T10,T177,T178 | Yes | T10,T177,T178 | INOUT | |
SPI_HOST_D3 | Yes | Yes | T10,T177,T178 | Yes | T10,T177,T178 | INOUT | |
SPI_HOST_CLK | Yes | Yes | T10,T11,T12 | Yes | T7,T10,T11 | INOUT | |
SPI_HOST_CS_L | Yes | Yes | T10,T11,T12 | Yes | T7,T10,T8 | INOUT | |
SPI_DEV_D0 | Yes | Yes | T10,T11,T116 | Yes | T10,T8,T11 | INOUT | |
SPI_DEV_D1 | Yes | Yes | T10,T11,T116 | Yes | T10,T8,T11 | INOUT | |
SPI_DEV_D2 | Yes | Yes | T10,T177,T178 | Yes | T10,T177,T178 | INOUT | |
SPI_DEV_D3 | Yes | Yes | T10,T177,T178 | Yes | T7,T10,T8 | INOUT | |
SPI_DEV_CLK | Yes | Yes | T10,T11,T116 | Yes | T7,T10,T8 | INOUT | |
SPI_DEV_CS_L | Yes | Yes | T7,T10,T8 | Yes | T7,T10,T8 | INOUT | |
IOR8 | Yes | Yes | T20,T179,T21 | Yes | T20,T179,T21 | INOUT | |
IOR9 | Yes | Yes | T20,T21,T180 | Yes | T20,T179,T21 | INOUT | |
AST_MISC | No | No | No | INOUT | |||
IOA0 | Yes | Yes | T13,T14,T15 | Yes | T13,T14,T15 | INOUT | |
IOA1 | Yes | Yes | T13,T14,T15 | Yes | T13,T14,T15 | INOUT | |
IOA2 | Yes | Yes | T60,T14,T26 | Yes | T60,T14,T26 | INOUT | |
IOA3 | Yes | Yes | T14,T26,T27 | Yes | T14,T26,T27 | INOUT | |
IOA4 | Yes | Yes | T152,T14,T176 | Yes | T152,T14,T176 | INOUT | |
IOA5 | Yes | Yes | T152,T14,T176 | Yes | T152,T14,T176 | INOUT | |
IOA6 | Yes | Yes | T14,T26,T27 | Yes | T14,T26,T7 | INOUT | |
IOA7 | Yes | Yes | T14,T26,T27 | Yes | T14,T26,T7 | INOUT | |
IOA8 | Yes | Yes | T14,T26,T27 | Yes | T14,T26,T27 | INOUT | |
IOB0 | Yes | Yes | T35,T36,T37 | Yes | T35,T36,T37 | INOUT | |
IOB1 | Yes | Yes | T35,T36,T37 | Yes | T35,T36,T37 | INOUT | |
IOB2 | Yes | Yes | T29,T30,T31 | Yes | T9,T29,T30 | INOUT | |
IOB3 | Yes | Yes | T20,T179,T21 | Yes | T20,T179,T21 | INOUT | |
IOB4 | Yes | Yes | T181,T182,T35 | Yes | T181,T182,T35 | INOUT | |
IOB5 | Yes | Yes | T181,T7,T182 | Yes | T181,T182,T183 | INOUT | |
IOB6 | Yes | Yes | T20,T14,T179 | Yes | T20,T14,T179 | INOUT | |
IOB7 | Yes | Yes | T16,T14,T19 | Yes | T16,T14,T19 | INOUT | |
IOB8 | Yes | Yes | T20,T14,T179 | Yes | T14,T179,T180 | INOUT | |
IOB9 | Yes | Yes | T184,T20,T14 | Yes | T184,T14,T185 | INOUT | |
IOB10 | Yes | Yes | T60,T123,T184 | Yes | T60,T123,T184 | INOUT | |
IOB11 | Yes | Yes | T60,T123,T184 | Yes | T60,T123,T184 | INOUT | |
IOB12 | Yes | Yes | T60,T123,T184 | Yes | T60,T123,T184 | INOUT | |
IOC0 | Yes | Yes | T43,T44,T5 | Yes | T7,T133,T186 | INOUT | |
IOC1 | Yes | Yes | T116,T187,T188 | Yes | T7,T116,T187 | INOUT | |
IOC2 | Yes | Yes | T116,T187,T188 | Yes | T8,T116,T187 | INOUT | |
IOC3 | Yes | Yes | T86,T112,T189 | Yes | T86,T112,T189 | INOUT | |
IOC4 | Yes | Yes | T86,T112,T5 | Yes | T86,T112,T5 | INOUT | |
IOC5 | Yes | Yes | T72,T69,T190 | Yes | T72,T6,T74 | INOUT | |
IOC6 | Yes | Yes | T112,T4,T152 | Yes | T112,T4,T152 | INOUT | |
IOC7 | Yes | Yes | T20,T179,T21 | Yes | T2,T20,T17 | INOUT | |
IOC8 | Yes | Yes | T72,T6,T74 | Yes | T72,T74,T190 | INOUT | |
IOC9 | Yes | Yes | T20,T14,T179 | Yes | T20,T14,T179 | INOUT | |
IOC10 | Yes | Yes | T60,T123,T14 | Yes | T60,T123,T14 | INOUT | |
IOC11 | Yes | Yes | T60,T123,T14 | Yes | T60,T123,T14 | INOUT | |
IOC12 | Yes | Yes | T60,T123,T14 | Yes | T60,T123,T14 | INOUT | |
IOR0 | Yes | Yes | T32,T4,T14 | Yes | T32,T4,T14 | INOUT | |
IOR1 | Yes | Yes | T32,T4,T14 | Yes | T32,T4,T14 | INOUT | |
IOR2 | Yes | Yes | T32,T4,T14 | Yes | T32,T4,T14 | INOUT | |
IOR3 | Yes | Yes | T32,T4,T14 | Yes | T32,T4,T14 | INOUT | |
IOR4 | Yes | Yes | T32,T4,T14 | Yes | T32,T4,T14 | INOUT | |
IOR5 | Yes | Yes | T14,T26,T27 | Yes | T14,T26,T27 | INOUT | |
IOR6 | Yes | Yes | T14,T26,T27 | Yes | T14,T26,T27 | INOUT | |
IOR7 | Yes | Yes | T14,T26,T27 | Yes | T14,T26,T27 | INOUT | |
IOR10 | Yes | Yes | T14,T26,T27 | Yes | T14,T26,T27 | INOUT | |
IOR11 | Yes | Yes | T14,T26,T27 | Yes | T14,T26,T27 | INOUT | |
IOR12 | Yes | Yes | T14,T26,T27 | Yes | T14,T26,T27 | INOUT | |
IOR13 | Yes | Yes | T16,T14,T179 | Yes | T16,T14,T179 | INOUT |
0% | 10% | 20% | 30% | 40% | 50% | 60% | 70% | 80% | 90% | 100% |