Sungkeun Kim
Sungkeun Kim
Hi, First, I appreciate your hard work on SVF. This is a really good tool. I'm trying to use this tool to analyze the program using WPA and instrument input...
### Background Work - [X] Yes, I searched the [mailing list](https://groups.google.com/forum/#!forum/chipyard) - [X] Yes, I searched [prior issues](https://github.com/ucb-bar/chipyard/issues) - [X] Yes, I searched the [documentation](https://chipyard.readthedocs.io/) ### Chipyard Version and Hash...
Hi, firstly, thank you very much for sharing your work. I really enjoyed reading your paper so I am trying to run your implementation. However, when I just run your...
### Background Work - [X] Yes, I searched the [mailing list](https://groups.google.com/forum/#!forum/chipyard) - [X] Yes, I searched [prior issues](https://github.com/ucb-bar/chipyard/issues) - [X] Yes, I searched the [documentation](https://chipyard.readthedocs.io/) ### Chipyard Version and Hash...
Hello, I've found an inconsisten description about the encoding of shift instructions in RV64I. In page 36 (V20191213), specifically, it mentions that `"The right shift type is encoded in bit...
### Background Work - [X] Yes, I searched the [mailing list](https://groups.google.com/forum/#!forum/chipyard) - [X] Yes, I searched [prior issues](https://github.com/ucb-bar/chipyard/issues) - [X] Yes, I searched the [documentation](https://chipyard.readthedocs.io/) ### Chipyard Version and Hash...
Please refer to the issue page below. https://github.com/ucb-bar/chipyard/issues/1888 **Related issue**: https://github.com/ucb-bar/chipyard/issues/1888 **Type of change**: bug report **Impact**: Affect custom user field of TL Channels **Development Phase**: proposal | implementation **Release...