Statistics for Կոմպիլյացիայի միջոցով ստացված RTL նկարագրությունների վերիֆիկացիայի համար հիմքային գործիքային միջավայրի մշակումը