Hacker News Reader

saigovardhanon A High-Level View of TLA+

He does have a great collection of hoodies :)

saigovardhanon A High-Level View of TLA+

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..

saigovardhanon A Compelling Case for Using BSV (Bluespec SystemVerilog) in Academia

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.

saigovardhanon A Compelling Case for Using BSV (Bluespec SystemVerilog) in Academia

Thanks!

saigovardhanon A Compelling Case for Using BSV (Bluespec SystemVerilog) in Academia

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...

saigovardhanon The first yearly drop in average CPU performance in its 20 years of benchmarks

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.

saigovardhanon I designed a Dieter Rams-inspired iPhone dock

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