Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
Next revision Both sides next revision
sim:start [2022/07/17 06:05]
rajit
sim:start [2022/07/17 06:10]
rajit [Exported processes]
Line 1: Line 1:
 ====== Namespace sim ====== ====== Namespace sim ======
  
-The ''sim'' namespace contains a collection of process definitions that can be used to create simple test environments for simulation purposes.+The ''sim'' namespace contains a collection of process definitions that can be used to create simple test environments for simulation purposes. Import this namespace using 
 + 
 +<code act> 
 +import sim; 
 +</code> 
 + 
 +===== Exported processes ===== 
  
 <code act> <code act>
Line 27: Line 34:
 This process is also a ''W''-bit source, except the values produced are taken from a file. The identified ''ID'' is used to determine the file name, and the file is assumed to have at least one data value. By default, the file name is ''_infile_.{ID}''. The file format is a sequence of hexadecimal values, one per line. If ''LOOP'' is set to true, then the sequence of values specified in the file is repeated forever. This process is also a ''W''-bit source, except the values produced are taken from a file. The identified ''ID'' is used to determine the file name, and the file is assumed to have at least one data value. By default, the file name is ''_infile_.{ID}''. The file format is a sequence of hexadecimal values, one per line. If ''LOOP'' is set to true, then the sequence of values specified in the file is repeated forever.
  
 +<code act>
 +export template<pint ID; pbool LOOP; pint W>
 +defproc check_sink(chan?(int<W>) I);
 +</code>
 +This process is a ''W''-bit sink, except the values produced are compared to those specified in a file. The identified ''ID'' is used to determine the file name, and the file is assumed to have at least one data value. The file specified and the ''LOOP'' parameter is the same as in ''file_source''.
  
 +===== Namespace sim::rand =====