Giters

jontrossbach / nmigen-toolchain

This is a container build for a toolchain that can be used for formal verification of nMigen RTLs. It attempts to use an entirely FLOSS toolchain.

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

This set up no loger works. It is here for legacy reference purposes.

nmigen-toolchain

This is a container build for a toolchain that can be used for formal verification of nMigen RTLs. It attempts to use an entirely FLOSS toolchain.

About

This is a container build for a toolchain that can be used for formal verification of nMigen RTLs. It attempts to use an entirely FLOSS toolchain.

License:GNU Affero General Public License v3.0

Languages

Language:Dockerfile 90.5%Language:Makefile 8.1%Language:Shell 1.5%