Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision | ||
tools:actsim [2024/07/04 09:29] rajit [Using pre-defined sources and sinks with data in the ACT file] |
tools:actsim [2024/08/15 14:05] (current) rajit [Timing] |
||
---|---|---|---|
Line 80: | Line 80: | ||
==== Timing ==== | ==== Timing ==== | ||
- | < | + | < |
Set the random timing mode and optionally specify the default random timing bounds for all nodes. | Set the random timing mode and optionally specify the default random timing bounds for all nodes. | ||
+ | If '' | ||
< | < | ||
Line 90: | Line 91: | ||
< | < | ||
- | turn on/off random exclhi/lo firings | + | Turn on/off random exclhi/lo firings. ACT uses '' |
- | + | This is typically used to model arbiters. If the '' | |
==== Running Simulation ==== | ==== Running Simulation ==== | ||
Line 270: | Line 270: | ||
sim:: | sim:: | ||
3, // three data values | 3, // three data values | ||
- | {3, | + | {3,5,2}, // the data values |
false, // don't repeat the sequence of values | false, // don't repeat the sequence of values | ||
0, // source ID is zero for logging | 0, // source ID is zero for logging | ||
Line 294: | Line 294: | ||
{ | { | ||
adder a; | adder a; | ||
- | // The first parameter is the file ID (default name is _infile_.0). | + | // The first parameter is the bitwidth |
- | // The second | + | // The second |
- | // The third parameter is the bit-width. | + | // The third parameter is whether the file should be looped. |
- | sim::file_source<0, false, | + | // The fourth |
+ | // The fifth parameter specifies if the source should log its output | ||
+ | sim::source_file<32, 0, false, | ||
| | ||
// This could also use a file source | // This could also use a file source | ||
- | sim::source_seq<32, false, 3, {7,9,3}> s2(a.B); | + | sim::source_sequence<32, 3, {7,9,3}, false, 1, false> s2(a.B); |
- | sim:: | + | sim:: |
- | | + | 0, // sink ID for logging |
+ | true // log values | ||
> sx(a.C); | > sx(a.C); | ||
} | } |