dmcardle/Virtuoso-Verification dmcardle/Virtuoso-Verification

  • Stars
    star
    1
  • Language
  • Created almost 10 years ago
  • Updated almost 10 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
dmcardle/Virtuoso-Verification
github

dmcardle

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Framework for exhaustive verification of schematics in Cadence Virtuoso

More Repositories

1

wireguard-setup

Some machinery for setting up Wireguard
Makefile
1
star
2

CATS

Convert Audio to Score
Python
1
star
3

TinnitusMasker

An Android app for masking the effects of Tinnitus
Java
1
star
4

piet-llvm-frontend

An LLVM-based compiler for Piet, the esoteric programming language.
Haskell
1
star