b2c0905525
state systems. It has been developed jointly at the University of California at Berkeley, the University of Colorado at Boulder, and more recently at the University of Texas, Austin.
227 lines
5.6 KiB
Text
227 lines
5.6 KiB
Text
@comment $NetBSD: PLIST,v 1.1.1.1 2006/11/15 04:00:50 dhowland Exp $
|
|
bin/vis
|
|
include/abs.h
|
|
include/absInt.h
|
|
include/amc.h
|
|
include/amcInt.h
|
|
include/array.h
|
|
include/avl.h
|
|
include/baig.h
|
|
include/baigInt.h
|
|
include/bdd.h
|
|
include/bddint.h
|
|
include/bdduser.h
|
|
include/bmc.h
|
|
include/bmcInt.h
|
|
include/cal.h
|
|
include/calInt.h
|
|
include/calMem.h
|
|
include/calPortInt.h
|
|
include/cmd.h
|
|
include/cmdInt.h
|
|
include/cmuPortInt.h
|
|
include/ctlp.h
|
|
include/ctlpInt.h
|
|
include/ctlsp.h
|
|
include/ctlspInt.h
|
|
include/cuPortInt.h
|
|
include/cudd.h
|
|
include/cuddInt.h
|
|
include/epd.h
|
|
include/eqv.h
|
|
include/eqvInt.h
|
|
include/error.h
|
|
include/fsm.h
|
|
include/fsmInt.h
|
|
include/grab.h
|
|
include/grabInt.h
|
|
include/graph.h
|
|
include/graph_int.h
|
|
include/graph_static.h
|
|
include/graph_static_int.h
|
|
include/heap.h
|
|
include/heapInt.h
|
|
include/hrc.h
|
|
include/hrcInt.h
|
|
include/imc.h
|
|
include/imcInt.h
|
|
include/img.h
|
|
include/imgInt.h
|
|
include/io.h
|
|
include/ioInt.h
|
|
include/list.h
|
|
include/lsort.h
|
|
include/ltl.h
|
|
include/ltlInt.h
|
|
include/maig.h
|
|
include/maigInt.h
|
|
include/mark.h
|
|
include/markInt.h
|
|
include/mc.h
|
|
include/mcInt.h
|
|
include/mdd.h
|
|
include/memint.h
|
|
include/memuser.h
|
|
include/mtr.h
|
|
include/mtrInt.h
|
|
include/mvf.h
|
|
include/mvfInt.h
|
|
include/mvfaig.h
|
|
include/mvfaigInt.h
|
|
include/ntk.h
|
|
include/ntkInt.h
|
|
include/ntm.h
|
|
include/ntmInt.h
|
|
include/ntmaig.h
|
|
include/ntmaigInt.h
|
|
include/ord.h
|
|
include/ordInt.h
|
|
include/part.h
|
|
include/partInt.h
|
|
include/puresat.h
|
|
include/puresatInt.h
|
|
include/res.h
|
|
include/resInt.h
|
|
include/restr.h
|
|
include/restrInt.h
|
|
include/rst.h
|
|
include/rstInt.h
|
|
include/rt.h
|
|
include/rtInt.h
|
|
include/sat.h
|
|
include/satInt.h
|
|
include/sim.h
|
|
include/simInt.h
|
|
include/sparse.h
|
|
include/sparse_int.h
|
|
include/spfd.h
|
|
include/spfdInt.h
|
|
include/st.h
|
|
include/synth.h
|
|
include/synthInt.h
|
|
include/tbl.h
|
|
include/tblInt.h
|
|
include/truesim.h
|
|
include/truesimInt.h
|
|
include/tst.h
|
|
include/tstInt.h
|
|
include/util.h
|
|
include/var.h
|
|
include/varInt.h
|
|
include/var_set.h
|
|
include/vm.h
|
|
include/vmInt.h
|
|
lib/libcal.a
|
|
lib/libcmu.a
|
|
lib/libcu.a
|
|
lib/libglu.a
|
|
lib/libvis.a
|
|
man/man1/vis.1
|
|
share/vis/createfunctionmap
|
|
share/vis/help/Cmd.txt
|
|
share/vis/help/_ctlp_testCmd.txt
|
|
share/vis/help/_ctlsp_testCmd.txt
|
|
share/vis/help/_grab_testCmd.txt
|
|
share/vis/help/_init_state_formulaCmd.txt
|
|
share/vis/help/_mAig_testCmd.txt
|
|
share/vis/help/_memory_profileCmd.txt
|
|
share/vis/help/_ntm_testCmd.txt
|
|
share/vis/help/_tbl_testCmd.txt
|
|
share/vis/help/_tst_testCmd.txt
|
|
share/vis/help/aliasCmd.txt
|
|
share/vis/help/approximate_model_checkCmd.txt
|
|
share/vis/help/bdd_sat_bounded_model_checkCmd.txt
|
|
share/vis/help/bounded_model_checkCmd.txt
|
|
share/vis/help/build_partition_maigsCmd.txt
|
|
share/vis/help/build_partition_mddsCmd.txt
|
|
share/vis/help/cdCmd.txt
|
|
share/vis/help/check_invariantCmd.txt
|
|
share/vis/help/cnf_satCmd.txt
|
|
share/vis/help/collapse_childCmd.txt
|
|
share/vis/help/comb_verifyCmd.txt
|
|
share/vis/help/compute_reachCmd.txt
|
|
share/vis/help/decompose_childCmd.txt
|
|
share/vis/help/dynamic_var_orderingCmd.txt
|
|
share/vis/help/echoCmd.txt
|
|
share/vis/help/flatten_hierarchyCmd.txt
|
|
share/vis/help/helpCmd.txt
|
|
share/vis/help/historyCmd.txt
|
|
share/vis/help/incremental_ctl_verificationCmd.txt
|
|
share/vis/help/init_verifyCmd.txt
|
|
share/vis/help/iterative_model_checkCmd.txt
|
|
share/vis/help/lang_emptyCmd.txt
|
|
share/vis/help/lsCmd.txt
|
|
share/vis/help/ltl2snfCmd.txt
|
|
share/vis/help/ltl_model_checkCmd.txt
|
|
share/vis/help/ltl_to_autCmd.txt
|
|
share/vis/help/model_checkCmd.txt
|
|
share/vis/help/network_sweepCmd.txt
|
|
share/vis/help/print_aig_statsCmd.txt
|
|
share/vis/help/print_ardc_optionsCmd.txt
|
|
share/vis/help/print_bdd_statsCmd.txt
|
|
share/vis/help/print_fairnessCmd.txt
|
|
share/vis/help/print_guided_search_optionsCmd.txt
|
|
share/vis/help/print_hd_optionsCmd.txt
|
|
share/vis/help/print_hierarchy_statsCmd.txt
|
|
share/vis/help/print_hybrid_optionsCmd.txt
|
|
share/vis/help/print_img_infoCmd.txt
|
|
share/vis/help/print_ioCmd.txt
|
|
share/vis/help/print_latchesCmd.txt
|
|
share/vis/help/print_mlp_optionsCmd.txt
|
|
share/vis/help/print_modelsCmd.txt
|
|
share/vis/help/print_networkCmd.txt
|
|
share/vis/help/print_network_dotCmd.txt
|
|
share/vis/help/print_network_statsCmd.txt
|
|
share/vis/help/print_partitionCmd.txt
|
|
share/vis/help/print_partition_aig_dotCmd.txt
|
|
share/vis/help/print_partition_statsCmd.txt
|
|
share/vis/help/print_tfm_optionsCmd.txt
|
|
share/vis/help/pwdCmd.txt
|
|
share/vis/help/quitCmd.txt
|
|
share/vis/help/read_blifCmd.txt
|
|
share/vis/help/read_blif_mvCmd.txt
|
|
share/vis/help/read_fairnessCmd.txt
|
|
share/vis/help/read_orderCmd.txt
|
|
share/vis/help/read_verilogCmd.txt
|
|
share/vis/help/regression_testCmd.txt
|
|
share/vis/help/res_verifyCmd.txt
|
|
share/vis/help/reset_fairnessCmd.txt
|
|
share/vis/help/restruct_fsmCmd.txt
|
|
share/vis/help/seq_verifyCmd.txt
|
|
share/vis/help/setCmd.txt
|
|
share/vis/help/set_bdd_parametersCmd.txt
|
|
share/vis/help/simulateCmd.txt
|
|
share/vis/help/sourceCmd.txt
|
|
share/vis/help/spfd_pdloCmd.txt
|
|
share/vis/help/spfd_piloCmd.txt
|
|
share/vis/help/static_orderCmd.txt
|
|
share/vis/help/synthesize_networkCmd.txt
|
|
share/vis/help/test_network_acyclicCmd.txt
|
|
share/vis/help/timeCmd.txt
|
|
share/vis/help/truesimCmd.txt
|
|
share/vis/help/unaliasCmd.txt
|
|
share/vis/help/unsetCmd.txt
|
|
share/vis/help/usageCmd.txt
|
|
share/vis/help/whichCmd.txt
|
|
share/vis/help/write_blifCmd.txt
|
|
share/vis/help/write_blif_mvCmd.txt
|
|
share/vis/help/write_orderCmd.txt
|
|
share/vis/help/write_smvCmd.txt
|
|
share/vis/ioBlifToMv.nawk
|
|
share/vis/ioBlifToMvForIncremental.nawk
|
|
share/vis/master.visrc
|
|
share/vis/memoryaccount
|
|
share/vis/script_compute_reach.robust
|
|
share/vis/script_compute_reach.simple
|
|
share/vis/script_fair_model_check.robust
|
|
share/vis/script_fair_model_check.simple
|
|
share/vis/script_generic.robust
|
|
share/vis/script_generic.simple
|
|
share/vis/script_lang_empty_check.robust
|
|
share/vis/script_lang_empty_check.simple
|
|
share/vis/script_model_check.robust
|
|
share/vis/script_model_check.simple
|
|
share/vis/sislib.mv
|
|
share/vis/visdbgpp
|
|
@dirrm share/vis/help
|
|
@dirrm share/vis
|