The ACT VLSI design tools - sim https://avlsi.csl.yale.edu/act/ 2026-04-14T21:45:36+00:00 The ACT VLSI design tools https://avlsi.csl.yale.edu/act/ https://avlsi.csl.yale.edu/act/lib/exe/fetch.php?media=wiki:logo.png text/html 2024-02-27T17:16:45+00:00 Anonymous (anonymous@undisclosed.example.com) file https://avlsi.csl.yale.edu/act/doku.php?id=sim:file&rev=1709054205&do=diff File interaction This library exports functions for basic file interaction. The exposed functions enable you to read integer data from a basic input file, and to dump integer values into an output file. While this is rather basic, the file API can be extended using a shared C++ library and an actsim configuration file. text/html 2024-02-26T22:47:55+00:00 Anonymous (anonymous@undisclosed.example.com) inf_buffer https://avlsi.csl.yale.edu/act/doku.php?id=sim:inf_buffer&rev=1708987675&do=diff Infinite capacity buffer If you need to prevent components from a token producing part of the design from influencing a token consuming part of the design (for example token sequencers and design under test from a scoreboard in a testing harness), you need a way to decouple these two partitions. The best way to do so is an infinite capacity buffer. This simulation library offers such a construction; however it is obviously not synthesizable. text/html 2024-02-26T21:15:24+00:00 Anonymous (anonymous@undisclosed.example.com) loggers https://avlsi.csl.yale.edu/act/doku.php?id=sim:loggers&rev=1708982124&do=diff Loggers If you need to regularly check what kind of data is flowing over a certain channel, you can use loggers to more elegantly watch the activity. A logger will only report tokens of data values successfully transmitted over the channel and thus hopefully help unclog your log and ease your debugging experience. We offer two different loggers, one logging to console and one logging to a file. text/html 2024-02-23T19:26:45+00:00 Anonymous (anonymous@undisclosed.example.com) rng https://avlsi.csl.yale.edu/act/doku.php?id=sim:rng&rev=1708716405&do=diff Randomness The sim::rand namespace contains support for random number generation, and includes the definition of a number of processes that use this random number generation functionality. The underlying random number generator used is a pseudo-random number generator, and hence the sequence of text/html 2024-04-09T13:33:15+00:00 Anonymous (anonymous@undisclosed.example.com) scoreboards https://avlsi.csl.yale.edu/act/doku.php?id=sim:scoreboards&rev=1712669595&do=diff Scoreboards When validating a hardware design, it is important to run a large number of tests through a design. Commonly, the results of these tests are either compared against a known good output or, for more involved designs, matched with the outputs of a (often not synthesizable) model performing the same operations. text/html 2024-02-26T15:49:38+00:00 Anonymous (anonymous@undisclosed.example.com) sinks https://avlsi.csl.yale.edu/act/doku.php?id=sim:sinks&rev=1708962578&do=diff Sinks Sinks are the opposite of sources. They simply consume tokens from a channel. While sinks may sound like they would be on the other end of a verification setup to sources, this library actually provides another type of sink: A scoreboard. This type of sink compares the values it receives to a reference value. When verifying a design, this type of sink should be used instead. To keep this group separate, this library only provides two types of (single-ended) simple sink. text/html 2024-02-23T18:19:13+00:00 Anonymous (anonymous@undisclosed.example.com) sources https://avlsi.csl.yale.edu/act/doku.php?id=sim:sources&rev=1708712353&do=diff Sources For all data origin types, there are four sources providing it. This is by design: Ever source has a version with a single output channel and one with a configurable number of output channels (names contain _multi). On top of that, each of those versions has a variation which will always be enabled, and one which has an enable flag exposed (names contain text/html 2024-02-27T17:39:00+00:00 Anonymous (anonymous@undisclosed.example.com) splitter https://avlsi.csl.yale.edu/act/doku.php?id=sim:splitter&rev=1709055540&do=diff Splitter If you need to replicate tokens from a single channel to multiple channels, you can use this splitter. While the function of this process is rather generic, this specific implementation is meant for the simulation library and should not be used for final designs. It contains logging functionality meant for testing and verification. text/html 2024-02-27T15:43:39+00:00 Anonymous (anonymous@undisclosed.example.com) start https://avlsi.csl.yale.edu/act/doku.php?id=sim:start&rev=1709048619&do=diff Simulation library The simulation library is a collection of components which will aid you in testing and verifying your designs. Components in this library are decidedly not synthesizable and should never be included in a final design. A lot of the components use actsim's capability to call external C functions from within CHP code.