6 ms·

System Verilog is the C++ of chip design. It sucks, but it’s everywhere and tied into everything. Like C++ there are so many ways to write dangerous code. We do

System Verilog is the C++ of chip design. It sucks, but it’s everywhere and tied into everything. Like C++ there are so many ways to write dangerous code. We do need a new chip design language but it’s going to take something special to move the needle.

bb88 3y ago
30 years or so ago, there were a handful of programming languages in regular use: C/C++/Assembly/Ada/Fortran/Pascal. Now there's 100x more that people use professionally. I always wondered what would happen if hardware engineers bothered to learn compiler theory. Maybe this could have been a solved problem decades ago.
- vrinsd 3y ago
  This is a pretty heavy handed statement -- there are plenty of "hardware engineers" who know plenty about compiler theory and/or have contributed significantly to it. A similarly flippant comment might be "if software engineers only understood hardware better we might have smartphones that last a month on a charge and never crash". The challenge with hardware is that unlike "traditional" software which compiles to a fixed instruction set architecture, with hardware you might literally be defining the ISA as part of your design. In hardware you can go from LEGO style gluing pre-existing building blocks to creating the building blocks and THEN gluing it together, with everything in-between. The real crux of the problem is likely our modern implementation of economics -- a CS graduate who has base-level experience can bank roll a crazy salary that some guy who might have a BSEE, MSEE and PhD in Electrical Engineering ("hardware") will be lucky to get a job offer that's even enough to cover costs of education. Until the "industry" values hardware and those who want to improve it, you'll likely see slow progress. P.S. VHDL (a commonly-used hardware description language) is more or less ADA. Personally I think the choice of ADA syntax was NOT a positive for hardware design but the type-safety and verbosity being a very apt fit for software.
  - anfilt 3y ago
    Despite how verbose it is, I honestly like working with VHDL more than Verilog.
    - bb88 3y ago
      And Ada is really an underappreciated language. Still not perfect, but Spark makes it super interesting.
  - pillusmany 3y ago
    Big software companies create and open source stuff which makes them more productive. Why doesn't this dynamic work in hardware? Wouldn't "valuing hardware" improve their competitiveness?
    - bb88 3y ago
      Well... no. I believe this to be a cultural difference as well as an economic one. The marginal cost of open source software is $0. But if you license an ARM core, you're paying money for it (like Apple is doing for the M-series processors). ARM has to make money somehow for the development of it's core. Open source software reduced risk -- though it took a while. And the reduction of risk was valued by most companies who wrote software, or relied upon it for it's profit stream. Major software corporations at the time (IBM, Microsoft) only increased the risk in the 1980/90's, because they were mostly rent seeking. Most problems were seen over and over and over again, hence they could be solved with software. And when the Microsoft failed to solve them, the open source community did. In hardware there's only a handful of companies, and open sourcing anything might lead to a competitive disadvantage. So whatever tooling AMD has, they're not going to share with Intel. Also when you're paying ARM for a license, you're getting a good core, and a lot of good support.
  - bb88 3y ago
    > "if software engineers only understood hardware better we might have smartphones that last a month on a charge and never crash". I mean... is that wrong, though? In 2024, C++ will still segfault -- 45 years after it's creation in 1979. No one steering the language seems to be bothered by it. Even Bjarne Stroustrup works in the financial industry now raking in the large paychecks. Turns out, I'm pretty cynical of software as well. Look, I'm not saying "Software is the utmost gloriousness that will save humanity!" But what I am saying is that hardware does seem to have fallen well behind software in terms of tooling. VHDL and Verilog are still the tools used to describe hardware today as they were 30 years ago. If you can fix the barrier to entry into hardware, you'll probably increase the demand for custom hardware.
- imtringued 3y ago
  You mean if compiler theorists learned about parallel processing...
- wbl 3y ago
  This is really a list of the survivors. Tcl was big in the early 1990's, and Objective-C was around on NeXT and other boxes. Perl was rapidly becoming the glue that holds the web together. Lisp was embedded into a lot of programs, as it is now for extensibility. It's also overstating Fortran's role, which is much like todays niche. It's very hard to have an objective view of what programming language success and popularity looks like over that long a time, but I think that today there is a much narrower happy path. Either you're a dynamically typed multiparadgram language that's mostly imperative and OO in practice (Ruby, Python, Javascript), a statically typed object imperative language with brackets (C#, Go, Java), or Rust (where a lot of people don't realize how good GCs got instead). Not a ton of Haskell or SML inspired new languages. By contrast in the 1980-1990s there were serious questions about which of Pascal, C, Objective-C, Smalltalk, C++, was going to win out for the dominant language a system is built in. Stuff like Display PostScript depended in a deep way on exposing programing languages to the engineers who had to work with it that were pretty alien.
  - igouy 3y ago
    > Not a ton of Haskell or SML inspired new languages. "The Rust Reference: Influences" includes SML and Haskell. https://doc.rust-lang.org/reference/influences.html https://doc.rust-lang.org/reference/influences.html
fpgamlirfanboy 3y ago
> It sucks, but it’s everywhere and tied into everything. meh lots of places aren't actually programming system verilog - they're using python/perl to generate it. that's not the same thing.
- kimmeld 3y ago
  Mangling the quote about regexes… http://regex.info/blog/2006-09-15/247 http://regex.info/blog/2006-09-15/247 Some people when confronted with a problem, think “I know, I’ll use a different language to generate another language.” Now they have two problems.

bb88 3y ago

30 years or so ago, there were a handful of programming languages in regular use: C/C++/Assembly/Ada/Fortran/Pascal. Now there's 100x more that people use professionally. I always wondered what would happen if hardware engineers bothered to learn compiler theory. Maybe this could have been a solved problem decades ago.

vrinsd 3y ago
This is a pretty heavy handed statement -- there are plenty of "hardware engineers" who know plenty about compiler theory and/or have contributed significantly to it. A similarly flippant comment might be "if software engineers only understood hardware better we might have smartphones that last a month on a charge and never crash". The challenge with hardware is that unlike "traditional" software which compiles to a fixed instruction set architecture, with hardware you might literally be defining the ISA as part of your design. In hardware you can go from LEGO style gluing pre-existing building blocks to creating the building blocks and THEN gluing it together, with everything in-between. The real crux of the problem is likely our modern implementation of economics -- a CS graduate who has base-level experience can bank roll a crazy salary that some guy who might have a BSEE, MSEE and PhD in Electrical Engineering ("hardware") will be lucky to get a job offer that's even enough to cover costs of education. Until the "industry" values hardware and those who want to improve it, you'll likely see slow progress. P.S. VHDL (a commonly-used hardware description language) is more or less ADA. Personally I think the choice of ADA syntax was NOT a positive for hardware design but the type-safety and verbosity being a very apt fit for software.
- anfilt 3y ago
  Despite how verbose it is, I honestly like working with VHDL more than Verilog.
  - bb88 3y ago
    And Ada is really an underappreciated language. Still not perfect, but Spark makes it super interesting.
- pillusmany 3y ago
  Big software companies create and open source stuff which makes them more productive. Why doesn't this dynamic work in hardware? Wouldn't "valuing hardware" improve their competitiveness?
  - bb88 3y ago
    Well... no. I believe this to be a cultural difference as well as an economic one. The marginal cost of open source software is $0. But if you license an ARM core, you're paying money for it (like Apple is doing for the M-series processors). ARM has to make money somehow for the development of it's core. Open source software reduced risk -- though it took a while. And the reduction of risk was valued by most companies who wrote software, or relied upon it for it's profit stream. Major software corporations at the time (IBM, Microsoft) only increased the risk in the 1980/90's, because they were mostly rent seeking. Most problems were seen over and over and over again, hence they could be solved with software. And when the Microsoft failed to solve them, the open source community did. In hardware there's only a handful of companies, and open sourcing anything might lead to a competitive disadvantage. So whatever tooling AMD has, they're not going to share with Intel. Also when you're paying ARM for a license, you're getting a good core, and a lot of good support.
- bb88 3y ago
  > "if software engineers only understood hardware better we might have smartphones that last a month on a charge and never crash". I mean... is that wrong, though? In 2024, C++ will still segfault -- 45 years after it's creation in 1979. No one steering the language seems to be bothered by it. Even Bjarne Stroustrup works in the financial industry now raking in the large paychecks. Turns out, I'm pretty cynical of software as well. Look, I'm not saying "Software is the utmost gloriousness that will save humanity!" But what I am saying is that hardware does seem to have fallen well behind software in terms of tooling. VHDL and Verilog are still the tools used to describe hardware today as they were 30 years ago. If you can fix the barrier to entry into hardware, you'll probably increase the demand for custom hardware.
imtringued 3y ago
You mean if compiler theorists learned about parallel processing...
wbl 3y ago
This is really a list of the survivors. Tcl was big in the early 1990's, and Objective-C was around on NeXT and other boxes. Perl was rapidly becoming the glue that holds the web together. Lisp was embedded into a lot of programs, as it is now for extensibility. It's also overstating Fortran's role, which is much like todays niche. It's very hard to have an objective view of what programming language success and popularity looks like over that long a time, but I think that today there is a much narrower happy path. Either you're a dynamically typed multiparadgram language that's mostly imperative and OO in practice (Ruby, Python, Javascript), a statically typed object imperative language with brackets (C#, Go, Java), or Rust (where a lot of people don't realize how good GCs got instead). Not a ton of Haskell or SML inspired new languages. By contrast in the 1980-1990s there were serious questions about which of Pascal, C, Objective-C, Smalltalk, C++, was going to win out for the dominant language a system is built in. Stuff like Display PostScript depended in a deep way on exposing programing languages to the engineers who had to work with it that were pretty alien.
- igouy 3y ago
  > Not a ton of Haskell or SML inspired new languages. "The Rust Reference: Influences" includes SML and Haskell. https://doc.rust-lang.org/reference/influences.html https://doc.rust-lang.org/reference/influences.html

fpgamlirfanboy 3y ago

> It sucks, but it’s everywhere and tied into everything. meh lots of places aren't actually programming system verilog - they're using python/perl to generate it. that's not the same thing.

kimmeld 3y ago
Mangling the quote about regexes… http://regex.info/blog/2006-09-15/247 http://regex.info/blog/2006-09-15/247 Some people when confronted with a problem, think “I know, I’ll use a different language to generate another language.” Now they have two problems.