Skip to content
View nasahlpa's full-sized avatar
10 followers · 2 following
  • Zurich, Switzerland
  • 15:33 (UTC +01:00)

Achievements

Achievement: Pair Extraordinairex3Achievement: Pull Sharkx3Achievement: YOLOAchievement: QuickdrawAchievement: Arctic Code Vault Contributor

Achievements

Achievement: Pair Extraordinairex3Achievement: Pull Sharkx3Achievement: YOLOAchievement: QuickdrawAchievement: Arctic Code Vault Contributor

Organizations

@lowRISC

Block or report nasahlpa

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned Loading

  1. lowRISC/synfi lowRISC/synfi Public

    OpenTitan FI formal verification framework

    Python 15 7

  2. scfi scfi Public

    SystemVerilog 4