¿Cómo puedo especificar señales de "no me importa" en VHDL?

En los cursos de Diseño Lógico todos aprendimos que es posible minimizar una función lógica, por ejemplo, usando un mapa de Karnaugh o el algoritmo Quine-McCluskey . También aprendimos que los valores "No me importa" aumentan el potencial de minimización.

Por ejemplo, tome un archivo de registro. Las señales write_addressy write_datarealmente no importan cuando la write_enableseñal es '0'. Por lo tanto, se les debe asignar un valor "No importa" para permitir más optimizaciones en la lógica que dirige estas señales (es decir, no en el archivo de registro en sí).

¿Cuál es la forma correcta de especificar tales valores "No importa" en VHDL para permitir que la herramienta de síntesis tenga más espacio para posibles optimizaciones?

Hasta ahora he encontrado las siguientes cosas que podrían ser adecuadas. Pero no estoy muy seguro de cuáles son los pros y los contras de cada enfoque:

• Simplemente no asignar la señal. Esto parece que podría funcionar. Sin embargo, descubrí que no funciona cuando desea definir una "constante de no hacer nada" de algún recordtipo, ya que las constantes de registro deben especificarse completamente (al menos Modelsim me lo dice).
• El std_logic_1164paquete define el valor '-' -- Don't carede std_ulogic. Parece que es la opción semánticamente correcta para un "no me importa" explícito, pero nunca lo he visto usado en ninguna parte (excepto en las case?construcciones VHDL-2008 no relacionadas).
• Modelsim usa el valor 'X'para mostrar señales indefinidas. Sin embargo, no estoy seguro de si las herramientas de síntesis entienden una asignación explícita 'X'como "no me importa".

Aquí hay un fragmento de código muy simplificado para aclaración, donde he inicializado las señales de no importa con '-'.

Como puede ver, la señal control.reg_write_addresspuede tener 3 valores diferentes: "----", instruction(11 downto 8);y instruction(3 downto 0);. Ahora esperaría que esto se sintetice en un multiplexor de 2 entradas si '-'se interpreta como "no me importa". Si hubiera inicializado la señal con (others => '0')en lugar de '-', la herramienta tendría que generar un multiplexor de 3 entradas en su lugar.

library ieee;
use ieee.std_logic_1164.all;
use ieee.numeric_std.all;

package mytypes is
    type control_signals_t is record
        write_enable  : std_logic;
        write_address : std_ulogic_vector(3 downto 0);
        read_address  : std_ulogic_vector(3 downto 0);
    end record;

    -- All members of this constant must be fully specified.
    -- So it's not possible to simply not assign a value.
    constant CONTROL_NOP : control_signals_t := (
        write_enable  => '0',
        write_address => (others => '-'),
        read_address  => (others => '-')
    );
end package;

library ieee;
use ieee.std_logic_1164.all;
use ieee.numeric_std.all;
library cfx;
use cfx.mytypes.all;

entity control_unit is
    port(
        instruction : in  std_ulogic_vector(15 downto 0);
        write_data  : out std_ulogic_vector(15 downto 0);
        ctrl        : out control_signals_t
    );
end entity;

architecture rtl of control_unit is
begin
    decode_instruction : process(instruction) is
    begin
        -- Set sensible default values that do nothing.
        -- Especially all "write_enable" signals should be '0'.
        -- Everything else is mostly irrelevant (don't care).
        ctrl       <= CONTROL_NOP;
        write_data <= (others => '-');

        if instruction(15 downto 12) = "1100" then
            -- Load 8 bit of data into the register file
            ctrl.write_enable  <= '1';
            write_data         <= std_ulogic_vector(resize(signed(instruction(7 downto 0)), 16));
            ctrl.write_address <= instruction(11 downto 8);
        elsif instruction(15 downto 8) = "11111001" then
            -- Load 4 bit of data into the register file
            write_data         <= std_ulogic_vector(resize(signed(instruction(7 downto 4)), 16));
            ctrl.write_address <= instruction(3 downto 0);
        elsif instruction(15 downto 8) = "10110101" then
            -- Read from the register file. Don't use the write signals at all.
            ctrl.read_address <= instruction(3 downto 0);
        end if;
    end process;
end architecture;