![(please configure the [header_logo] section in trac.ini)](/trac/verif_tools/chrome/site/your_project_logo.png){kind=logo}
Changeset 33
- Timestamp:
- Jan 3, 2012, 11:10:33 AM (13 years ago)
- Location:
- vis_dev/vis-2.3/models/debug
- Files:
-
- 13 added
-
. (added)
-
2_faulty.v (added)
-
2_golden.v (added)
-
aig.dot (added)
-
and.v (added)
-
and2.cnf (added)
-
and2.mv (added)
-
and2.v (added)
-
andé.cnf (added)
-
core (added)
-
new_ntk.dot (added)
-
ntx.dot (added)
-
test.script (added)
Note: See TracChangeset
for help on using the changeset viewer.
