Viewing profile — saigovardhan

He does have a great collection of hoodies :)

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…

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…

Thanks!

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 …

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.

Knowing how Dieter Rams inspired the Apple ecosystem, this beautiful iPhone dock is a testament to his ten principles of good design!