import "adder.act";
import sim; // import simulation namespace

defproc test()
{
    adder a;
    sim::source_sequence<32, // 32-bit data
                    3, // three data values
                    {3,5,2},  // the data values
                    false, // don't repeat the sequence of values
                    0, // source ID is zero for logging
                    false // don't log any information in the source
                    > s1(a.A);
    sim::source_sequence<32, 3, {7,9,3}, false, 1, false> s2(a.B);
    sim::sink<32,  // 32-bit
                     0, // sink ID for logging
                     true // log values
              > sx(a.C);
 }