changing values in a fifo

Hello

Given two values, compare_value and change_value, is it possible to
simultaneously update all values within a fifo that equal
compare_value to change_value without having to devote a number of
clock cycles proportional to the depth of the fifo?

The memory storage need not be a fifo, but that is how it should
function when reading and writing to it. Also, a value will only be
pulled off the fifo when another values is inserted, thus ensuring
that the fifo will always remain full. The simultaneous update of the
values will only happen at the time that a new value is inserted. I am
currently using an Altera Stratix 1S10, and could take advantage of
one or more of its features, but I'm hoping for a solution that is not
device dependent.

Thanks in advance for any help or suggestions that may lead to a
solution to this problem.

Patrick

Hello,

Yes, you can do this in a single cycle.  Is this a homework
question?  :)  You never know these days!

Instead of "clock cycles proportional to the depth" you will
end up with "hardware proportional to the depth".  Also, I
think you would have a hard time using any kind of RAM to
implement the FIFO.  This sounds "expensive"...

I prefer the brute force method.  You could start by designing
a FIFO using standard D flip flops, using the same type of design
model that is used with RAMs (circular buffer with two pointers,
move the pointers, not the data -- otherwise the problem gets more
complicated).

You would then add an identity comparator and some muxing logic
for each FIFO word.  When you present compare_value, the change
value, and some kind of enable signal, all words are evaluated
concurrently and updated at the next rising edge of the clock.

Eric

Patrick Klacka wrote:
> 
> Hello
> 
> Given two values, compare_value and change_value, is it possible to
> simultaneously update all values within a fifo that equal
> compare_value to change_value without having to devote a number of
> clock cycles proportional to the depth of the fifo?
> 
> The memory storage need not be a fifo, but that is how it should
> function when reading and writing to it. Also, a value will only be
> pulled off the fifo when another values is inserted, thus ensuring
> that the fifo will always remain full. The simultaneous update of the
> values will only happen at the time that a new value is inserted. I am
> currently using an Altera Stratix 1S10, and could take advantage of
> one or more of its features, but I'm hoping for a solution that is not
> device dependent.
> 
> Thanks in advance for any help or suggestions that may lead to a
> solution to this problem.
> 
> Patrick

Patrick Klacka wrote:
> 
> Given two values, compare_value and change_value, is it possible to
> simultaneously update all values within a fifo that equal
> compare_value to change_value without having to devote a number of
> clock cycles proportional to the depth of the fifo?

Save some sort of CRC hash with each value push.
Apply correction(hash) when a value is popped.

> The memory storage need not be a fifo, but that is how it should
> function when reading and writing to it. Also, a value will only be
> pulled off the fifo when another values is inserted, thus ensuring
> that the fifo will always remain full.

That would mean only the first fifo location is ever used.

Maybe you mean a two port buffer.

-- Mike Treseler

Patrick, you seem to be describing a Content-Addressable Memory ( a
CAM), which is notoriously difficult to implement and inefficient,
especially when it is to operate at a high rate.
Think about how you can (or cannot) compare and modify the content of
multiple locations simultaneously...

Peter Alfke, Xilinx Applications
==============================
Patrick Klacka wrote:
> 
> Hello
> 
> Given two values, compare_value and change_value, is it possible to
> simultaneously update all values within a fifo that equal
> compare_value to change_value without having to devote a number of
> clock cycles proportional to the depth of the fifo?
> 
> The memory storage need not be a fifo, but that is how it should
> function when reading and writing to it. Also, a value will only be
> pulled off the fifo when another values is inserted, thus ensuring
> that the fifo will always remain full. The simultaneous update of the
> values will only happen at the time that a new value is inserted. I am
> currently using an Altera Stratix 1S10, and could take advantage of
> one or more of its features, but I'm hoping for a solution that is not
> device dependent.
> 
> Thanks in advance for any help or suggestions that may lead to a
> solution to this problem.
> 
> Patrick

"Mike Treseler" <mike.treseler@flukenetworks.com> wrote in message
news:400DBD0E.6080303@flukenetworks.com...

> Save some sort of CRC hash with each value push.
> Apply correction(hash) when a value is popped.

I applied this method in the original design (on a pc), but it is not
deterministic - a value could change several times before it emerges from
the fifo, resulting in multiple indexes into an array to find the ultimate
answer. I can e-mail or post snippets of code to explain this better.

I tried building my own fifo, which took an input value, compare value, and
change value. Upon inserting the input value in the fifo, if any of the
values in the fifo were equal to the compare value, they were updated to the
change value. Given the depth requirements of the fifo, this implementation
will not fit in the fpga I am currently using.

I like the idea of not indexing into the fifo, and just applying some sort
of correction to the value that is removed, but there will need to be some
way of correcting that value in one cycle, to maintain deterministic
performance.

Patrick

Patrick Klacka wrote:

> "Mike Treseler" <mike.treseler@flukenetworks.com> wrote in message
> news:400DBD0E.6080303@flukenetworks.com...
> 
> 
>>Save some sort of CRC hash with each value push.
>>Apply correction(hash) when a value is popped.
> 
> 
> I applied this method in the original design (on a pc), but it is not
> deterministic - a value could change several times before it emerges from
> the fifo, resulting in multiple indexes into an array to find the ultimate
> answer. I can e-mail or post snippets of code to explain this better.
> 
> I tried building my own fifo, which took an input value, compare value, and
> change value. Upon inserting the input value in the fifo, if any of the
> values in the fifo were equal to the compare value, they were updated to the
> change value. Given the depth requirements of the fifo, this implementation
> will not fit in the fpga I am currently using.
> 
> I like the idea of not indexing into the fifo, and just applying some sort
> of correction to the value that is removed, but there will need to be some
> way of correcting that value in one cycle, to maintain deterministic
> performance.

  Yes, this would avoid the many-compares needed on change in-situ,
and could suit FPGA structures.
Assuming a byte wide FIFO, you could use 256 x 8 SyncRAM as the
check/replace -> init to Value==Index for nochange, and then
change contents as needed.

  It does presume only one replace value is valid/alive for all
FIFO content.
  ( ie a delta to 'Change-to' applies from that instant, to all
FIFO change-froms.)

-jg

"Patrick Klacka" <pklacka@trexenterprises.com> wrote in message
news:e0a3e27d.0401201404.1d41416d@posting.google.com...
> Hello
>
> Given two values, compare_value and change_value, is it possible to
> simultaneously update all values within a fifo that equal
> compare_value to change_value without having to devote a number of
> clock cycles proportional to the depth of the fifo?
>
> The memory storage need not be a fifo, but that is how it should
> function when reading and writing to it. Also, a value will only be
> pulled off the fifo when another values is inserted, thus ensuring
> that the fifo will always remain full. The simultaneous update of the
> values will only happen at the time that a new value is inserted. I am
> currently using an Altera Stratix 1S10, and could take advantage of
> one or more of its features, but I'm hoping for a solution that is not
> device dependent.
>
> Thanks in advance for any help or suggestions that may lead to a
> solution to this problem.
>
> Patrick

Nice problem, Patrick

I think I see two problems:
1) Store/retrieve data like a FIFO.
2) Conditionally replace all values.

So its like you need a FIFO that stores indexes into a table, then if you
receive a value that's already in the table, you do a compare and if there's
a match, you update the table with the new value.  This way all other index
values in the table will all be replaced.  Does this describe a viable
solution?  If so, then it seems to me, the best way to do this is with a
CAM, a FIFO and a RAM.  Input data goes into CAM and if you get a hit, you
save the CAM address into the FIFO.  If not, you add the new value to the
CAM and the RAM at the same new address and store the address to the FIFO.
When data is read from the FIFO, you use the FIFO output to index into the
RAM to retrieve the value. If the compare matches, you write the new value
to the address in the CAM and the RAM.

The timing might be a little hairy, but I think this will work.

Hope this makes sense,
Blake

Patrick Klacka wrote:
>>Save some sort of CRC hash with each value push.
>>Apply correction(hash) when a value is popped.
> 
> 
> I applied this method in the original design (on a pc), but it is not
> deterministic - a value could change several times before it emerges from
> the fifo, resulting in multiple indexes into an array to find the ultimate
> answer. I can e-mail or post snippets of code to explain this better.
> 
> I tried building my own fifo, which took an input value, compare value, and
> change value. Upon inserting the input value in the fifo, if any of the
> values in the fifo were equal to the compare value, they were updated to the
> change value. Given the depth requirements of the fifo, this implementation
> will not fit in the fpga I am currently using.
> 
> I like the idea of not indexing into the fifo, and just applying some sort
> of correction to the value that is removed, but there will need to be some
> way of correcting that value in one cycle, to maintain deterministic
> performance.

Howdy Patrick,

What is the size of compare_value, change_value, and most importantly, 
how deep does the FIFO need to be?

Good luck,

    Marc

Eric Crabill wrote:
> I prefer the brute force method.  You could start by designing
> a FIFO using standard D flip flops, using the same type of design
> model that is used with RAMs (circular buffer with two pointers,
> move the pointers, not the data -- otherwise the problem gets more
> complicated).

If the FIFO is always full, does he even need to keep pointers?  Why not 
just a sort of "vector shift-register"?

-- 
Pierre-Olivier

-- to email me directly, remove all _N0SP4M_ from my address --

Thank you everyone for your suggestions thus far. It's clear that more
details are needed in order to better explore this problem. Please see
http://www.trexenterprises.com/~pklacka/fifo.html for implementations in C
code.

It seems that all the solutions favor one change to a particular value, but
do not consider the case of the changed value being changed. For example,
the value of 5 is changed to 6. Now a 5 is retrieved from the fifo. We know
through the Blake's CAM implementation and Jim's SyncRAM implementation that
the value of 5 will be transformed to a 6. Now the 6 is changed to a 7. When
we retrieve a 6 from the fifo, we get a 7 as intented. But should a 5 come
off the fifo, we still get a 6, unless some sort of recursion is used. The
recursion is what I am attempting to avoid. If all the 5's in the fifo could
be changed to 6's before the 6's get changed to 7's, then I have a working
solution.

Here is another idea that may be impossible to implement, but it might shed
some more light on what I am trying to achieve. Consider a full fifo that
expects a value to be inserted every time you remove a value. So there is a
constant flow from one side to the other. (I think this was correctly
likened to a vector shift-register) Could there be another fifo of the exact
same length that flowed in the opposite direction which contains the compare
and the change values. Each time a new value is inserted/removed from the
primary fifo, the secondary fifo compares register values at the same
location in the primary fifo, makes the appropriate change if necessary,
then shifts itself with a new value. Using this idea, all of the 5's will be
changed to 6's before the 6's get changed to 7's, but I think it uses the
same amount of resources as my original solution.