1 files changed, 62 insertions, 0 deletions
diff --git a/data/test/CNE_00100/valid.vhd b/data/test/CNE_00100/valid.vhd
new file mode 100644
index 0000000..881f23c
--- /dev/null
+++ b/data/test/CNE_00100/valid.vhd
@@ -0,0 +1,62 @@
+library IEEE;
+
+use IEEE.std_logic_1164.all;
+
+entity valid is
+   port
+   (
+      ip0: in std_logic; -- $SOL:0:0$
+      ip1: in std_logic; -- $SOL:1:0$
+      ip2: in std_logic;
+      ip3: in std_logic;
+      op0: out std_logic;
+      op1: out std_logic;
+      op2: out std_logic;
+      op3: out std_logic
+   );
+end;
+
+architecture RTL of valid is
+   signal s0: std_logic; -- $SOL:2:0$
+   signal s1: std_logic; -- $SOL:3:0$
+   signal s2: std_logic;
+   signal s3: std_logic;
+begin
+   op0 <= ip1 when (ip0 = '0') else ip2;
+
+   process (s1, ip1, s2)
+   begin
+      if (ip1 = '0')
+      then
+         op0 <= '0';
+      else
+         op0 <= s2;
+      end if;
+
+      if (ip1 = '0')
+      then
+         op1 <= s1;
+      else
+         op1 <= '1';
+      end if;
+   end process;
+
+   s3 <= s1 when (s0 = '0') else s2;
+
+   process (s1, ip1, s2)
+   begin
+      if (s1 = '0')
+      then
+         op0 <= '0';
+      else
+         op0 <= s2;
+      end if;
+
+      if (s1 = '0')
+      then
+         op1 <= ip1;
+      else
+         op1 <= '1';
+      end if;
+   end process;
+end architecture;