summaryrefslogtreecommitdiff
path: root/model/arch/ms430fr5994lp/driver/gpio.dfa
blob: 459b70ad5abbe351bf0e9e4e565540e0fe85f183 (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
# ! LED values are estimates at the moment
state:
  UNINITIALIZED:
  INITIALIZED:
    power:
      static: 0
      function:
        raw: (regression_arg(0) * parameter(led0) + regression_arg(1) * parameter(led1)) * parameter(voltage_v)
        regression_args: [2778, 2778]

parameters:
- led0
- led1
- voltage_v

transition:
  setup:
    src: [UNINITIALIZED]
    dst: INITIALIZED
    set_param:
      led0: 0
      led1: 0
      voltage_v: 3.3
  led_on0:
    loop: [INITIALIZED]
    set_param:
      led0: 1
  led_on1:
    loop: [INITIALIZED]
    set_param:
      led1: 1
  led_off0:
    loop: [INITIALIZED]
    set_param:
      led0: 0
  led_off1:
    loop: [INITIALIZED]
    set_param:
      led1: 0