The ACT VLSI design tools - language:types2
https://avlsi.csl.yale.edu/act/
2026-05-10T04:27:41+00:00The ACT VLSI design tools
https://avlsi.csl.yale.edu/act/
https://avlsi.csl.yale.edu/act/lib/exe/fetch.php?media=wiki:logo.pngtext/html2024-07-18T16:23:53+00:00Anonymous (anonymous@undisclosed.example.com)chan
https://avlsi.csl.yale.edu/act/doku.php?id=language:types2:chan&rev=1721319833&do=diff
Channel types
Channels are similar to data types. Instead of relating a user-defined
channel to built-in data, we relate them to a built-in channel types
instead. The methods required for supporting the full functionality of
a channel are operations necessary to send and receive data on the
channel, rather than a read and write operation on a data value.text/html2025-11-20T15:27:06+00:00Anonymous (anonymous@undisclosed.example.com)data
https://avlsi.csl.yale.edu/act/doku.php?id=language:types2:data&rev=1763652426&do=diff
User-defined data types
A user-defined data type is defined using deftype. These are classified into three categories:
* data types, which correspond to representations of the built-in int and bool types.
* structures, which are a collection of data types.text/html2024-07-18T16:13:05+00:00Anonymous (anonymous@undisclosed.example.com)proc
https://avlsi.csl.yale.edu/act/doku.php?id=language:types2:proc&rev=1721319185&do=diff
Processes and cells
A process is a user-defined type that corresponds to a circuit
entity. Other hardware description languages sometimes call it a module
or a subcircuit. The basic syntax of a process definition is shown below.
defproc test (bool n, m; bool p, q)
{
...
}