summaryrefslogtreecommitdiff
path: root/model/driver/resistive_load.dfa
blob: e64ed71bc5bafdfea46f34732dfad05921a053cc (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
codegen:
  instance: resistiveLoad
  includes:
    - driver/resistive_load.h
  flags:
    - drivers=resistive_load
  setup:
    - resistiveLoad.setup();

states:
  - UNINITIALIZED
  - SLEEP
  - P14MW
  - P11MW
  - P4_4MW
  - P3_4MW
  - P1_1MW
  - P235UW
  - P4_9MW
  - P2_3MW
  - P15_8MW
  - P5_2MW
  - P6_1MW
  - P8_3MW

transition:
  setup:
    src: [UNINITIALIZED]
    dst: SLEEP
  switchToNone:
    src: [UNINITIALIZED, SLEEP, P14MW, P11MW, P4_4MW, P3_4MW, P1_1MW, P235UW, P4_9MW, P2_3MW, P15_8MW, P5_2MW, P6_1MW, P8_3MW]
    dst: SLEEP
  switchTo750:
    src: [UNINITIALIZED, SLEEP, P14MW, P11MW, P4_4MW, P3_4MW, P1_1MW, P235UW, P4_9MW, P2_3MW, P15_8MW, P5_2MW, P6_1MW, P8_3MW]
    dst: P14MW
  switchTo1K0:
    src: [UNINITIALIZED, SLEEP, P14MW, P11MW, P4_4MW, P3_4MW, P1_1MW, P235UW, P4_9MW, P2_3MW, P15_8MW, P5_2MW, P6_1MW, P8_3MW]
    dst: P11MW
  switchTo2K4:
    src: [UNINITIALIZED, SLEEP, P14MW, P11MW, P4_4MW, P3_4MW, P1_1MW, P235UW, P4_9MW, P2_3MW, P15_8MW, P5_2MW, P6_1MW, P8_3MW]
    dst: P4_4MW
  switchTo3K3:
    src: [UNINITIALIZED, SLEEP, P14MW, P11MW, P4_4MW, P3_4MW, P1_1MW, P235UW, P4_9MW, P2_3MW, P15_8MW, P5_2MW, P6_1MW, P8_3MW]
    dst: P3_4MW
  switchTo10K:
    src: [UNINITIALIZED, SLEEP, P14MW, P11MW, P4_4MW, P3_4MW, P1_1MW, P235UW, P4_9MW, P2_3MW, P15_8MW, P5_2MW, P6_1MW, P8_3MW]
    dst: P1_1MW
  switchTo47K:
    src: [UNINITIALIZED, SLEEP, P14MW, P11MW, P4_4MW, P3_4MW, P1_1MW, P235UW, P4_9MW, P2_3MW, P15_8MW, P5_2MW, P6_1MW, P8_3MW]
    dst: P235UW
  switchTo2K2:
    src: [UNINITIALIZED, SLEEP, P14MW, P11MW, P4_4MW, P3_4MW, P1_1MW, P235UW, P4_9MW, P2_3MW, P15_8MW, P5_2MW, P6_1MW, P8_3MW]
    dst: P4_9MW
  switchTo4K7:
    src: [UNINITIALIZED, SLEEP, P14MW, P11MW, P4_4MW, P3_4MW, P1_1MW, P235UW, P4_9MW, P2_3MW, P15_8MW, P5_2MW, P6_1MW, P8_3MW]
    dst: P2_3MW
  switchTo680:
    src: [UNINITIALIZED, SLEEP, P14MW, P11MW, P4_4MW, P3_4MW, P1_1MW, P235UW, P4_9MW, P2_3MW, P15_8MW, P5_2MW, P6_1MW, P8_3MW]
    dst: P15_8MW
  switchTo2K:
    src: [UNINITIALIZED, SLEEP, P14MW, P11MW, P4_4MW, P3_4MW, P1_1MW, P235UW, P4_9MW, P2_3MW, P15_8MW, P5_2MW, P6_1MW, P8_3MW]
    dst: P5_2MW
  switchTo1K8:
    src: [UNINITIALIZED, SLEEP, P14MW, P11MW, P4_4MW, P3_4MW, P1_1MW, P235UW, P4_9MW, P2_3MW, P15_8MW, P5_2MW, P6_1MW, P8_3MW]
    dst: P6_1MW
  switchTo1K3:
    src: [UNINITIALIZED, SLEEP, P14MW, P11MW, P4_4MW, P3_4MW, P1_1MW, P235UW, P4_9MW, P2_3MW, P15_8MW, P5_2MW, P6_1MW, P8_3MW]
    dst: P8_3MW