cambridgehackers

connectal

Connectal is a framework for software-driven hardware development.

fpgamake

Generates Makefiles to synthesize, place, and route verilog using Vivado

open-src-cvc

Mirror of tachyon-da cvc Verilog simulator

fpgajtag

A simple jtag programming tool that has been verified on a variety of Xilinx Series7 platforms.

bsvtokami

Translates Bluespec SystemVerilog to Kami for use with the coq proof assistant.

xbsv

connectal (formerly called xbsv) contains a utility to generate bit files for Xilinx Zynq devices from BSV programs.

atomicc

Generate Verilog from Atomicc IR files (which are generated from llvm-translate)

buildcache

Memoizes execution of build commands

atomicc-examples

linux-xlnx

The official Linux kernel from Xilinx

bsc-contrib

A place to share libraries and utilities that don't belong in the core bsc repo

clang

Mirror of official clang git repository located at http://llvm.org/git/clang. Updated every five minutes.

cudd

CUDD: CU Decision Diagram package - unofficial git mirror of http://vlsi.colorado.edu/~fabio/

llvm

Branch of llvm repository. Use branch release_34atomicc1

llvm-translate

llvm runtime interpreter/translator

openocd

packaging branch of openocd

PYNQ

Python Productivity for ZYNQ with Python board level designs

verilog-rewrite

A tool to rewrite xilinx synthesized netlists back into non-LUT form (to manually verify elaboration)

bsc

Bluespec Compiler (BSC)

consolable

cplusplus_draft

C++ standards drafts

doc

Repository for publishing non-jekyll documentation

dumpNet

NuSMV

Mirror of NuSMV 2.6.0 from http://nusmv.fbk.eu

pciescan

tlaplus

TLC is an explicit state model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

verilator

Verilator open-source SystemVerilog simulator and lint system

verilator.jeremybennett

A fork of the main Verilator project for development work.

verilog-vcd-parser

A parser for Value Change Dump (VCD) files as specified in the IEEE System Verilog 1800-2012 standard.

XilinxUnisimLibrary