Viewing profile — microarchitect

Something a lot of bitcoiners don't seem to realize: the security of a blockchain is entirely due to the fact that it is too expensive to attack it. If your blockchain is "secured"…

How good is the compiler? To paraphrase David Patterson, its easy to get really great IPC for code from a shitty compiler, but that doesn't mean your program will run faster.

There's been a few different proposals to use functional languages to write hardware: Chisel ( https://chisel.eecs.berkeley.edu/ ) and Bluespec ( http://www.bluespec.com/ ) are two…

It's definitely colonialism and the effect of modern western media. I know this because I grew up seeing this change happen in India. Today in India everyone (obviously an unfair g…

I'm not sure if I understand what you mean by accuracy. This is not a probabilistic analysis. The solver considers the space of all possible outcomes for each match and returns sat…

Honestly, 8/16b ints in C and C++ are just a minefield of problems. Here's a snippet from an open source 8051 simulator that I was debugging today: if( ((RAM[ACC] & 0xF0) >> 4) > 9…

I am not the OP, but I'm using Z3 in my research to help with the formal verification of hardware and firmware. My problem is as follows. I have a microcontroller which runs firmwa…

This is the #1 reason why I won't stay in the US after my phd. I have no interest in being a random CEO whim away from either having to uproot my life and move back home or frantic…

You have way too much time on your hands if you are considering review requests from people you don't know.

What makes a conference good isn't the IEEE label but rather the reputation of the conference itself and its corresponding ability to attract a high quality program committee. The …

The IEEE label isn't an indicator of quality and similar papers have been published in IEEE sponsored conferences. See http://diehimmelistschoen.blogspot.com/ and http://pdos.csail…

I was in Bangalore some weeks ago and I tried the query "OK google, directions to vidyarthi bhavan." And it worked perfectly. I was amazed! The first thing that amazed me was that …

What they are missing is that it's not performance per watt, but performance per watt per dollar. Intel may be able to build lower power/faster chips but their foundries aren't che…

Although SAT is indeed NP-complete, modern solvers are ridiculously fast for the kinds of SAT queries that appear in scenarios like hardware model checking and verification. It's n…

In terms of applicability, SMT (satisfiability module theory) solvers basically allow you to do things which are slightly more complex than plain SAT solving. If you're looking to …

Some thoughts on this issue. Some of these have been expressed by others like pg already. 1. Workers are not a commodity and not interchangeable. You can't a take a network-layer p…

Thanks for that that those very interesting links. But I still don't think that is what is going on here. In designs which rename using the ROB, the register file holds values prod…

Sorry, this explanation is almost surely incorrect. How long something is available on the bypass network is determined by how long the instruction that produces the value takes to…

Deeper pipelines have higher clock frequencies but this comes at the cost of lower instructions per clock (IPC). Roughly speaking, asking for a shallower pipe essentially boils dow…

Overstaying on an F1 visa is quite hard because the school is required to report all changes in academic status through the SEVIS database. If you want to stay and work go through …

This is not as easy you make it sound. First, when entering the US, the immigration officials verify whether student status is valid using the SEVIS database. Second, all changes t…