Was there a populist (home) mining fad? People got excited about digging for possible resources and dug crude exploratory tunnels?
Try some peñas folklóricas.
The people in that list all sound sketchy. Where are the "good guys"?
That's the HDL, and not the inherent design complexity.
Fediverse: https://mastodon.social/@elonjet
See also https://www.cs.cmu.edu/afs/cs/academic/class/15740-f18/www/p... and Gharachorloo's thesis paper.
Probably "A Primer on Memory Consistency and Cache Coherence"
It would be interesting to see this interact with the lower-level ISA memory model work in diy, litmus, etc. Could you validate your ISA memory models against the generated litmus tests in…
If you like following historical diaries, @samuelpepys is hard to beat.
I used to go to Sundown yearly, a long time ago. I'm not saying it's great, but I did learn to ski there. https://www.sundownmtn.com/the-mountain/snow-report-trail-ma...
Consider a separate architect to design the place with you. They can help find a general contractor to be the "builder", but also serve as an owner's representative to oversee construction intent. They want the design…
This organization of functionality is intentional. It provides support for code modification orthogonal to instruction cache coherency support. The range of types of implementations of RISC-V is broad enough that…
This in-depth presentation is good: https://www.youtube.com/watch?v=oTaOd8qr53U
Ventana Micro Systems | Software Engineer | San Francisco Area, Pune, Bangalore | ONSITE (except COVID-19) REMOTE (US, possible) VISA | Full Time | http://ventanamicro.com We are a well-funded start-up, founded by…
This was clarified this year. I think the author's context is moving from Bare to one of the Sv modes. https://github.com/riscv/riscv-isa-manual/commit/866326d938c...
Ventana Micro Systems | Software or Design Verification Engineer | San Francisco Area, Pune, Bangalore | ONSITE (except COVID-19) REMOTE (US, possible) VISA | Full Time | ventanamicro.com Ventana Micro Systems is a…
In my experience, writing a formal specification _once_ in TLA+ has shaped my mindset around architecture, implementation, and verification of distributed systems for the last 19 years. It's easier to provide feedback…
There's little open development, so there's little incentive to write up public articles. You could try something like Bob Colwell's "The Pentium Chronicles".
The amount of effort spent on what is generally called "functional verification" is much higher for hardware than for software. Also, the specifications tend to be clearer and the source code size is smaller than you…
I use greencine.com
Was there a populist (home) mining fad? People got excited about digging for possible resources and dug crude exploratory tunnels?
Try some peñas folklóricas.
The people in that list all sound sketchy. Where are the "good guys"?
That's the HDL, and not the inherent design complexity.
Fediverse: https://mastodon.social/@elonjet
See also https://www.cs.cmu.edu/afs/cs/academic/class/15740-f18/www/p... and Gharachorloo's thesis paper.
Probably "A Primer on Memory Consistency and Cache Coherence"
It would be interesting to see this interact with the lower-level ISA memory model work in diy, litmus, etc. Could you validate your ISA memory models against the generated litmus tests in…
If you like following historical diaries, @samuelpepys is hard to beat.
I used to go to Sundown yearly, a long time ago. I'm not saying it's great, but I did learn to ski there. https://www.sundownmtn.com/the-mountain/snow-report-trail-ma...
Consider a separate architect to design the place with you. They can help find a general contractor to be the "builder", but also serve as an owner's representative to oversee construction intent. They want the design…
This organization of functionality is intentional. It provides support for code modification orthogonal to instruction cache coherency support. The range of types of implementations of RISC-V is broad enough that…
This in-depth presentation is good: https://www.youtube.com/watch?v=oTaOd8qr53U
Ventana Micro Systems | Software Engineer | San Francisco Area, Pune, Bangalore | ONSITE (except COVID-19) REMOTE (US, possible) VISA | Full Time | http://ventanamicro.com We are a well-funded start-up, founded by…
This was clarified this year. I think the author's context is moving from Bare to one of the Sv modes. https://github.com/riscv/riscv-isa-manual/commit/866326d938c...
Ventana Micro Systems | Software or Design Verification Engineer | San Francisco Area, Pune, Bangalore | ONSITE (except COVID-19) REMOTE (US, possible) VISA | Full Time | ventanamicro.com Ventana Micro Systems is a…
In my experience, writing a formal specification _once_ in TLA+ has shaped my mindset around architecture, implementation, and verification of distributed systems for the last 19 years. It's easier to provide feedback…
There's little open development, so there's little incentive to write up public articles. You could try something like Bob Colwell's "The Pentium Chronicles".
The amount of effort spent on what is generally called "functional verification" is much higher for hardware than for software. Also, the specifications tend to be clearer and the source code size is smaller than you…
I use greencine.com