supply of eda tools for digital ic design & tape-out in deep sub-micron technology nodes for complex digital system designs , category-a: verification solution , sub category -a1: logic simulation tool , countrywide floating monthly licenses usable for 4 years with user flexibility for start date and end date of each license , countrywide floating perpetual licenses inclusive of 1 year amc , sub category -a2: low power support , countrywide floating monthly licenses usable for 4 years with user flexibility for start date and end date of each license , countrywide floating perpetual licenses inclusive of 1 year amc , sub category -a3: formal verification , countrywide floating perpetual licenses inclusive of 1 year amc , category-b:logic equivalence checking solution , sub category -b1: logic equivalence checks , countrywide floating monthly licenses usable for 4 years with user flexibility for start date and end date of each license , countrywide floating perpetual licenses inclusive of 1 year amc , sub category-b2: low power logic equivalence checks , countrywide floating monthly licenses usable for 4 years with user flexibility for start date and end date of each license , countrywide floating perpetual licenses inclusive of 1 year amc , sub category-b3: logic equivalence check eco flow , countrywide floating monthly licenses usable for 4 years with user flexibility for start date and end date of each license , countrywide floating perpetual licenses inclusive of 1 year amc , category-c: rtl synthesis solution , sub category -c1: rtl synthesis , countrywide floating monthly licenses usable for 4 years with user flexibility for start date and end date of each license , countrywide floating perpetual licenses inclusive of 1 year amc , sub category-c2: physically aware synthesis sub category-c2: physically aware synthesis , countrywide floating monthly licenses usable for 4 years with user flexibility for start date and end date of each license , countrywide floating perpetual licenses inclusive of 1 year amc , sub category-c3: low power synthesis , countrywide floating monthly licenses usable for 4 years with user flexibility for start date and end date of each license , countrywide floating perpetual licenses inclusive of 1 year amc , category-d:floorplanning , partitioning place & route solution , sub category-d1: floorplanning , place and route , countrywide floating monthly licenses usable for 4 years with user flexibility for start date and end date of each license , countrywide floating perpetual licenses inclusive of 1 year amc , sub category-d2: low power support , countrywide floating monthly licenses usable for 4 years with user flexibility for start date and end date of each license , countrywide floating perpetual licenses inclusive of 1 year amc , sub category-d3 : advance node features , countrywide floating monthly licenses usable for 4 years with user flexibility for start date and end date of each license , countrywide floating perpetual licenses inclusive of 1 year amc , category-e: signoff timing solution , countrywide floating monthly licenses usable for 4 years with user flexibility for start date and end date of each license , countrywide floating perpetual licenses inclusive of 1 year amc , category-f: signoff power solution , countrywide floating monthly licenses usable for 4 years with user flexibility for start date and end date of each license , countrywide floating perpetual licenses inclusive of 1 year amc , category-g: dft & atpg solution , sub category-g1 : dft , countrywide floating monthly licenses usable for 4 years with user flexibility for start date and end date of each license , countrywide floating perpetual licenses inclusive of 1 year amc , sub category-g2 : atpg , countrywide floating monthly licenses usable for 4 years with user flexibility for start date and end date of each license , countrywide floating perpetual licenses inclusive of 1 year amc , sub category-g3 : mbist , countrywide floating monthly licenses usable for 4 years with user flexibility for start date and end date of each license , countrywide floating perpetual licenses inclusive of 1 year amc , sub category-g4 : lbist , countrywide floating monthly licenses usable for 4 years with user flexibility for start date and end date of each license , countrywide floating perpetual licenses inclusive of 1 year amc , category-h: extraction & physical verification solution , sub category-h1 : rc extraction , countrywide floating monthly licenses usable for 4 years with user flexibility for start date and end date of each license , countrywide floating perpetual licenses inclusive of 1 year amc , sub category-h2 : drc verification , countrywide floating monthly licenses usable for 4 years with user flexibility for start date and end date of each license , countrywide floating perpetual licenses inclusive of 1 year amc , sub category-h3 : lvs verification , countrywide floating monthly licenses usable for 4 years with user flexibility for start date and end date of each license , countrywide floating perpetual licenses inclusive of 1 year amc