summaryrefslogtreecommitdiff
path: root/model
diff options
context:
space:
mode:
authorDaniel Friesel <daniel.friesel@uos.de>2020-01-08 08:43:43 +0100
committerDaniel Friesel <daniel.friesel@uos.de>2020-01-08 08:45:18 +0100
commitf1526ce0776e6464803b69948bdab404277dd17c (patch)
tree6e73b86efb14b4ba2cc17dd3665157d4fb4eeeb1 /model
parentfb7f0eae5ccf35920abb981373fcd8ba083c60b9 (diff)
Add MS3430FR5994LP GPIO driver
Diffstat (limited to 'model')
-rw-r--r--model/arch/ms430fr5994lp/driver/gpio.dfa39
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