diff --git a/model/driver/lm75.dfa b/model/driver/lm75.dfa
index 5aadb8f635e0d649eea8f30de170976cc46efebb..2c136f96626783e7c8d9a1fdd313156b17437a6d 100644
--- a/model/driver/lm75.dfa
+++ b/model/driver/lm75.dfa
@@ -1,4 +1,6 @@
-instance: lm75
+codegen:
+  instance: lm75
+  includes: ['driver/lm75.h']
 
 parameters:
   - os
diff --git a/model/driver/sharp96.dfa b/model/driver/sharp96.dfa
new file mode 100644
index 0000000000000000000000000000000000000000..9b356dbe06ba96b4a05ab197762670d79d4a4f10
--- /dev/null
+++ b/model/driver/sharp96.dfa
@@ -0,0 +1,36 @@
+codegen:
+  instance: sharp96
+  includes: ['driver/spi_b.h', 'driver/sharp96.h']
+  setup: ['spi.setup();', 'sharp96.setup();']
+
+states:
+  - UNINITIALIZED
+  - POWERON
+  - POWEROFF
+
+transition:
+  setup:
+    src: [UNINITIALIZED]
+    dst: POWEROFF
+  powerOn:
+    src: [POWEROFF]
+    dst: POWERON
+  powerOff:
+    src: [POWERON]
+    dst: POWEROFF
+  clear:
+    src: [POWERON]
+    dst: POWERON
+  writeLine:
+    src: [POWERON]
+    dst: POWERON
+    arguments:
+      - name: line_no
+        values: [0, 63, 95]
+      - name: data
+        values:
+          - '(unsigned char *)"\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"'
+          - '(unsigned char *)"\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff"'
+  toggleVCOM:
+    src: [POWERON]
+    dst: POWERON