| /dports/cad/gplcver/gplcver-2.12a.src/src/ |
| H A D | v_src3.c | 2278 struct tchk_t tmptchk; in rd_setup_or_hold_tchk()
2299 __cur_tchk = (struct tchk_t *) __my_malloc(sizeof(struct tchk_t)); in rd_setup_or_hold_tchk()
2459 struct tchk_t tmptchk; in rd_setuphold_tchk()
2518 __cur_tchk = (struct tchk_t *) __my_malloc(sizeof(struct tchk_t)); in rd_setuphold_tchk()
2553 struct tchk_t tmptchk; in rd_recrem_tchk()
2628 __cur_tchk = (struct tchk_t *) __my_malloc(sizeof(struct tchk_t)); in rd_recrem_tchk()
2661 struct tchk_t tmptchk; in rd_width_tchk()
2724 __cur_tchk = (struct tchk_t *) __my_malloc(sizeof(struct tchk_t)); in rd_width_tchk()
2763 struct tchk_t tmptchk; in rd_period_tchk()
2790 __cur_tchk = (struct tchk_t *) __my_malloc(sizeof(struct tchk_t)); in rd_period_tchk()
[all …]
|
| H A D | v_fx3.c | 133 static struct tchk_t *bld_sup_of_suphld(struct tchk_t *);
134 static struct tchk_t *bld_rec_of_recrem(struct tchk_t *);
5666 register struct tchk_t *tcp; in __chkfix_spfy()
5669 struct tchk_t *suptcp, *rectcp; in __chkfix_spfy()
6506 static struct tchk_t *bld_sup_of_suphld(struct tchk_t *otcp) in bld_sup_of_suphld()
6508 struct tchk_t *ntcp; in bld_sup_of_suphld()
6510 ntcp = (struct tchk_t *) __my_malloc(sizeof(struct tchk_t)); in bld_sup_of_suphld()
6543 static struct tchk_t *bld_rec_of_recrem(struct tchk_t *otcp) in bld_rec_of_recrem()
6545 struct tchk_t *ntcp; in bld_rec_of_recrem()
6547 ntcp = (struct tchk_t *) __my_malloc(sizeof(struct tchk_t)); in bld_rec_of_recrem()
[all …]
|
| H A D | v.h | 945 struct tchk_t;
1977 struct tchk_t *htcp; /* and back to time check */
2268 struct tchk_t *etcp; /* and back to time check */
2551 struct tchk_t *chgtcp;
2611 struct tchk_t { struct
2629 struct tchk_t *tchknxt; /* next in current specify block */ argument
2636 struct tchk_t *tchks; /* timing checks */
3329 extern struct tchk_t *__end_tchks;/* end of specify time check st. list */
3331 extern struct tchk_t *__cur_tchk;
|
| H A D | v_sdf.c | 142 struct tchk_t *tcp;
253 static void prep_sdftchk_verbmsg(struct tchk_t *, char *, struct gate_t *,
255 static void emit_sdftchk_verbmsg(struct tchk_t *, char *, struct gate_t *,
3182 struct tchk_t *tcp; in rdset_tchk_defs()
3347 struct tchk_t *tcp; in set_half_setuphold_tchk_defs()
3429 struct tchk_t *tcp; in set_half_recrem_tchk_defs()
3767 static void prep_sdftchk_verbmsg(struct tchk_t *tcp, char *tcnam, in prep_sdftchk_verbmsg()
3798 static void emit_sdftchk_verbmsg(struct tchk_t *tcp, char *tcnam, in emit_sdftchk_verbmsg()
4003 register struct tchk_t *tcp; in bld_match_tchk()
|
| H A D | v_vpi.c | 132 static void exec_vpi_tchkerr(int32, struct tchk_t *, struct itree_t *);
157 extern void __vpi_tchkerr_trycall(struct tchk_t *, struct itree_t *);
2762 extern void __vpi_tchkerr_trycall(struct tchk_t *tcp, struct itree_t *itp) in __vpi_tchkerr_trycall()
2869 static void exec_vpi_tchkerr(int32 cbtyp, struct tchk_t *tcp, in exec_vpi_tchkerr()
4507 struct tchk_t *tcp; in get_tchk_term()
4537 struct tchk_t *tcp; in get_cond()
4616 struct tchk_t *tcp; in bld_1to1_exprclass_handle()
5915 register struct tchk_t *tcp; in bld_tchk_iterator()
|
| H A D | v_fx.c | 193 static struct tchk_t *copy1_tchk(struct tchk_t *);
247 extern void __free_tchks(struct tchk_t *);
7563 struct tchk_t *ntcp, *otcp, *last_ntcp, *ntcp_hdr; in copy_timchks()
7582 static struct tchk_t *copy1_tchk(struct tchk_t *otcp) in copy1_tchk()
7584 struct tchk_t *ntcp; in copy1_tchk()
7587 ntcp = (struct tchk_t *) __my_malloc(sizeof(struct tchk_t)); in copy1_tchk()
|
| H A D | v_sim.c | 114 static char *bld_tchk_srcdump(char *, struct tchk_t *, word64 *, word64 *,
287 extern void __vpi_tchkerr_trycall(struct tchk_t *, struct itree_t *);
4648 struct tchk_t *tcp; in __process_npp_timofchg()
4913 struct tchk_t *tcp, *tcp2; in process_all_tchk_violations()
4937 tcp2 = (struct tchk_t *) tcp->tclim_du.pdels; in process_all_tchk_violations()
5006 tcp2 = (struct tchk_t *) tcp->tclim_du.pdels; in process_all_tchk_violations()
5062 static char *bld_tchk_srcdump(char *s, struct tchk_t *tcp, word64 *tim1, in bld_tchk_srcdump()
|
| H A D | v_del.c | 56 static void emit_repreptclim_verbmsg(struct tchk_t *, struct gate_t *,
435 struct tchk_t *tcp; in __re_prep_dels()
695 static void emit_repreptclim_verbmsg(struct tchk_t *tcp, struct gate_t *ogp, in emit_repreptclim_verbmsg()
|
| H A D | v_prp2.c | 119 static struct tchg_t *bld_start_tchk_npp(struct tchk_t *, struct net_t *,
210 extern void __add_tchkdel_pnp(struct tchk_t *, int32);
5186 register struct tchk_t *tcp; in prep_tchks()
5331 static struct tchg_t *bld_start_tchk_npp(struct tchk_t *tcp, in bld_start_tchk_npp()
7105 register struct tchk_t *tcp; in cmp_xform_specify()
|
| H A D | v_vpi2.c | 1373 struct tchk_t *tcp; in bld_net_tchkterms()
1692 struct tchk_t *tcp; in __bld_delay_expr_iter()
5964 struct tchk_t *tcp; in tchkprop_vpiget()
6010 struct tchk_t *tcp; in tchktermprop_vpiget()
|
| H A D | v_cnv.c | 108 static void dmp_tchks(FILE *, register struct tchk_t *);
2547 struct tchk_t *tcp; in __dmp1_nplstel()
5091 static void dmp_tchks(FILE *f, register struct tchk_t *tcp) in dmp_tchks()
|
| H A D | v_vpi3.c | 341 struct tchk_t *tcp; in vpi_get_delays()
503 struct tchk_t *tcp; in chk_delay_num()
807 struct tchk_t *tcp; in vpi_put_delays()
|
| H A D | cver.c | 472 struct tchk_t *__end_tchks;/* end of specify time check st. list */
474 struct tchk_t *__cur_tchk;
|
| H A D | v_prp.c | 135 extern void __add_tchkdel_pnp(struct tchk_t *, int32);
3544 extern void __add_tchkdel_pnp(struct tchk_t *tcp, int32 is_1st) in __add_tchkdel_pnp()
|
| H A D | v_ex4.c | 4234 struct tchk_t *tcp; in emit1_load()
|
| H A D | v_acc.c | 7845 struct tchk_t *tcp; in get_acc_fulltype()
|