distrib/sources/api/inf/inf_API.i

   1 void  inf_SetFigureName                  (char *name);
   2 void  inf_DumpRegistry_i                 (char *name);
   3 void  inf_CheckRegistry_i                (char *name, int level, List *argv);
   4 void  inf_AddFile                        (char *filename, char *figname);
   5 void  inf_DefineSlew                     (char *name, TimeValue slope_rise, TimeValue slope_fall);
   6 void  inf_DefineSlope                    (char *name, TimeValue slope_rise, TimeValue slope_fall);
   7 void  inf_DefineDelay                    (char *origin, char *destination, TimeValue delay);
   8 void  inf_DefineStop                     (char *name);
   9 void  inf_DefineRename                   (char *origin, char *destination);
  10 void  inf_DefineSensitive                (char *name);
  11 void  inf_DefineSuppress                 (char *name);
  12 void  inf_DefineInputs                   (char *name);
  13 void  inf_DefineNotLatch                 (char *name);
  14 void  inf_DefineKeepTristateBehaviour(char *name);
  15 void  inf_DefineRC                       (char *name);
  16 void  inf_DefineNORC                     (char *name);
  17 void  inf_DefineAsynchron                (char *name);
  18 void  inf_DefineInter                    (char *name);
  19 void  inf_DefineBreak                    (char *name);
  20 void inf_DefineStrictSetup(char *name);
  21 void  inf_DefineCkPrech                  (char *name);
  22 void  inf_DefineNoFalling                (char *name);
  23 void  inf_DefineNoRising                 (char *name);
  24 void  inf_SetPeriod                      (TimeValue value);
  25 void  inf_SetSetupMargin                 (TimeValue value);
  26 void  inf_SetHoldMargin                  (TimeValue value);
  27 void  inf_DefineConstraint               (char *name, int value);
  28 void  inf_DefineConditionedCommandStates (char *name, char *state);
  29 void  inf_DefineClockPriority            (char *origin, char *destination);
  30 void  inf_DefineDLatch                   (char *name);
  31 void  inf_DefineNotDLatch                (char *name);
  32 void  inf_DefinePrecharge                (char *name);
  33 void  inf_DefineNotPrecharge             (char *name);
  34 void  inf_DefineModelLatchLoop           (char *name);
  35 void  inf_DefineRS                       (char *name, char *type);
  36 void  inf_DefineCkLatch                  (char *name);
  37 void  inf_DefineNotCkLatch               (char *name);
  38 void  inf_DefineDirout                   (char *name, int level);
  39 void  inf_DefineClock                    (List *argv);
  40 void  inf_DefineBypass                   (char *name, char *where);
  41 void  inf_DefineMutex                    (char *type, List *argv);
  42 void  inf_DefineCrosstalkMutex           (char *type, List *argv);
  43 void  inf_DefineDisable                  (char *origin, char *destination);
  44 void  inf_CleanFigure                    ();
  45 void  inf_DefineAsynchronousClockGroup   (char *domain, List *argv, TimeValue period);
  46 void  inf_DefineEquivalentClockGroup     (char *domain, List *argv);
  47 void  inf_DefinePower                    (char *name, double voltage);
  48 void  inf_DefineTemperature              (double temp);
  49 void  inf_DefineFlipFlop                 (char *name);
  50 void  inf_Drive                          (char *outputname);
  51 void  inf_ExportSections                 (char *outputname, char *section);
  52 void  inf_DefineConnectorSwing           (char *name, double lowlevel, double highlevel);
  53 void  inf_DefineStability                (List *argv);
  54 void  inf_DefineFalsePath                (List *argv);
  55 void  inf_DefinePathDelayMargin          (char *type, char *name, double factor, TimeValue delta, char *pathtype);
  56 void  inf_DefineIgnore                   (char *type, List *argv);
  57 void  inf_DefineConnectorDirections      (char *type, List *argv);
  58 void  inf_DefineDoNotCross               (char *name);
  59 void  inf_DefineTransparent(char *name);
  60 void  inf_DefineSlopeRange               (char *name, List *argv, char *type);
  61 void  inf_DefineCapacitanceRange         (char *name, List *argv, char *type);
  62 void  inf_MarkSignal                     (char *name, char *marks);
  63 void  inf_MarkTransistor                 (char *name, char *marks);
  64 void  inf_DisableTimingArc               (char *input, char *output, char *direction);
  65 void  inf_DefineCharacteristics          (char *type, List *argv);
  66 void inf_DefineDirective_sub(List *argv);
  67 void inf_DefineFalseSlack_sub(List *argv);
  68 void inf_DefineSwitchingProbability(char *name, double val);
  69 void inf_DefineMemsym(char *name0, char *name1);
  70
  71 /* SDC support */
  72 void  infsdc_create_clock                (char **argv);
  73 void  infsdc_set_input_transition        (char **argv);
  74 void  infsdc_set_load                    (char **argv);
  75 void  infsdc_create_generated_clock      (char **argv);
  76 void  infsdc_set_clock_latency           (char **argv);
  77 void  infsdc_set_input_delay             (char **argv);
  78 void  infsdc_set_output_delay            (char **argv);
  79 void  infsdc_set_case_analysis           (char **argv);
  80 void  infsdc_set_false_path              (char **argv);
  81 void  infsdc_set_disable_timing          (char **argv);
  82 void  infsdc_set_multicycle_path         (char **argv);
  83 void  infsdc_not_supported               (char  *command);
  84 void infsdc_set_clock_uncertainty (char **argv);
  85 void infsdc_set_clock_groups (char **argv);
  86 void infsdc_set_max_delay (char **argv);
  87 void infsdc_set_min_delay (char **argv);
  88