diff --git a/nac3artiq/demo/device_db.py b/nac3artiq/demo/device_db.py
index d8ccfd7..ae819ba 100644
--- a/nac3artiq/demo/device_db.py
+++ b/nac3artiq/demo/device_db.py
@@ -10,7 +10,7 @@ device_db = {
             "host": "kc705",
             "ref_period": 1e-9,
             "ref_multiplier": 8,
-            "target": "riscv"
+            "target": "rv32g"
         }
     },
 }
diff --git a/nac3artiq/src/lib.rs b/nac3artiq/src/lib.rs
index d417306..5ef1190 100644
--- a/nac3artiq/src/lib.rs
+++ b/nac3artiq/src/lib.rs
@@ -38,7 +38,8 @@ use timeline::TimeFns;
 #[derive(PartialEq, Clone, Copy)]
 enum Isa {
     Host,
-    RiscV,
+    RiscV32G,
+    RiscV32IMA,
     CortexA9,
 }
 
@@ -204,13 +205,15 @@ impl Nac3 {
     fn new(isa: &str, py: Python) -> PyResult<Self> {
         let isa = match isa {
             "host" => Isa::Host,
-            "riscv" => Isa::RiscV,
+            "rv32g" => Isa::RiscV32G,
+            "rv32ima" => Isa::RiscV32IMA,
             "cortexa9" => Isa::CortexA9,
             _ => return Err(exceptions::PyValueError::new_err("invalid ISA")),
         };
         let time_fns: &(dyn TimeFns + Sync) = match isa {
             Isa::Host => &timeline::EXTERN_TIME_FNS,
-            Isa::RiscV => &timeline::NOW_PINNING_TIME_FNS,
+            Isa::RiscV32G => &timeline::NOW_PINNING_TIME_FNS,
+            Isa::RiscV32IMA => &timeline::NOW_PINNING_TIME_FNS,
             Isa::CortexA9 => &timeline::EXTERN_TIME_FNS,
         };
         let primitive: PrimitiveStore = TopLevelComposer::make_primitives().0;
@@ -452,7 +455,8 @@ impl Nac3 {
 
             let (triple, features) = match isa {
                 Isa::Host => (TargetMachine::get_default_triple(), TargetMachine::get_host_cpu_features().to_string()),
-                Isa::RiscV => (TargetTriple::create("riscv32-unknown-linux"), "+a,+m".to_string()),
+                Isa::RiscV32G => (TargetTriple::create("riscv32-unknown-linux"), "+a,+m,+f,+d".to_string()),
+                Isa::RiscV32IMA => (TargetTriple::create("riscv32-unknown-linux"), "+a,+m".to_string()),
                 Isa::CortexA9 => (
                     TargetTriple::create("armv7-unknown-linux-gnueabihf"),
                     "+dsp,+fp16,+neon,+vfp3".to_string(),