Mathematical definition of an FPGA

On Feb 21, 11:28 am, "RCIngham"
<robert.ingham@n_o_s_p_a_m.n_o_s_p_a_m.gmail.com> wrote:
Hi guys,
I'm searching for a general mathematical definition of an FPGA.
I propose this y=F(x,u) where y is a vector of output , u is a vector
of input and x is a vector of internal state and F is a certain
function of x,u. Have you some idea to generalize more this
definition?
Thank you,
Silvio

What an incredibly daft idea!

---------------------------------------        
Posted throughhttp://www.FPGARelated.com
Your superficiality is disarming.
Silvio
 
On 2/20/2011 4:42 AM, silvio.baccari wrote:
By the time you captured all of the "FPGA-ness" you would have a
mathematical description that would be so complex it would be useless.
A mathematical description of what you call "FPGA-ness" may be very
useful, since it may be a very effective way to verify your logic before
any component is available.

In general the art of mathematical modeling lies not in capturing
everything there is to capture about a thing that you want to model.
Rather, it lies in capturing _just enough_ information about the thing so
that you can get a _representative_ answer for your _immediate problem_.
Capture too much information, and at best your model will be confusing,
and at worst it'll be so unwieldy that you can't do anything useful with
it.
A mathematical model *does not* give up the complexity of the
phenomenon, it rather describe the relationships between variables in
within precisely described boundary conditions and most of the time it
is harder to describe the latter rather than the phenomenon itself.

I'm interested only to the logical behavior of an FPGA; not the
complex (transitory) phenomenons between two steady states and the way
to implement the logic core and the memory ones.
IMHO it should not be very hard to model the logic and it has nothing to
do with the FPGA. I just want to draw your attention to the following
example:

A = B and C

is already a mathematical description, with a boolean operation on a set
of signals.
Unfortunately this description is limited to deterministic logic, while
it is not suitable to describe the behavior of non-deterministic, where
a state maybe defined with a probability function (time dependent).

There exists a mathematical abstraction called graph, which is often
used to represent finite state machines and I believe that is the most
appropriate object to represent logical paths.


Thanks,
Silvio
 
On Feb 26, 2:25 pm, Alessandro Basili <alessandro.bas...@cern.ch>
wrote:
On 2/20/2011 4:42 AM, silvio.baccari wrote:



By the time you captured all of the "FPGA-ness" you would have a
mathematical description that would be so complex it would be useless.

A mathematical description of what you call "FPGA-ness" may be very
useful, since it may be a very effective way to verify your logic before
any component is available.

In general the art of mathematical modeling lies not in capturing
everything there is to capture about a thing that you want to model.
Rather, it lies in capturing _just enough_ information about the thing so
that you can get a _representative_ answer for your _immediate problem_.
Capture too much information, and at best your model will be confusing,
and at worst it'll be so unwieldy that you can't do anything useful with
it.

A mathematical model *does not* give up the complexity of the
phenomenon, it rather describe the relationships between variables in
within precisely described boundary conditions and most of the time it
is harder to describe the latter rather than the phenomenon itself.

I'm interested only to the logical behavior of an FPGA; not the
complex (transitory) phenomenons between two steady states and the way
to implement the logic core and the memory ones.

IMHO it should not be very hard to model the logic and it has nothing to
do with the FPGA. I just want to draw your attention to the following
example:

A = B and C

is already a mathematical description, with a boolean operation on a set
of signals.
Unfortunately this description is limited to deterministic logic, while
it is not suitable to describe the behavior of non-deterministic, where
a state maybe defined with a probability function (time dependent).

There exists a mathematical abstraction called graph, which is often
used to represent finite state machines and I believe that is the most
appropriate object to represent logical paths.

Thanks,
Silvio
Hi Alessandro,
in the last period, are you talking about Petri net?
Silvio
 
On 2/27/2011 4:52 AM, silvio.baccari wrote:
[snip]
There exists a mathematical abstraction called graph, which is often
used to represent finite state machines and I believe that is the most
appropriate object to represent logical paths.

Hi Alessandro,
in the last period, are you talking about Petri net?
I'm talking about graphs:

http://en.wikipedia.org/wiki/Graph_%28mathematics%29

A Petri net is a bipartite graph, where the nodes are divided in two
disjoint sets.
The latter can be useful to describe a computer system where you have
resources (one set) and events that will utilize the resources (another
set) and it is of particular interest in concurrency studies.
 

Welcome to EDABoard.com

Sponsor

Back
Top