Kevin Laeufer

Thanks carlos! Could you add a example/test please?

> I'm trying to write a test case but it complains it's not in a Builder context: You need to put your code into a chisel Module. Unfortunately most chisel...

@tymcauley maybe you could describe some more details about your use case. How exactly do you plan to integrate the SRAM macros? Are there any special pins or parameters for...

@tymcauley Do you know if chipyard used the `ReplSeqMem` transform to do the blackboxing? That one is currently limited to a small sub-set of supported firrtl memories: > i.e. rw,...

> How can I make it not require the `(new DecType)` and be able to accept the `DecType` directly? `new DecType` is correct. This stems from the fact that Scala...

I want to say that this whole decoder thing seems to have a significant disadvantage compared to the old list lookup, namely it looks like you have to concatenate together...

> Yes, APIs for decoder is pretty primitive, I have been thinking adding a new dataview based API to view instructions as decode result. I'll prototype it this weekend(Sorry I...

> I got them together and published locally to try on my core and got some nice code as can be seen in The part that I thought was rather...

Looks good to me. With one of @carlosedp's PRs, we could even simplify: ``` b.c -> BitPat(MyEnum.sB.litValue.U) ``` to ``` b.c -> BitPat(MyEnum.sB) ```

> Is there a way to specify constant arrays (arrays with all indices mapped to a default value) using Yices C API? I am wondering the same thing. I was...