summaryrefslogtreecommitdiff
path: root/model/driver/resistive_load.dfa
blob: a2bf3dd71c3b51bc44c671d497e6477dcc682c8b (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
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

transition:
  setup:
    src: [UNINITIALIZED]
    dst: SLEEP
  switchToNone:
    src: [UNINITIALIZED, SLEEP, P14MW, P11MW, P4_4MW, P3_4MW, P1_1MW, P235UW]
    dst: SLEEP
  switchTo750:
    src: [UNINITIALIZED, SLEEP, P14MW, P11MW, P4_4MW, P3_4MW, P1_1MW, P235UW]
    dst: P14MW
  switchTo1K0:
    src: [UNINITIALIZED, SLEEP, P14MW, P11MW, P4_4MW, P3_4MW, P1_1MW, P235UW]
    dst: P11MW
  switchTo2K4:
    src: [UNINITIALIZED, SLEEP, P14MW, P11MW, P4_4MW, P3_4MW, P1_1MW, P235UW]
    dst: P4_4MW
  switchTo3K3:
    src: [UNINITIALIZED, SLEEP, P14MW, P11MW, P4_4MW, P3_4MW, P1_1MW, P235UW]
    dst: P3_4MW
  switchTo10K:
    src: [UNINITIALIZED, SLEEP, P14MW, P11MW, P4_4MW, P3_4MW, P1_1MW, P235UW]
    dst: P1_1MW
  switchTo47K:
    src: [UNINITIALIZED, SLEEP, P14MW, P11MW, P4_4MW, P3_4MW, P1_1MW, P235UW]
    dst: P235UW