Re: 6502 FPGA core



Sven-Olof Nystr|m wrote:

It seems to me that a more natural way to represent this code in a
Lisp program would be to use some form of syntax trees.

For example, the VHDL statement

if q = x"00" then z_flag <= '1'; else z_flag <= '0'; end if;

could be represented with this tree:

(if (= q #x00)
(<= z_flag #\1)
(<= z_flag #\0))


Producing VHDL code from the tree representation should be
straight-forward.

Thanks, this is a good beginning. But my hope was something more abstract,
e.g. like Esterel:

http://www-sop.inria.fr/esterel.org/home.htm

but in Lisp. My idea is to write algorithms in a more natural way than with
state machines and then it will be compiled into VHDL (even better would be
into EDIF netlists).

--
Frank Buss, fb@xxxxxxxxxxxxx
http://www.frank-buss.de, http://www.it4-systems.de
.



Relevant Pages

  • Re: Three Kinds of Logical Trees
    ... >>> That strikes me as a nonstardard definition of the use of metadata, ... >> metadata & data from an RDBMS into an xml dom tree. ... I think this is just a representation issue. ...
    (comp.databases.theory)
  • Re: Problem for physicalist evolutionists
    ... then the processing did indeed represent which fairy lights would go ... How could the robot brain in a vat ... looked at a tree. ... to of had the representation of a tree, ...
    (talk.origins)
  • Re: Problem for physicalist evolutionists
    ... then the processing did indeed represent which fairy lights would go ... How could the robot brain in a vat ... looked at a tree. ... to of had the representation of a tree, ...
    (talk.origins)
  • Re: No TABLES in html. No hacks in CSS. Any layout possible, crossbrowser. Try it.
    ... *tree* that is still a semantically incorrect representation of the ... The DOM tree isn't subject to the requirements of the HTML DTD. ...
    (comp.infosystems.www.authoring.html)
  • Re: Problem for physicalist evolutionists
    ... How could the robot brain in a vat ... feeds the same input channel with the same signals. ... looked at a tree. ... representation above millions of other possible ones? ...
    (talk.origins)