From: Design framework for reliable and environment aware management of smart environment devices
Considered rooms | Synthesis time |
---|---|
R1 (6 devices/65 variables) | 1.4 s |
R2 (12 devices/101 variables) | 31 s |
R3 (18 devices/137 variables) | 797 s |
R4 (24 devices/173 variables) | 4888 s |
R9 (48 devices/353variables) | 10920 s |