summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--model/arch/msp430fr5969lp/driver/gpio.dfa44
1 files changed, 35 insertions, 9 deletions
diff --git a/model/arch/msp430fr5969lp/driver/gpio.dfa b/model/arch/msp430fr5969lp/driver/gpio.dfa
index b1f0708..90eaa63 100644
--- a/model/arch/msp430fr5969lp/driver/gpio.dfa
+++ b/model/arch/msp430fr5969lp/driver/gpio.dfa
@@ -1,13 +1,39 @@
-states:
- - UNINITIALIZED
- - P0_INPUT
- - P0_INPUT_PULLUP
- - P0_OUTPUT_LOW
- - P0_OUTPUT_HIGH
+# ! 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: P0_OUTPUT
- input:
- src: [P0_INPUT, P0_INPUT_PULLUP, P0_OUTPUT_LOW, P0_OUTPUT_HIGH]
+ dst: INITIALIZED
+ set_param:
+ led0: 0
+ led1: 0
+ voltage_v: 3.6
+ 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