Si debe mezclar fracasos de reinicio síncrono y no reinicio en un solo bloque siempre, esta sería la forma correcta ...
always @ (posedge clk)
if ( reset )
begin
resettable_flops <= 0; // Resettable to 0.
nonresettable_flops <= 'dx; // No reset function. Is this OK?
end
else
begin
// Functionality goes here.
end
EDITAR: Si no escribo la asignación x, el ISE infiere la lógica para no cambiar el flop cuando se confirma el reinicio, es decir,! reset termina activando la habilitación del reloj, lo que quiero evitar ya que reiniciar es un gran fanout y puede afectar el tiempo . Sin embargo, la asignación de 1'dx funciona e ISE no utiliza el restablecimiento en la ruta de tiempo de nonresettable_flops.