Lately I was wondering if we could design hardware inspired on Program Algebra
(PGA) and Maurer Computers.
PGA is an algebraic framework for sequential programming. PGA's creator Jan
Bergstra writes in Why PGA?:
> We have spotted Maurer's 1967 JACM paper on 'A theory of computer
> instructions
>
> Probably crazy expensive compute because I'm doing two things that don't
> want to sleep in the same room... verifying correctness (think a lot of
> tests in some test language) and optimization (convergence on some set of
> perf metrics.)
You might be interested in some work by Juergen Schmi
Oh, I was mostly fishing to see if anyone was doing anything fun with hardware
description.
The present time sees a bigger trade between performance and power consumption,
but that's all in the realm of optimization.
A mentor of mine in the software world once said something to me to the effe
Could you clarify what you're thinking about? Is your question about
metaprogramming of Verilog (with an implicit assumption that Verilog will
save battery life)?
I've spent much time thinking about language and protocol design to extend
battery resources. I happen to think the real wins are at hi
Since I'm running out of battery, and my adder is starting to go oh so
slowly, I thought I might challenge the lovely people of the list to make
it stop draining my battery so quickly.
:D
My first challenge idea was for someone to make it stop raining in Seattle,
but I realized that I was asking
