6 ms·

Before I put on my cynical hat, I'd like to say that it's pretty impressive stuff for a one-man shop in the 90s. ----- So it seems like OKAD is basically a la

by Cyph0n 9y ago

Before I put on my cynical hat, I'd like to say that it's pretty impressive stuff for a one-man shop in the 90s. ----- So it seems like OKAD is basically a layout editor, simulator, DRC checker, and GDSII compiler. The simulator uses a very simplistic transistor model that would only work at very old process nodes (>350nm?) due to the low impact of parsitics and leakage. Not even a moderately complex digital chip from the mid-90s could be designed and verified using such a simplistic toolchain. To provide a software analogy, Chuck wrote an assembler for a custom assembly dialect targeting e.g. x86, and then directly used that assembler to build an operating system kernel. Given the absence of "higher-level" constructs, the resulting OS will never be as complex as something like an NT kernel, especially due to the difficulty of testing and verification. Going back to circuit design, OKAD will never be able to design a complex digital chip on a state-of-the-art process. It's really nothing more than a simplistic EDA toolchain that would only work on simplistic circuits and fabrication processes. A modern EDA toolchain from e.g. Cadence is many orders of magnitude more complex.

nortiero 9y ago
And ?
- Cyph0n 9y ago
  TL;DR Not really as impressive as it was made out to be.
  - jacquesm 9y ago
    You're entirely missing the point made by Chuck Moore and by extension probably don't understand why his way of looking at programming and the Forth language in particular are a big deal even this long after their invention. This kind of minimalism and stripping things down to their essence is a powerful tool to allow you to focus on what matters rather than at all those things that don't really matter. If you don't actually need 4 GHz chips and billions of transistors to get the job done then why would you? Reliability and simplicity go hand-in-hand.
    - Cyph0n 9y ago
      > This kind of minimalism and stripping things down to their essence is a powerful tool to allow you to focus on what matters rather than at all those things that don't really matter. If you don't actually need 4 GHz chips and billions of transistors to get the job done then why would you? I agree entirely. I just wanted to point out that it's not accurate to equate what Chuck designed (i.e., OKAD) to a modern EDA toolchain and technology node. If it works for him, then great!
      - jacquesm 9y ago
        Nobody equated that. The time when he made his is decades ago, so obviously nothing from those days compared to a modern EDA toolchain and associated bits and pieces. I think you subconsciously added the 'modern' in there somewhere and then argued against that.
        Cyph0n 9y ago
        You might actually be right. When I read this: > He wrote his own chip design software and analog simulator I immediately thought of a modern toolchain. Had I known that this was done decades ago, I might have reacted differently. Nonetheless, even decades ago, both Cadence and Synopsys likely had pretty advanced tools under development. I may be mistaken though.
        pantulis 9y ago
        Heh, I remember running Solo 2030 on Motorola-based Sun workstations almost 25 years ago...
        amalawi 9y ago
        Moore mentioned these in passing at the end if the link https://colorforth.github.io/1percent.html https://colorforth.github.io/1percent.html He was stressing the solution fits the problem. Not a solution which can cover/contain the problem
    - eadmund 9y ago
Avshalom 9y ago
>>modern EDA toolchain from e.g. Cadence is many orders of magnitude more complex. Moore considers that a mangitude of bugs not features. http://yosefk.com/blog/my-history-with-forth-stack-machines.html http://yosefk.com/blog/my-history-with-forth-stack-machines.... Has some good quotes on it if you scroll down to the end
trhway 9y ago
>Given the absence of "higher-level" constructs, the resulting OS will never be as complex as something like an NT kernel i wonder whether you've worked with Forth - in my view of Forth (spent 1987-89 mostly in Forth running on 8088 clone based terminal of USSR clone of IBM 360, so Forth is my second language after mandatory Pascal and the first true "computer" love really) what you said is a huge advantage and natural characteristic of Forth, not a deficiency. Everything in the Forth world is like Salvador Dali's clock face plates - flexible/pliable/flowing and you build whatever "higher-level" constructs and complexity levels you need right now and leave them behind the moment you don't need them anymore, create and destroy worlds as you go... In comparison to that the static monstrosity like NT kernel is just dead dusty world of an ancient complex tech civilization who died off under the weight of its own complex tech. To Cyph0n below: man, as an enterprise programmer for 25 years i completely understand and agree with you. As that Forth programmer enjoying it 3 decades ago i can only say to you - you just don't get it :)
- Cyph0n 9y ago
  That was an analogy attempting to explain what OKAD does. The kernel represents the circuit being designed, while the assembler represents the OKAD toolchain. The goal of the analogy was to demonstrate that OKAD is not suitable for designing large circuits, just like using assembly to write a modern kernel is not practical.
  - evincarofautumn 9y ago
    Well, presumably it’s not meant to be suitable for designing large/complex circuits, but rather to solve just the specific problems that Moore had when he wanted to make a chip. That’s an essential part of Forth philosophy: write only and exactly what you need. Forth itself is designed this way, to be the minimal useful tool you can bootstrap in a few dozen instructions on a chip with almost no resources.
loup-vaillant 9y ago
> Not even a moderately complex digital chip from the mid-90s could be designed and verified using such a simplistic toolchain. Maybe he didn't want to design a moderately complex chip to begin with? His 144 core chip is likely very simple. OKAD may have been sufficient.
Avshalom 9y ago
Oh N.B. I just looked it up the GA144 is fabbed at 150nm

by Cyph0n 9y ago

nortiero 9y ago

And ?

Cyph0n 9y ago
TL;DR Not really as impressive as it was made out to be.
- jacquesm 9y ago
  You're entirely missing the point made by Chuck Moore and by extension probably don't understand why his way of looking at programming and the Forth language in particular are a big deal even this long after their invention. This kind of minimalism and stripping things down to their essence is a powerful tool to allow you to focus on what matters rather than at all those things that don't really matter. If you don't actually need 4 GHz chips and billions of transistors to get the job done then why would you? Reliability and simplicity go hand-in-hand.
  - Cyph0n 9y ago
    > This kind of minimalism and stripping things down to their essence is a powerful tool to allow you to focus on what matters rather than at all those things that don't really matter. If you don't actually need 4 GHz chips and billions of transistors to get the job done then why would you? I agree entirely. I just wanted to point out that it's not accurate to equate what Chuck designed (i.e., OKAD) to a modern EDA toolchain and technology node. If it works for him, then great!
    - jacquesm 9y ago
      Nobody equated that. The time when he made his is decades ago, so obviously nothing from those days compared to a modern EDA toolchain and associated bits and pieces. I think you subconsciously added the 'modern' in there somewhere and then argued against that.
      - Cyph0n 9y ago
        You might actually be right. When I read this: > He wrote his own chip design software and analog simulator I immediately thought of a modern toolchain. Had I known that this was done decades ago, I might have reacted differently. Nonetheless, even decades ago, both Cadence and Synopsys likely had pretty advanced tools under development. I may be mistaken though.
        pantulis 9y ago
        Heh, I remember running Solo 2030 on Motorola-based Sun workstations almost 25 years ago...
        amalawi 9y ago
        Moore mentioned these in passing at the end if the link https://colorforth.github.io/1percent.html https://colorforth.github.io/1percent.html He was stressing the solution fits the problem. Not a solution which can cover/contain the problem
  - eadmund 9y ago

Avshalom 9y ago

>>modern EDA toolchain from e.g. Cadence is many orders of magnitude more complex. Moore considers that a mangitude of bugs not features. http://yosefk.com/blog/my-history-with-forth-stack-machines.html http://yosefk.com/blog/my-history-with-forth-stack-machines.... Has some good quotes on it if you scroll down to the end

trhway 9y ago

>Given the absence of "higher-level" constructs, the resulting OS will never be as complex as something like an NT kernel i wonder whether you've worked with Forth - in my view of Forth (spent 1987-89 mostly in Forth running on 8088 clone based terminal of USSR clone of IBM 360, so Forth is my second language after mandatory Pascal and the first true "computer" love really) what you said is a huge advantage and natural characteristic of Forth, not a deficiency. Everything in the Forth world is like Salvador Dali's clock face plates - flexible/pliable/flowing and you build whatever "higher-level" constructs and complexity levels you need right now and leave them behind the moment you don't need them anymore, create and destroy worlds as you go... In comparison to that the static monstrosity like NT kernel is just dead dusty world of an ancient complex tech civilization who died off under the weight of its own complex tech. To Cyph0n below: man, as an enterprise programmer for 25 years i completely understand and agree with you. As that Forth programmer enjoying it 3 decades ago i can only say to you - you just don't get it :)

Cyph0n 9y ago
That was an analogy attempting to explain what OKAD does. The kernel represents the circuit being designed, while the assembler represents the OKAD toolchain. The goal of the analogy was to demonstrate that OKAD is not suitable for designing large circuits, just like using assembly to write a modern kernel is not practical.
- evincarofautumn 9y ago
  Well, presumably it’s not meant to be suitable for designing large/complex circuits, but rather to solve just the specific problems that Moore had when he wanted to make a chip. That’s an essential part of Forth philosophy: write only and exactly what you need. Forth itself is designed this way, to be the minimal useful tool you can bootstrap in a few dozen instructions on a chip with almost no resources.

loup-vaillant 9y ago

> Not even a moderately complex digital chip from the mid-90s could be designed and verified using such a simplistic toolchain. Maybe he didn't want to design a moderately complex chip to begin with? His 144 core chip is likely very simple. OKAD may have been sufficient.

Avshalom 9y ago

Oh N.B. I just looked it up the GA144 is fabbed at 150nm