source: icGREP/icgrep-devel/cudd-2.5.1/nanotrav/tst.sh

Last change on this file was 4597, checked in by nmedfort, 4 years ago

Upload of the CUDD library.

  • Property svn:executable set to *
File size: 389 bytes
Line 
1#! /bin/sh
2#
3# $Id: tst.sh,v 1.2 1998/05/03 08:41:38 fabio Exp fabio $
4#
5./nanotrav -p 1 -cover C17.blif > C17.tst
6./nanotrav -p 1 -ordering dfs -autodyn -automethod sifting -reordering sifting -drop C880.blif > C880.tst
7./nanotrav -p 1 -trav s27.blif > s27.tst
8./nanotrav -p 1 -autodyn -reordering sifting -trav mult32a.blif > mult32a.tst
9./nanotrav -p 1 -envelope rcn25.blif > rcn25.tst
Note: See TracBrowser for help on using the repository browser.