Please specify SDC tool used: Tau-Argus
Version used: Operating system used: Windows
In Tau-Argus, protection of zeros and ones is in my opinion sometimes incorrect. Here are three exmples:
In an additive magnitude table, cell with value 0 represents the sum of three other cells (summands) with value 0:
0 = 0 + 0 + 0
The first summand is primary sensitive, the others are not. Tau-Argus could choose the second summand for secondary suppression:
0 = x + x + 0
Taking into account that all the cells are >= 0, it can be concluded that x = 0 in both cases.
In an additive magnitude table, cell with value 15 represents the sum of four other cells (summands) with values 10, 5, 0, 0:
15 = 10 + 5 + 0 + 0
The third summand is primary sensitive, the others are not. Tau-Argus could choose the fourth summand for secondary suppression:
15 = 10 + 5 + x + x
Taking into account that all the cells are >= 0, it can be concluded that x = 0 in both cases.
In an additive frequency table, cell with value 15 represents the sum of four other cells (summands) with values 10, 3, 1, 1:
15 = 10 + 3 + 1 + 1
The third and the fourth summand are primary sensitive, the others are not. Tau-Argus could decide that no secondary suppression is needed:
15 = 10 + 3 + x + x
Taking into account that all the cells are natural numbers (1, 2, 3 ...), it can be concluded that x = 1 in both cases.
I suggest that this kind of incorrections would not be possible in Tau-Argus.
Please specify
SDC tool used: Tau-Argus Version used:
Operating system used: Windows
In Tau-Argus, protection of zeros and ones is in my opinion sometimes incorrect. Here are three exmples:
In an additive magnitude table, cell with value 0 represents the sum of three other cells (summands) with value 0: 0 = 0 + 0 + 0 The first summand is primary sensitive, the others are not. Tau-Argus could choose the second summand for secondary suppression: 0 = x + x + 0 Taking into account that all the cells are >= 0, it can be concluded that x = 0 in both cases.
In an additive magnitude table, cell with value 15 represents the sum of four other cells (summands) with values 10, 5, 0, 0: 15 = 10 + 5 + 0 + 0 The third summand is primary sensitive, the others are not. Tau-Argus could choose the fourth summand for secondary suppression: 15 = 10 + 5 + x + x Taking into account that all the cells are >= 0, it can be concluded that x = 0 in both cases.
In an additive frequency table, cell with value 15 represents the sum of four other cells (summands) with values 10, 3, 1, 1: 15 = 10 + 3 + 1 + 1 The third and the fourth summand are primary sensitive, the others are not. Tau-Argus could decide that no secondary suppression is needed: 15 = 10 + 3 + x + x Taking into account that all the cells are natural numbers (1, 2, 3 ...), it can be concluded that x = 1 in both cases.
I suggest that this kind of incorrections would not be possible in Tau-Argus.
Best regards, Manca Golmajer