README.md

POSH

A meta project for the POSH related projects.
Mostly pointers and install scripts

Stanford/Princeton (Formal Analysis)

• Project Site
• Symbolic Analyzer
• CVC4
• AXI Protocol Checker
• Serial Link Mixed Signal Modeling
• ILA Instruction Level Abstraction
• FPGA emulation of mixed-signal systems
• Digital Analog Design

Sandia (Parallel Spice Simulator)

• Xyce Parallel Spice Project Page
• Xyce Source Tree
• Xyce Regression Suite

Xilinx (Hybrid Emulation)

• SystemC TLM Interfaces
• Mixed Hardware/Software Emulation

Princeton/Cornell (FPGA, Cache Coherent Subsystem)

• Project Site
• Princeton Reconfigurable Gate Array
• OpenPiton
• PyMTL Design Framework

Utah (Open Source FPGA Architecture)

• OpenFPGA

USC (Open Source High Performance Analog Circuits)

• Analog Known Good Designs
• Circuit Generation from KGD
• Circuit IP Sanitizer
• Analog Parameter Search Engine

Brown (Open Source PVT Sensors)

• PVT Sensors

University of Washington (Process Independent Design)

• Analog Kown Good Designs
• 65nm RAIL Library
• 12nm RAIL library

University of Washington (RISC-V)

• Black Parrot

LeWiz (Ethernet Controller)

• 1G/100M/10M Ethernet
• 10G/5G/2.5G/1G

Combined List (including unaffiliated projets)

• openpiton (MULTIARCH)
• basejump (LIB)
• opentitan (SECURITY)
• ibex (RISC-V)
• ariane (RISC-V)
• pulp (RISC-V)
• ri5cy (RISC-V)
• pulpissimo (RISC-V)
• swerv (RISC-V)
• picorv32 (RISC-V)
• nyizo (GPU)