Skip to content

Instantly share code, notes, and snippets.

View SiddheshKukade's full-sized avatar
💻
Coding Probably

Siddhesh Bhupendra Kuakde SiddheshKukade

💻
Coding Probably
View GitHub Profile
@pawks
pawks / task_description.md
Last active August 2, 2022 06:27
Task description for LFX Mentorship Fall - 2022

Introduction RISCV-ISAC: RISC-V ISAC is an ISA coverage extraction tool. Given a set of coverpoints and an execution trace of a test/application run on a model, ISAC can provide a report indicating in detail which of those coverpoints were covered by the test/application. ISAC also holds the capability to provide a detailed quality analysis on data propagation occurring within the test/application.

Feature additions on ISAC:

  • Instruction object improvement (link)
  • Improve data propagation reports to capture multiple signatures per coverpoint (link)
  • Explicitly specify redundant coverpoints in the terminal messages ((link)

Introduction RISCV-CTG: RISCV-CTG is the RISC-V based Compatibility Test Generator. This tool is used to generate tests used in the official RISC-V Architectural Test Suite and the RISC-V

@pawks
pawks / coding_challenge.md
Last active August 3, 2022 13:33
Coding Challenge for LFX Mentorship Fall-2022.

Questions

The first task is mandatory and selection will be based on the performance in the task. The second task is optional and a nice to have.

  1. Write a python program which takes a valid RISC-V ISA string(described in Chapter 27 of the RISC-V specification(unpriv)) and generates coverpoints for each of the relevant bits in the extension field of misa register described in section 3.1.1 of the RISC-V privileged ISA. Briefly describe the events (i.e list out the possible exceptions and why) in the test which will occur while testing one such coverpoint. Refer to the csr_comb node described here to understand the format for the coverpoints. Example: for RV32IM, two relevant coverpoints are to check whether the bit at ind
@renbaoshuo
renbaoshuo / codespaces.zsh-theme
Created September 8, 2021 12:14
GitHub Codespaces zsh Theme
# Codespaces zsh prompt theme
__zsh_prompt() {
local prompt_username
if [ ! -z "${GITHUB_USER}" ]; then
prompt_username="@${GITHUB_USER}"
else
prompt_username="%n"
fi
PROMPT="%{$fg[green]%}${prompt_username} %(?:%{$reset_color%}➜ :%{$fg_bold[red]%}➜ )" # User/exit code arrow
PROMPT+='%{$fg_bold[blue]%}%(5~|%-1~/…/%3~|%4~)%{$reset_color%} ' # cwd
@tasneemkoushar
tasneemkoushar / Puppeteer'sDocumentation.md
Last active January 29, 2023 16:23
GSOC2021 gist by Tasneem
@dlaehnemann
dlaehnemann / contribute_github_without_write_access.md
Last active August 11, 2024 18:55
contributing to github repo without write access: pull from origin repo, push to your own fork

Whenever I want to create pull requests to a repo that I don't have write access to, I:

  1. Fork the original repo to my account.
  2. Clone the original repo to my local machine.
  3. Add my fork as an additional remote and make it the push default.
  4. Make changes in a new branch locally.
  5. Push this branch to my fork.
  6. Create a pull request from there.
Summary: Some code for making AJAX requests from a NodeJs server or from the browser (React/Vue/Angular) via the Axios node npm module.
@paulmillr
paulmillr / active.md
Last active November 8, 2024 13:04
Most active GitHub users (by contributions). http://twitter.com/paulmillr

Most active GitHub users (git.io/top)

The list would not be updated for now. Don't write comments.

The count of contributions (summary of Pull Requests, opened issues and commits) to public repos at GitHub.com from Wed, 21 Sep 2022 till Thu, 21 Sep 2023.

Because of GitHub search limitations, only 1000 first users according to amount of followers are included. If you are not in the list you don't have enough followers. See raw data and source code. Algorithm in pseudocode:

githubUsers
@ocean90
ocean90 / box-shadow.html
Last active September 3, 2024 16:56
CSS3 Box Shadow, only top/right/bottom/left and all
<!DOCTYPE html>
<html>
<head>
<title>Box Shadow</title>
<style>
.box {
height: 150px;
width: 300px;
margin: 20px;