checkloconorder - checks the consistency of a list of logical connectors
This software belongs to the ALLIANCE CAD system from the CAO-VLSI team at
ASIM/LIP6/UPMC laboratory.
LIP6/ASIM
University P. et M. Curie
4, place Jussieu
75252 PARIS Cedex 05
FRANCE
Fax : {33/0} 1.44.27.62.86
E-mail support : alliance-support@asim.lip6.fr
#include mlo412.h"
void checkloconorder(connectors)
locon_list *connectors;
checkloconorder checks the list of logical connectors pointed to by *con_nectors for conformity towards mbk(1) consistency rules. Checks are done to warranty :
*** mbk error *** radical name already used in a connector" The name is already used in a connector, either vectorized or not, and therefore cannot be used once more. This ensures that f and f 3 will not be used simultaneously. *** mbk error *** the radical name has a spurious vectorized value" The name is seen as a vector in mbk(1) , but its index is not a number or some text follows that number. *** mbk error *** the radical name is not vectorized properly" The name is seen as a vector in mbk(1) , but its index changes in such a way that it is not monotonically increasing or decreasing with a step of 1.
#include mlo412.h"
void savewithcheck(figname)
char *figname;
{
lofig_list *figure = getlocon(figname, `A');
checkloconorder(figure->LOCON);
savelofig(figure);
}
mbk(1) , locon(3) , addlocon(3) , dellocon(3) , checkloconorder(3) , qsort(3) .
This tool is under development at the ASIM/LIP6/UPMC laboratory, cao-vlsi
research team.
We need your feedbak to improve documentation and tools.
If you find bugs, please fill-in the form at
http://asim.lip6.fr/alliance/support/bug-report/
Thanks for doing this.