[18] | 1 | /* |
---|
| 2 | |
---|
| 3 | Copyright (c) 1992, 1993 |
---|
| 4 | Regents of the University of California |
---|
| 5 | All rights reserved. |
---|
| 6 | |
---|
| 7 | Use and copying of this software and preparation of derivative works |
---|
| 8 | based upon this software are permitted. However, any distribution of |
---|
| 9 | this software or derivative works must include the above copyright |
---|
| 10 | notice. |
---|
| 11 | |
---|
| 12 | This software is made available AS IS, and neither the Electronics |
---|
| 13 | Research Laboratory or the Universify of California make any |
---|
| 14 | warranty about the software, its performance or its conformity to |
---|
| 15 | any specification. |
---|
| 16 | |
---|
| 17 | Author: Szu-Tsung Cheng, stcheng@ic.Berkeley.EDU |
---|
| 18 | 10/92 |
---|
| 19 | 10/93 |
---|
| 20 | |
---|
| 21 | $Header: /projects/development/hsv/CVSRepository/vl2mv/src/parser/vl_nonblock.h,v 1.1.1.1 2001/07/09 23:22:42 fabio Exp $ |
---|
| 22 | |
---|
| 23 | |
---|
| 24 | */ |
---|
| 25 | EXTERN vl_term *write_entry_control ARGS((FILE*, lsList, char*, st_table*, int)); |
---|
| 26 | EXTERN vl_term *write_nond_set ARGS((FILE*, vl_id_range*, lsList)); |
---|
| 27 | EXTERN vl_term *write_set_accumulate ARGS((FILE*, vl_id_range*, vl_term*, vl_term*, vl_term*, vl_term**)); |
---|
| 28 | |
---|
| 29 | EXTERN void put_nblock_scalar_simple_table ARGS((FILE *file, char *dc, |
---|
| 30 | vl_id_range *id_sym, |
---|
| 31 | int non_block_wire, |
---|
| 32 | char *latch_name, |
---|
| 33 | vl_term *out_term, |
---|
| 34 | int n_entries, |
---|
| 35 | int lo, int hi, |
---|
| 36 | lsList ripple, |
---|
| 37 | vl_term *procedural_ctrl, |
---|
| 38 | vl_term *procedural_term)); |
---|
| 39 | EXTERN void put_nblock_scalar_array_table ARGS((FILE *file, |
---|
| 40 | char *dc, |
---|
| 41 | vl_id_range *id_sym, |
---|
| 42 | int non_block_wire, |
---|
| 43 | char *latch_name, |
---|
| 44 | vl_term *out_term, |
---|
| 45 | int n_entries, |
---|
| 46 | int lo, int hi, |
---|
| 47 | lsList ripple)); |
---|
| 48 | EXTERN void put_nblock_vector_table ARGS((FILE *file, |
---|
| 49 | char *dc, |
---|
| 50 | vl_id_range *id_sym, |
---|
| 51 | int non_block_wire, |
---|
| 52 | char *latch_name, |
---|
| 53 | vl_term *out_term, |
---|
| 54 | int n_entries, |
---|
| 55 | int lo, int hi, |
---|
| 56 | lsList *ripple, |
---|
| 57 | vl_term *procedural_ctrl, |
---|
| 58 | vl_term *procedural_term)); |
---|