Lofty

I don't think this even requires target-specific changes, just not doing things like writing *a byte at a time* in `memset` would already help targets which have no specific LLVM...

Yeah, probably, since we're probably not going to get this upstreamed. On Wed, 24 Jul 2019, 13:56 Pepijn de Vos, wrote: > Actually I think the right thing to do...

So, multiplication by a constant should get lowered to shifts and adds (`x * 3` == `(x

I've been experimenting with `equiv_opt`, which is a Yosys command designed for proving that the design before and after a pass is equivalent. We might need to go back over...

That article is actually for a bit later in the series! I'll cover that when I get to interconnect. On Sat, 10 Oct 2020, 01:20 Tommy Thorn, wrote: > Interesting...

So I made a small update to this, changing from a `dltxp` to a `dltxn`, because it turns out that it's more efficient to have a negative-true enable in a...

So, first, you need [Yosys](https://github.com/YosysHQ/yosys). Build it with `make -jN`, install it with `sudo make install`. You should now have a command called `yosys`. Next, download Mistral, and set `MISTRAL_ROOT`...

Almost certainly, but I didn't know it at the time :P On Sun, 27 Jun 2021, 15:58 Olivier Galibert, ***@***.***> wrote: > Wouldn't that be part of CMUX* ? >...

I think we should just fix the naming here.

This seems to be a specific form of the DSP cell, which is even more useful.