Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]


Groups > comp.lang.forth > #42536

Re: Minimal wordset (was: New to the group)

From "Rod Pemberton" <boo@fasdfrewar.cdm>
Newsgroups comp.lang.forth
Subject Re: Minimal wordset (was: New to the group)
Date 2015-10-09 23:11 -0400
Organization Aioe.org NNTP Server
Message-ID <op.x59shskoyfako5@localhost> (permalink)
References (1 earlier) <dfba1750-e8c9-42ac-b619-983cfbe9b4ed@googlegroups.com> <2015Oct8.083842@mips.complang.tuwien.ac.at> <7I-dnQl_lpiNhYvLnZ2dnUU7-RmdnZ2d@supernews.com> <2015Oct8.153955@mips.complang.tuwien.ac.at> <d07d6ea6-b70c-4259-8269-a3ed372364a1@googlegroups.com>

Show all headers | View raw


On Thu, 08 Oct 2015 11:13:12 -0400, JUERGEN <epldfpga@aol.com> wrote:

> If you factor out the existing word set to the max
> - the result should be a minimum list by definition.

Forths that build up from "primitives" usually need at least 35 for
a Forth which isn't abhorrently slow.  Some have gone as low as 9,
but this wasn't ANS or a complete Forth wordset.  These are usually
ITC Forths created after C.H. Ting and Bill E. Meunch popularized
this build-up idea with eForth.

> When I discussed this minimum wordset with others it was to find
> out about the possibilities of different levels for hardware conversion:

You can make an AND using NANDs, but if the hardware has
direct support for AND, then you'll AND for AND.  It's the
the lowest, supported functionality, i.e., the "primitive".
You can still reduce the wordset buy implementing NAND and
eliminating AND, but then you're doing extra work to get
AND from NAND, i.e., slower.

> Core set in assembler bow   - and conversion to VHDL
> [...]
> I am still not sure why nobody in the Forth community has
> tackled this.
> [...]
> Forth could compile to VHDL ( or Verilog ) / Gates directly.
> [...]
> This was my interest in the minimum wordset.
> Nothing to do with Forth as such.

Hasn't a basic minimum wordset which would work with VHDL already
been found by Charles Moore for his various microprocessors?

He has implemented Forth directly as the instruction set for
various microprocessors.  I would think that you'd start by
looking at his designs.  Whatever is present for most of them
is likely to be what you need.  You're probably going to find
some basic microprocessor functionality, some basic Forth words,
and maybe a few other things.

Forth processor instruction sets:

http://www.ultratechnology.com/mup21.html
http://www.ultratechnology.com/f21cpu.html#cpu
http://www.colorforth.com/inst.htm
http://users.ece.cmu.edu/~koopman/stack_computers/sec4_3.html
http://users.ece.cmu.edu/~koopman/stack_computers/sec4_4.html
http://users.ece.cmu.edu/~koopman/stack_computers/sec4_5.html
http://users.ece.cmu.edu/~koopman/stack_computers/sec5_3.html

These are Forth VHDL related:

http://www.ultratechnology.com/p16vhdl.htm
http://www.ultratechnology.com/4thvhdl.htm
http://web.archive.org/web/20041012145634/http://www.cse.cuhk.edu.hk/~phwl/msl16/msl16.html
  (last is one link)

You can find more links here:
http://www.ultratechnology.com/chips.htm

If the link is bad, try Wayback archive:
https://archive.org/web/


Rod Pemberton

-- 
Just how many texting and calendar apps does humanity need?
Just how many food articles from neurotic millenials do we need?

Back to comp.lang.forth | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread


Thread

New to the group Chris Curl <ccurl609@gmail.com> - 2015-09-26 15:17 -0700
  Re: New to the group mentificium@gmail.com - 2015-09-26 17:35 -0700
  Re: New to the group hughaguilar96@gmail.com - 2015-09-26 21:16 -0700
    Re: New to the group Chris Curl <ccurl609@gmail.com> - 2015-09-27 07:27 -0700
      Re: New to the group rickman <gnuarm@gmail.com> - 2015-09-27 14:43 -0400
        Re: New to the group Chris Curl <ccurl609@gmail.com> - 2015-09-27 13:05 -0700
        Re: New to the group "Elizabeth D. Rather" <erather@forth.com> - 2015-09-27 12:57 -1000
        Re: New to the group Paul Rubin <no.email@nospam.invalid> - 2015-09-27 17:00 -0700
          Re: New to the group hughaguilar96@gmail.com - 2015-09-27 17:16 -0700
            Re: New to the group rickman <gnuarm@gmail.com> - 2015-09-27 20:31 -0400
            Re: New to the group jfong@ms4.hinet.net - 2015-09-27 18:57 -0700
              Re: New to the group hughaguilar96@gmail.com - 2015-09-27 19:37 -0700
                Re: New to the group Chris Curl <ccurl609@gmail.com> - 2015-09-27 20:53 -0700
                Re: New to the group "Elizabeth D. Rather" <erather@forth.com> - 2015-09-27 19:02 -1000
                Re: New to the group hughaguilar96@gmail.com - 2015-09-27 23:33 -0700
                Re: New to the group Chris Curl <ccurl609@gmail.com> - 2015-09-28 04:51 -0700
                Re: New to the group rickman <gnuarm@gmail.com> - 2015-09-28 12:39 -0400
                Re: New to the group Roelf Toxopeus <rt4all@notthis.hetnet.nl> - 2015-09-28 14:29 +0200
                Re: New to the group Chris Curl <ccurl609@gmail.com> - 2015-09-28 07:18 -0700
                Re: New to the group foxaudioresearch@gmail.com - 2015-09-28 08:07 -0700
                Re: New to the group Roelf Toxopeus <rt4all@notthis.hetnet.nl> - 2015-09-28 17:23 +0200
                Re: New to the group Chris Curl <ccurl609@gmail.com> - 2015-09-28 11:16 -0700
                Re: New to the group rickman <gnuarm@gmail.com> - 2015-09-28 14:25 -0400
                Re: New to the group anton@mips.complang.tuwien.ac.at (Anton Ertl) - 2015-09-29 09:05 +0000
                Re: New to the group Roelf Toxopeus <rt4all@notthis.hetnet.nl> - 2015-09-28 20:31 +0200
                Re: New to the group Chris Curl <ccurl609@gmail.com> - 2015-09-28 13:20 -0700
                Re: New to the group Roelf Toxopeus <rt4all@notthis.hetnet.nl> - 2015-09-28 22:52 +0200
                Re: New to the group Chris Curl <ccurl609@gmail.com> - 2015-09-28 16:40 -0700
                Re: New to the group Alfred Singlestone <vitonis@gmail.com> - 2015-09-28 08:41 -0700
                Re: New to the group "Elizabeth D. Rather" <erather@forth.com> - 2015-09-28 11:41 -1000
                Re: New to the group hughaguilar96@gmail.com - 2015-09-28 21:33 -0700
                Re: New to the group jfong@ms4.hinet.net - 2015-09-28 19:13 -0700
                Re: New to the group rickman <gnuarm@gmail.com> - 2015-09-29 00:51 -0400
                Re: New to the group jfong@ms4.hinet.net - 2015-09-29 18:26 -0700
                Re: New to the group rickman <gnuarm@gmail.com> - 2015-09-29 21:55 -0400
                Re: New to the group Jan Coombs <Jan-54 <jenfhaomndgfwutc@murmic.plus.com>> - 2015-09-30 08:29 +0100
                Re: New to the group jfong@ms4.hinet.net - 2015-09-29 18:52 -0700
                Re: New to the group hughaguilar96@gmail.com - 2015-09-29 00:29 -0700
                Re: New to the group Chris Curl <ccurl609@gmail.com> - 2015-09-29 04:40 -0700
                Re: New to the group Mark Wills <markwills1970@gmail.com> - 2015-09-29 05:24 -0700
                Re: New to the group Chris Curl <ccurl609@gmail.com> - 2015-09-29 07:33 -0700
                Re: New to the group hughaguilar96@gmail.com - 2015-09-29 14:11 -0700
                Re: New to the group "WJ" <w_a_x_man@yahoo.com> - 2015-09-29 16:46 +0000
                Re: New to the group hughaguilar96@gmail.com - 2015-09-29 14:15 -0700
                Re: New to the group rickman <gnuarm@gmail.com> - 2015-09-29 17:34 -0400
                Re: New to the group "WJ" <w_a_x_man@yahoo.com> - 2015-09-30 00:07 +0000
    Re: New to the group Chris Curl <ccurl609@gmail.com> - 2015-09-27 10:54 -0700
  Re: New to the group Paul Rubin <no.email@nospam.invalid> - 2015-09-26 22:37 -0700
    Re: New to the group Chris Curl <ccurl609@gmail.com> - 2015-09-27 10:51 -0700
  Re: New to the group Chris Curl <ccurl609@gmail.com> - 2015-09-29 17:15 -0700
    Re: New to the group rickman <gnuarm@gmail.com> - 2015-09-29 21:58 -0400
      Re: New to the group Chris Curl <ccurl609@gmail.com> - 2015-09-29 22:03 -0700
        Re: New to the group "Elizabeth D. Rather" <erather@forth.com> - 2015-09-29 21:32 -1000
          Re: New to the group Gerry Jackson <gerry@jackson9000.fsnet.co.uk> - 2015-09-30 09:06 +0100
            Re: New to the group "Elizabeth D. Rather" <erather@forth.com> - 2015-09-30 08:58 -1000
              Re: New to the group Mark Wills <markwills1970@gmail.com> - 2015-09-30 23:55 -0700
                Re: New to the group "Elizabeth D. Rather" <erather@forth.com> - 2015-09-30 21:28 -1000
                Re: New to the group rickman <gnuarm@gmail.com> - 2015-10-01 08:25 -0400
                Re: New to the group hughaguilar96@gmail.com - 2015-10-01 09:33 -0700
            Re: New to the group hughaguilar96@gmail.com - 2015-09-30 16:21 -0700
              Re: New to the group "Rod Pemberton" <boo@fasdfrewar.cdm> - 2015-09-30 21:03 -0400
                Re: New to the group "Elizabeth D. Rather" <erather@forth.com> - 2015-09-30 19:34 -1000
                Re: New to the group hughaguilar96@gmail.com - 2015-09-30 23:47 -0700
                Re: New to the group rickman <gnuarm@gmail.com> - 2015-10-01 08:31 -0400
                Re: New to the group "Rod Pemberton" <boo@fasdfrewar.cdm> - 2015-10-02 00:30 -0400
                Re: New to the group "Elizabeth D. Rather" <erather@forth.com> - 2015-10-01 19:22 -1000
                Re: New to the group hughaguilar96@gmail.com - 2015-10-01 23:52 -0700
                Re: New to the group Mark Wills <markwills1970@gmail.com> - 2015-10-02 01:52 -0700
                Re: New to the group "Elizabeth D. Rather" <erather@forth.com> - 2015-10-02 08:36 -1000
                Re: New to the group rickman <gnuarm@gmail.com> - 2015-10-02 17:00 -0400
                Re: New to the group Chris Curl <ccurl609@gmail.com> - 2015-10-02 14:46 -0700
                Re: New to the group rickman <gnuarm@gmail.com> - 2015-10-02 18:10 -0400
                Re: New to the group Paul Rubin <no.email@nospam.invalid> - 2015-10-02 16:08 -0700
                Re: New to the group "Rod Pemberton" <boo@fasdfrewar.cdm> - 2015-10-02 20:44 -0400
                Re: New to the group David Thompson <dave.thompson2@verizon.net> - 2015-10-31 06:54 -0400
                Re: New to the group "Rod Pemberton" <too@zxcvfeqad.cdm> - 2015-11-02 02:34 -0500
                Re: New to the group David Thompson <dave.thompson2@verizon.net> - 2015-12-22 06:45 -0500
                Re: New to the group "Rod Pemberton" <too@zxcvfeqad.cdm> - 2015-11-02 02:34 -0500
                Re: New to the group "Elizabeth D. Rather" <erather@forth.com> - 2015-10-02 15:16 -1000
                Re: New to the group Paul Rubin <no.email@nospam.invalid> - 2015-10-02 18:21 -0700
                Re: New to the group "Elizabeth D. Rather" <erather@forth.com> - 2015-10-02 15:38 -1000
                Re: New to the group rickman <gnuarm@gmail.com> - 2015-10-02 22:13 -0400
                Re: New to the group Gerry Jackson <gerry@jackson9000.fsnet.co.uk> - 2015-10-03 22:24 +0100
                Re: New to the group rickman <gnuarm@gmail.com> - 2015-10-03 17:33 -0400
          Re: New to the group hughaguilar96@gmail.com - 2015-09-30 17:00 -0700
            Re: New to the group "Rod Pemberton" <boo@fasdfrewar.cdm> - 2015-09-30 20:38 -0400
            Re: New to the group Walter Banks <walter@bytecraft.com> - 2015-10-02 14:37 -0400
              Re: New to the group rickman <gnuarm@gmail.com> - 2015-10-02 17:01 -0400
              Re: New to the group hughaguilar96@gmail.com - 2015-10-02 23:35 -0700
        Re: New to the group "Rod Pemberton" <boo@fasdfrewar.cdm> - 2015-09-30 18:11 -0400
          Re: New to the group Coos Haak <chforth@hccnet.nl> - 2015-10-01 02:13 +0200
    Re: New to the group Gerry Jackson <gerry@jackson9000.fsnet.co.uk> - 2015-09-30 08:38 +0100
      Re: New to the group Walter Banks <walter@bytecraft.com> - 2015-09-30 10:58 -0400
  Re: New to the group Chris Curl <ccurl609@gmail.com> - 2015-10-01 06:04 -0700
    Re: New to the group rickman <gnuarm@gmail.com> - 2015-10-01 09:46 -0400
    Re: New to the group anton@mips.complang.tuwien.ac.at (Anton Ertl) - 2015-10-08 06:07 +0000
      Re: New to the group Alfred Singlestone <vitonis@gmail.com> - 2015-10-09 04:04 -0700
        Re: New to the group rickman <gnuarm@gmail.com> - 2015-10-09 10:29 -0400
        Re: New to the group anton@mips.complang.tuwien.ac.at (Anton Ertl) - 2015-10-09 15:30 +0000
  Re: New to the group lehs <skydda.barnen@gmail.com> - 2015-10-03 00:19 -0700
    Re: New to the group visualforth@rocketmail.com - 2015-10-03 17:01 -0700
    Re: New to the group anton@mips.complang.tuwien.ac.at (Anton Ertl) - 2015-10-08 06:38 +0000
      Re: New to the group "Elizabeth D. Rather" <erather@forth.com> - 2015-10-07 21:15 -1000
        Minimal wordset (was: New to the group) anton@mips.complang.tuwien.ac.at (Anton Ertl) - 2015-10-08 13:39 +0000
          Re: Minimal wordset (was: New to the group) JUERGEN <epldfpga@aol.com> - 2015-10-08 08:13 -0700
            Re: Minimal wordset (was: New to the group) Mark Wills <markwills1970@gmail.com> - 2015-10-09 00:55 -0700
              Re: Minimal wordset Lars Brinkhoff <lars.spam@nocrew.org> - 2015-10-09 10:43 +0200
                Re: Minimal wordset Chris Curl <ccurl609@gmail.com> - 2015-10-09 06:56 -0700
                Re: Minimal wordset Lars Brinkhoff <lars.spam@nocrew.org> - 2015-10-09 19:44 +0200
                Re: Minimal wordset Paul Rubin <no.email@nospam.invalid> - 2015-10-09 14:02 -0700
                Re: Minimal wordset Jan Coombs <Jan-54 <jenfhaomndgfwutc@murmic.plus.com>> - 2015-10-10 09:44 +0100
                Re: Minimal wordset anton@mips.complang.tuwien.ac.at (Anton Ertl) - 2015-10-10 11:36 +0000
                Re: Minimal wordset lehs <skydda.barnen@gmail.com> - 2015-10-09 08:40 -0700
                Re: Minimal wordset Lars Brinkhoff <lars.spam@nocrew.org> - 2015-10-09 19:53 +0200
                Re: Minimal wordset lehs <skydda.barnen@gmail.com> - 2015-10-09 11:22 -0700
                Re: Minimal wordset JUERGEN <epldfpga@aol.com> - 2015-10-09 11:33 -0700
                Re: Minimal wordset Lars Brinkhoff <lars.spam@nocrew.org> - 2015-10-09 20:38 +0200
                Re: Minimal wordset stephen@mpeforth.com (Stephen Pelc) - 2015-10-09 20:56 +0000
                Re: Minimal wordset rickman <gnuarm@gmail.com> - 2015-11-01 20:10 -0500
                Re: Minimal wordset Coos Haak <chforth@hccnet.nl> - 2015-11-02 03:05 +0100
                Re: Minimal wordset "Elizabeth D. Rather" <erather@forth.com> - 2015-11-01 16:08 -1000
                Re: Minimal wordset stephen@mpeforth.com (Stephen Pelc) - 2015-11-02 09:35 +0000
                Re: Minimal wordset anton@mips.complang.tuwien.ac.at (Anton Ertl) - 2015-11-02 12:42 +0000
                Re: Minimal wordset humptydumpty <ouatubi@gmail.com> - 2015-11-08 23:22 -0800
                Re: Minimal wordset rickman <gnuarm@gmail.com> - 2015-11-03 11:25 -0500
                Re: Minimal wordset stephen@mpeforth.com (Stephen Pelc) - 2015-11-03 19:36 +0000
                Re: Minimal wordset "HAA" <someone@microsoft.com> - 2015-11-08 12:56 +1100
                Re: Minimal wordset stephen@mpeforth.com (Stephen Pelc) - 2015-11-08 16:14 +0000
                Re: Minimal wordset "HAA" <someone@microsoft.com> - 2015-11-09 11:55 +1100
                Re: Minimal wordset anton@mips.complang.tuwien.ac.at (Anton Ertl) - 2015-11-02 09:41 +0000
                Re: Minimal wordset rickman <gnuarm@gmail.com> - 2015-11-03 11:29 -0500
                Re: Minimal wordset anton@mips.complang.tuwien.ac.at (Anton Ertl) - 2015-11-03 17:01 +0000
                Re: Minimal wordset JUERGEN <epldfpga@aol.com> - 2015-10-09 11:27 -0700
            Re: Minimal wordset (was: New to the group) "Rod Pemberton" <boo@fasdfrewar.cdm> - 2015-10-09 23:11 -0400
              Re: Minimal wordset (was: New to the group) Jan Coombs <Jan-54 <jenfhaomndgfwutc@murmic.plus.com>> - 2015-10-10 08:38 +0100
      Re: New to the group dunno <dunno@dunno.dunno> - 2015-10-14 23:14 +0000
        Re: New to the group "Elizabeth D. Rather" <erather@forth.com> - 2015-10-14 16:21 -1000
        Re: New to the group anton@mips.complang.tuwien.ac.at (Anton Ertl) - 2015-10-15 08:46 +0000
  Re: New to the group Chris Curl <ccurl609@gmail.com> - 2015-10-03 09:23 -0700
    Re: New to the group "Elizabeth D. Rather" <erather@forth.com> - 2015-10-03 09:19 -1000
  Re: New to the group lehs <skydda.barnen@gmail.com> - 2015-10-08 05:24 -0700
    Re: New to the group "Elizabeth D. Rather" <erather@forth.com> - 2015-10-08 08:22 -1000
      Re: New to the group lehs <skydda.barnen@gmail.com> - 2015-10-09 08:37 -0700
  Re: New to the group Chris Curl <ccurl609@gmail.com> - 2015-10-31 10:44 -0700

csiph-web