saigovardhan

3 ms·

1.
by saigovardhan 1y ago
He does have a great collection of hoodies :)
2.
by saigovardhan 1y ago
TLA+ has shown good promise in verifying cache-coherence protocols in multicore systems (a good alternative to CMurphi). An intern an Microsoft one helped uncover a bug in the Xbox 360, right before its 2004 launch - by formally verifying
3.
by saigovardhan 2y ago
Thank you! Yes, the purpose of this blog was to motivate peer hardware designers to switch to a much more intuitive HLHDL like BSV, especially in academia. This was my "skin-in-the-game" approach to travel back in time to the har
4.
by saigovardhan 2y ago
Thanks!
5.
by saigovardhan 2y ago
Author here, When I joined InCore last year, I decided it would be meaningful to redesign my Undergraduate Capstone Project using Bluespec SystemVerilog (An InCore superpower) and contrast the efforts + compare the implementation with the
6.
A Compelling Case for Using BSV (Bluespec SystemVerilog) in Academia(incoresemi.com)
5 points by saigovardhan 2y ago|5 comments
7.
A Compelling Case for Using Bluespec SystemVerilog in Academia(incoresemi.com)
2 points by saigovardhan 2y ago|0 comments
8.
5G networks meet consumer needs as mobile data growth slows(spectrum.ieee.org)
233 points by saigovardhan 2y ago|361 comments
9.
by saigovardhan 2y ago
A good time to popularize the impact on the "Wirth's law" on CPU Performance, aside from the "Moore's law" - shifting focus to Lean Software alongside faster xLP hacks.
10.
by saigovardhan 2y ago
Knowing how Dieter Rams inspired the Apple ecosystem, this beautiful iPhone dock is a testament to his ten principles of good design!