diff options
| author | Daniel Friesel <daniel.friesel@uos.de> | 2020-01-08 08:43:43 +0100 |
|---|---|---|
| committer | Daniel Friesel <daniel.friesel@uos.de> | 2020-01-08 08:45:18 +0100 |
| commit | f1526ce0776e6464803b69948bdab404277dd17c (patch) | |
| tree | 6e73b86efb14b4ba2cc17dd3665157d4fb4eeeb1 | |
| parent | fb7f0eae5ccf35920abb981373fcd8ba083c60b9 (diff) | |
Add MS3430FR5994LP GPIO driver
| -rw-r--r-- | model/arch/ms430fr5994lp/driver/gpio.dfa | 39 |
1 files changed, 39 insertions, 0 deletions
diff --git a/model/arch/ms430fr5994lp/driver/gpio.dfa b/model/arch/ms430fr5994lp/driver/gpio.dfa new file mode 100644 index 0000000..459b70a --- /dev/null +++ b/model/arch/ms430fr5994lp/driver/gpio.dfa @@ -0,0 +1,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 |