1. 1
2. 2
3. 3
4. 4
5. 5
6. 6
7. 7
8. 8
9. 9
10. 10
11. 11
12. 12
13. 13
14. 14
15. 15
16. 16
17. 17
18. 18
19. 19
20. 20
21. 21
22. 22
23. 23
24. 24
25. 25
26. 26
27. 27
28. 28
29. 29
30. 30
31. 31
32. 32
33. 33
34. 34
35. 35
36. 36
37. 37
38. 38
39. 39
40. 40
41. 41
42. 42
43. 43
44. 44
45. 45
46. 46
47. 47
48. 48
49. 49
50. 50
51. 51
52. 52
53. 53
54. 54
55. 55
56. 56
57. 57
58. 58
59. 59
60. 60
61. 61
62. 62
63. 63
64. 64
65. 65
66. 66
67. 67
68. 68
69. 69
70. 70
71. 71
72. 72
73. 73
74. 74
75. 75
76. 76
77. 77
78. 78
79. 79
80. 80
81. 81
82. 82
83. 83
84. 84
85. 85
86. 86
87. 87
88. 88
89. 89
90. 90
91. 91
92. 92
93. 93
94. 94
95. 95
96. 96
97. 97
98. 98
99. 99

FUNCTION mimi (a, b, c)
    RETURNS (res); 

SUBDESIGN kuku
(
 clk,d: INPUT;
 q[8..0],enn: OUTPUT;
)

VARIABLE
 mimi1:mimi; 
 reg[8..0]:dff;
 c1[1..0]:dff;
 c2[2..0]:dff;
 t[1..0]:dff;
 sm : MACHINE 
  WITH STATES (waiting,working,ending);
 
BEGIN
 reg[].clk=clk;
 c1[].clk=clk;
 c2[].clk=clk;
 t[].clk=clk;
 sm.clk=clk;
 mimi1.a=t[0];
 mimi1.b=t[1];
 mimi1.c=d;
 q[]=reg[].q;

 IF sm == waiting THEN

  IF d == vcc THEN
   c2[].d = 0;
   reg[].d = 0;
   t[] = 0;

   CASE c1[].q IS
    WHEN 0 =>
     c1[].d = 1;
    WHEN 1 =>
     c1[].d = 2;
    WHEN 2 =>
     c1[].d = 0;
     sm = working;
   END CASE;

  ELSE
   sm = waiting;
   c1[].d = 0;
   c2[].d = 0;
   reg[].d = 0;
   t[] = 0;
  END IF;

 END IF;

 IF sm == working THEN
  CASE c1[].q IS
   WHEN 0 => 
    c1[].d = 1;
    c2[].d = c2[].q;
    reg[].d = reg[].q;
    t[0].d = d;
    t[1].d = t[1].q;
   WHEN 1 =>
    c1[].d = 2;
    c2[].d = c2[].q;
    reg[].d = reg[].q;
    t[0].d = t[0].q;
    t[1].d = d;
   WHEN 2 => 
    c1[].d = 0;
    c2[].d = c2[].q + 1;
    reg[0].d = mimi1.res;
    FOR I IN 1 TO 8 GENERATE
     reg[i].d = reg[i-1].q;
    END GENERATE;
    IF c2[].q == 7 THEN
     sm = ending;
    ELSE
     sm = working;
    END IF;
  END CASE;
  
 END IF;

 IF sm == ending THEN
  reg[].d = reg[].q;

  IF d == vcc THEN

   CASE c1[].q IS
    WHEN 0 =>
     c1[].d = 1;
    WHEN 1 =>
     c1[].d = 2;
    WHEN 2 =>
     c1[].d = 0;
     sm = waiting;