Sample Source File

Module sample
Title 'Sample Source File'
Declarations
I1..I3, Clk Pin 11..13, 1 ; " range operator used for I1, I2, I3
S1..S3 Pin 24,25,34 Istype 'reg_d' ;
C = .C. ; "constant .C. mapped to C identifier
Set1 = [S1..S3] ;
Set2 = [I3,I1,I2];
Equations
Set1.clk = Clk ;
Set1 = Set2;
Test Vectors ([Clk,Set1]->[Set2])
[ C , 3 ]->[ 3 ];
End sample