pkgsrc-wip/mvsis/PLIST
David Howland c6be5faf64 The MVSIS group at Berkeley studies logic synthesis and verification for VLSI
design. The main focus is on new optimization algorithms that improve the
quality of circuits generated by automatic synthesis tools and, at the same
time, are scalable for practical use.
2006-11-15 17:51:47 +00:00

26 lines
809 B
Text

@comment $NetBSD: PLIST,v 1.1.1.1 2006/11/15 17:51:47 dhowland Exp $
bin/mvsis
share/mvsis/examples/C880.blif
share/mvsis/examples/apex6.blif
share/mvsis/examples/bpds.mv
share/mvsis/examples/cod.mv
share/mvsis/examples/elc.mv
share/mvsis/examples/fixed.aut
share/mvsis/examples/frg2.blif
share/mvsis/examples/full_adder_4.mv
share/mvsis/examples/i9.blif
share/mvsis/examples/lang.script
share/mvsis/examples/mcnc5_old.super
share/mvsis/examples/mcnc_gain.genlib
share/mvsis/examples/pj1.blif
share/mvsis/examples/pj2.blif
share/mvsis/examples/pj3.blif
share/mvsis/examples/sort.mv
share/mvsis/examples/spec.aut
share/mvsis/examples/term1.blif
share/mvsis/share/master.mvsisrc
share/mvsis/share/script.check
share/mvsis/share/script.mvs
@dirrm share/mvsis/share
@dirrm share/mvsis/examples
@dirrm share/mvsis