diff --git a/hdl/wb_envm.vhd b/hdl/wb_envm.vhd
index 67ad9c3b2465c62d0e7c0a74a44f96ab29a3d077..0cd6b191def46dcff961c53f5d7d3d575a108def 100644
--- a/hdl/wb_envm.vhd
+++ b/hdl/wb_envm.vhd
@@ -53,6 +53,12 @@ signal envm_read_req_p, apb_read_req, apb_read_req_boot, apb_read_req_wb, apb_re
 signal wb_write_req, wb_write_req_boot, wb_write_req_wb, wb_write_ack : std_logic;
 signal wb_addr, wb_addr_boot, wb_addr_wb : std_logic_vector (16 downto 0);
 signal counter : unsigned (9 downto 0);
+
+attribute syn_encoding : string; 
+attribute syn_encoding of bootstrap_fsm, wb_fsm, apb_fsm, envm_fsm : signal is "safe,onehot";
+
+attribute syn_radhardlevel : string;
+attribute syn_radhardlevel of rtl : architecture is "tmr";
 begin
 
 apb_addr <= apb_addr_boot when (rst_cpu_o = '1') else apb_addr_wb;
@@ -176,7 +182,7 @@ if rising_edge(clk_i) then
 	else 
 		case (apb_fsm) is 
 			when idle =>
-                apb_read_ack <= '0';
+                		apb_read_ack <= '0';
 				if (apb_read_req = '1' and apb_read_ack = '0') then
 					apb_fsm <= setup;
 					apb_psel_o <= '1';
@@ -283,4 +289,4 @@ end process;
 			
 
 
-end architecture;
\ No newline at end of file
+end architecture;