FF in IOB zwingen

[Anguel S. (anguel)]

Hallo!

Ich möchte in einem Spartan 3A ein registriertes Signal einerseits 
intern im FPGA weiterverwenden, andererseits auch nach außen ausgeben, 
und zwar über einen IOB Register.

Da ich das Signal also auch als internes Feedback für andere FFs nutze, 
muss ich für das IOB FF eine zweite Kopie (mit Fanout = 1) erzeugen. Das 
versuche ich so:

signal reg_fuer_intern : std_logic := '0';
signal reg_fuer_IOB : std_logic := '0';

attribute KEEP : string; 
attribute KEEP of reg_fuer_intern : signal is "true";
attribute KEEP of reg_fuer_IOB : signal is "true";

Und dann:

process (clk)  
  begin  
    if rising_edge(clk) then
      reg_fuer_intern <= NOT kombinatorisches_signal; -- für FF zu intern
      reg_fuer_IOB <= NOT kombinatorisches_signal; -- nochmal für FF für IOB
  end if;
end process;

Trot KEEP wird jedoch das eine FF wegoptimiert und ich bekomme die 
Meldung, dass das FF nicht in den IOB gesetzt werden kann.

Mache ich etwas mit dem KEEP falsch, oder muss ich doch die 
Syntheseoption "Equivalent Register Removal" für das komplette Design 
abschalten, damit es klappt? Das würde ich nur ungern tun.

Danke für jeden Tipp!

Update: Habe jetzt "Equivalent Register Removal" und "Ressource Sharing" 
abgeschaltet. Es klappt immer noch nicht:

ERROR:Pack:2604 - The register
   Inst_MY_interface/Inst_MYSUB_interface/reg_fuer_IOB has the property
   IOB=FORCE, but was not packed into the output side of an I/O component. The
   output register symbol
   "Inst_MY_interface/Inst_MYSUB_interface/reg_fuer_IOB" has an output
   signal with a "KEEP" property and must remain externally visible by appearing
   on a component pin.
   The output register symbol
   "Inst_MY_interface/Inst_MYSUB_interface/reg_fuer_IOB" has an output
   signal with a "KEEP" property and must remain externally visible by appearing
   on a component pin.

2. Update: Die "KEEP" Attribute scheinen ihn jetzt wiederum zu stören, 
wenn ich die auskommentiere, scheint es doch zu gehen...

Grüße,
Anguel

[Christian R. (supachris)]

Am besten KEEP weglassen und das nach außengehende mit dem IOB Attribut 
in ein IOB-FF zwingen. Dann landet das auch im IOB, wenn das globale 
"Pack Registers in IOB" deaktiviert ist. Also

attribute IOB : string;
attribute IOB of reg_fuer_IOB : signal is "true";

[Anguel S. (anguel)]

Christian R. schrieb:
> attribute IOB : string;
> attribute IOB of reg_fuer_IOB : signal is "true";

Tut das nicht das gleiche wie IOB = FORCE im UCF?

Das Problem ist aber soweit ich das überblicke, dass sobald ein FF ein 
Fanout > 1 hat (vgl. Schematic), es überhaupt nicht mehr ins IOB gepackt 
werden kann - deshalb erzeuge ich die 2. Kopie des FFs.

Wenn ich KEEP weglasse und "Equivalent Register Removal" abschalte, 
scheint es nun zu gehen. Ich hasse dieses Xilinx-Voodoo :)

[Christian R. (supachris)]

Anguel S. schrieb:
> Tut das nicht das gleiche wie IOB = FORCE im UCF?

Ja, tut das gleiche. Kann aber sein, dass das bei der Synthese schon 
greift, und du dadurch die "Equivalent Register Removal" eingeschaltet 
lassen kannst....müsste man mal testen. Das UCF greift ja erst beim 
Implement.

[Anguel S. (anguel)]

Christian R. schrieb:
> Ja, tut das gleiche. Kann aber sein, dass das bei der Synthese schon
> greift, und du dadurch die "Equivalent Register Removal" eingeschaltet
> lassen kannst....müsste man mal testen. Das UCF greift ja erst beim
> Implement.

Danke! Werde ich mal nachher testen.

[Anguel S. (anguel)]

Christian R. schrieb:
> Ja, tut das gleiche. Kann aber sein, dass das bei der Synthese schon
> greift, und du dadurch die "Equivalent Register Removal" eingeschaltet
> lassen kannst....müsste man mal testen. Das UCF greift ja erst beim
> Implement.

Hab's gerade getestet. Hast recht, danke! Mit attribute IOB im VHDL 
und *IOB = FORCE* im UCF (damit ein Fehler kommt, falls das Packen ins 
IOB nicht geht) klappt es nun auch mit eingeschaltetem "Equivalent 
Register Removal".

Grüße,
Anguel