diff --git a/mathlib/hdl/oh_abs.v b/stdlib/hdl/oh_abs.v
similarity index 100%
rename from mathlib/hdl/oh_abs.v
rename to stdlib/hdl/oh_abs.v
diff --git a/mathlib/hdl/oh_add.v b/stdlib/hdl/oh_add.v
similarity index 100%
rename from mathlib/hdl/oh_add.v
rename to stdlib/hdl/oh_add.v
diff --git a/mathlib/hdl/oh_bitreverse.v b/stdlib/hdl/oh_bitreverse.v
similarity index 100%
rename from mathlib/hdl/oh_bitreverse.v
rename to stdlib/hdl/oh_bitreverse.v
diff --git a/mathlib/hdl/oh_counter.v b/stdlib/hdl/oh_counter.v
similarity index 100%
rename from mathlib/hdl/oh_counter.v
rename to stdlib/hdl/oh_counter.v
diff --git a/mathlib/hdl/oh_csa32.v b/stdlib/hdl/oh_csa32.v
similarity index 100%
rename from mathlib/hdl/oh_csa32.v
rename to stdlib/hdl/oh_csa32.v
diff --git a/mathlib/hdl/oh_csa42.v b/stdlib/hdl/oh_csa42.v
similarity index 100%
rename from mathlib/hdl/oh_csa42.v
rename to stdlib/hdl/oh_csa42.v
diff --git a/mathlib/hdl/oh_csa62.v b/stdlib/hdl/oh_csa62.v
similarity index 100%
rename from mathlib/hdl/oh_csa62.v
rename to stdlib/hdl/oh_csa62.v
diff --git a/mathlib/hdl/oh_csa92.v b/stdlib/hdl/oh_csa92.v
similarity index 100%
rename from mathlib/hdl/oh_csa92.v
rename to stdlib/hdl/oh_csa92.v
diff --git a/mathlib/hdl/oh_mult.v b/stdlib/hdl/oh_mult.v
similarity index 100%
rename from mathlib/hdl/oh_mult.v
rename to stdlib/hdl/oh_mult.v
diff --git a/mathlib/hdl/oh_shift.v b/stdlib/hdl/oh_shift.v
similarity index 100%
rename from mathlib/hdl/oh_shift.v
rename to stdlib/hdl/oh_shift.v