saigovardhan
Joined 3 years ago
Karma
107
Submissions
10
Member since
Mar 31
Recent submissions
Comment · 1 year ago
He does have a great collection of hoodies :)
Comment · 1 year 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 the protocol.
A few serious RISC-V startups use it today as well..
Comment · 1 year 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 hardest problem I solved back in college (the MDSA Hardware Accelerator) and show how better/efficient I was in designing the same.
Comment · 1 year ago
Thanks!
Comment · 1 year 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 legacy Verilog codebase.
This blog is an account of the same, with a walkthrough of the design, comparison results and steps to replicate.
Link to the GitHub repository: https://github.com/govardhnn/Low_Power_Multidimensional_Sort...
Comment · 1 year 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.
Comment · 2 years ago
Knowing how Dieter Rams inspired the Apple ecosystem, this beautiful iPhone dock is a testament to his ten principles of good design!
https://govardhnn.github.io/