<?xml version="1.0" encoding="UTF-8"?>
<!-- generator="FeedCreator 1.8" -->
<?xml-stylesheet href="https://avlsi.csl.yale.edu/act/lib/exe/css.php?s=feed" type="text/css"?>
<rdf:RDF
    xmlns="http://purl.org/rss/1.0/"
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:slash="http://purl.org/rss/1.0/modules/slash/"
    xmlns:dc="http://purl.org/dc/elements/1.1/">
    <channel rdf:about="https://avlsi.csl.yale.edu/act/feed.php">
        <title>The ACT VLSI design tools - std</title>
        <description></description>
        <link>https://avlsi.csl.yale.edu/act/</link>
        <image rdf:resource="https://avlsi.csl.yale.edu/act/lib/exe/fetch.php?media=wiki:logo.png" />
       <dc:date>2026-04-12T19:49:26+00:00</dc:date>
        <items>
            <rdf:Seq>
                <rdf:li rdf:resource="https://avlsi.csl.yale.edu/act/doku.php?id=std:bit&amp;rev=1758033148&amp;do=diff"/>
                <rdf:li rdf:resource="https://avlsi.csl.yale.edu/act/doku.php?id=std:channels&amp;rev=1658056072&amp;do=diff"/>
                <rdf:li rdf:resource="https://avlsi.csl.yale.edu/act/doku.php?id=std:data&amp;rev=1658054592&amp;do=diff"/>
                <rdf:li rdf:resource="https://avlsi.csl.yale.edu/act/doku.php?id=std:gates&amp;rev=1773832922&amp;do=diff"/>
                <rdf:li rdf:resource="https://avlsi.csl.yale.edu/act/doku.php?id=std:start&amp;rev=1758033188&amp;do=diff"/>
            </rdf:Seq>
        </items>
    </channel>
    <image rdf:about="https://avlsi.csl.yale.edu/act/lib/exe/fetch.php?media=wiki:logo.png">
        <title>The ACT VLSI design tools</title>
        <link>https://avlsi.csl.yale.edu/act/</link>
        <url>https://avlsi.csl.yale.edu/act/lib/exe/fetch.php?media=wiki:logo.png</url>
    </image>
    <item rdf:about="https://avlsi.csl.yale.edu/act/doku.php?id=std:bit&amp;rev=1758033148&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2025-09-16T14:32:28+00:00</dc:date>
        <dc:creator>Anonymous (anonymous@undisclosed.example.com)</dc:creator>
        <title>bit</title>
        <link>https://avlsi.csl.yale.edu/act/doku.php?id=std:bit&amp;rev=1758033148&amp;do=diff</link>
        <description>Namespace std::bit

This namespace contains bit-manipulation functions that can make the ACT description more legible.


export template&lt;pint N, W&gt; function repeat(int&lt;W&gt; x) : int&lt;N*W&gt;;


This concatenates N copies of the W-bit input x to create an output of width</description>
    </item>
    <item rdf:about="https://avlsi.csl.yale.edu/act/doku.php?id=std:channels&amp;rev=1658056072&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2022-07-17T11:07:52+00:00</dc:date>
        <dc:creator>Anonymous (anonymous@undisclosed.example.com)</dc:creator>
        <title>channels</title>
        <link>https://avlsi.csl.yale.edu/act/doku.php?id=std:channels&amp;rev=1658056072&amp;do=diff</link>
        <description>Namespace std::channel

This contains standard names for commonly used asynchronous channels. A channel has two ends: the sender and receiver. In the wire-level handshake protocol, the end that initiates the communication is referred to an the active</description>
    </item>
    <item rdf:about="https://avlsi.csl.yale.edu/act/doku.php?id=std:data&amp;rev=1658054592&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2022-07-17T10:43:12+00:00</dc:date>
        <dc:creator>Anonymous (anonymous@undisclosed.example.com)</dc:creator>
        <title>data</title>
        <link>https://avlsi.csl.yale.edu/act/doku.php?id=std:data&amp;rev=1658054592&amp;do=diff</link>
        <description>Namespace std::data

This namespace contains standard names for commonly used data encodings in asynchronous circuits.


template&lt;pint N&gt; 
deftype d1of &lt;: enum&lt;N&gt; (bool?! d[N]);


This data-type specifies a one-of-N encoding (a.k.a. a one-hot encoded value). The all zero/false state is used to indicate an neutral value (i.e. the absence of data). The</description>
    </item>
    <item rdf:about="https://avlsi.csl.yale.edu/act/doku.php?id=std:gates&amp;rev=1773832922&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2026-03-18T11:22:02+00:00</dc:date>
        <dc:creator>Anonymous (anonymous@undisclosed.example.com)</dc:creator>
        <title>gates</title>
        <link>https://avlsi.csl.yale.edu/act/doku.php?id=std:gates&amp;rev=1773832922&amp;do=diff</link>
        <description>Namespace std::gates

The namespace std::gates contains a collection of gates that are commonly used in digital design.


export template&lt;pint N; pbool invert&gt; defproc ortree (bool? in[N]; bool out);


This is an N-input OR tree constructed using a mixture of two and three input gates. If the</description>
    </item>
    <item rdf:about="https://avlsi.csl.yale.edu/act/doku.php?id=std:start&amp;rev=1758033188&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2025-09-16T14:33:08+00:00</dc:date>
        <dc:creator>Anonymous (anonymous@undisclosed.example.com)</dc:creator>
        <title>start</title>
        <link>https://avlsi.csl.yale.edu/act/doku.php?id=std:start&amp;rev=1758033188&amp;do=diff</link>
        <description>Namespace std

The std namespace contains a collection of standard definitions for channels, data types, and other components. This can be viewed as ACT&#039;s equivalent of the C++ standard template library.

Functions

Parameter-type functions


export function max(pint a, b) : pint;</description>
    </item>
</rdf:RDF>
