Statistics for Static Analysis to improve RTL Verification
Total visits
| views | |
|---|---|
| Static Analysis to improve RTL Verification | 515 |
Total visits per month
| views | |
|---|---|
| July 2024 | 2 |
| August 2024 | 0 |
| September 2024 | 0 |
| October 2024 | 0 |
| November 2024 | 0 |
| December 2024 | 4 |
| January 2025 | 0 |
File Visits
| views | |
|---|---|
| Agrawal_A_T_2017.pdf | 1173 |
Top country views
| views | |
|---|---|
| United States | 260 |
| China | 38 |
| Germany | 32 |
| India | 22 |
| South Korea | 22 |
| United Kingdom | 19 |
| France | 17 |
| Egypt | 9 |
| Singapore | 8 |
| Hong Kong SAR China | 6 |
| Japan | 6 |
| Finland | 5 |
| Italy | 5 |
| Russia | 5 |
| Israel | 4 |
| Pakistan | 4 |
| Malaysia | 3 |
| Sweden | 3 |
| Turkey | 3 |
| Vietnam | 3 |
| Austria | 2 |
| Australia | 2 |
| Denmark | 2 |
| Greece | 2 |
| Ireland | 2 |
| Iran | 2 |
| Oman | 2 |
| Poland | 2 |
| Brazil | 1 |
| Canada | 1 |
| Estonia | 1 |
| Spain | 1 |
| Netherlands | 1 |
| Sudan | 1 |
| Taiwan | 1 |
| South Africa | 1 |
Top city views
| views | |
|---|---|
| Ashburn | 55 |
| Reston | 32 |
| Blacksburg | 17 |
| Boardman | 16 |
| Santa Clara | 11 |
| Southend | 9 |
| Gaithersburg | 8 |
| Singapore | 8 |
| Cambridge | 7 |
| Chongqing | 7 |
| Seoul | 7 |
| Beijing | 6 |
| Los Angeles | 6 |
| Bangalore | 5 |
| Minneapolis | 5 |
| Alexandria | 4 |
| Central | 4 |
| Zhengzhou | 4 |
| Bengaluru | 3 |
| Boston | 3 |
| Brooklyn | 3 |
| Chandler | 3 |
| Gainesville | 3 |
| Nanjing | 3 |
| Shanghai | 3 |
| Taito | 3 |
| Athens | 2 |
| Balingen | 2 |
| Cairo | 2 |
| Castro Valley | 2 |
| Chicago | 2 |
| Chino | 2 |
| Cupertino | 2 |
| Darmstadt | 2 |
| Dublin | 2 |
| Hanoi | 2 |
| Hoboken | 2 |
| Melbourne | 2 |
| Mesa | 2 |
| Milan | 2 |
| Mumbai | 2 |
| Munich | 2 |
| Noida | 2 |
| Osan | 2 |
| Phoenix | 2 |
| Portland | 2 |
| Rawalpindi | 2 |
| Suwon | 2 |
| Sylmar | 2 |
| Tianjin | 2 |
| Tokyo | 2 |
| Vienna | 2 |
| Ahmedabad | 1 |
| Albuquerque | 1 |
| Andover | 1 |
| Ankara | 1 |
| Ann Arbor | 1 |
| Arlington | 1 |
| Badalona | 1 |
| Beaverton | 1 |
| Bogazici | 1 |
| Chengdu | 1 |
| Chennai | 1 |
| College Station | 1 |
| Copenhagen | 1 |
| Daejeon | 1 |
| Damietta | 1 |
| Des Moines | 1 |
| Doncaster | 1 |
| El Dorado Hills | 1 |
| Gan Yavne | 1 |
| Georgetown | 1 |
| Griesheim | 1 |
| Guwahati | 1 |
| Gyeonggi-do | 1 |
| Hamburg | 1 |
| Hangzhou | 1 |
| Harnaut | 1 |
| Helsinki | 1 |
| Herlev | 1 |
| Huntington | 1 |
| Hyderabad | 1 |
| Indianapolis | 1 |
| Istanbul | 1 |
| Jacksonville | 1 |
| Jerusalem | 1 |
| Kansas City | 1 |
| Kulim | 1 |
| Laurel | 1 |
| London | 1 |
| Ludwigshafen am Rhein | 1 |
| Manhattan | 1 |
| Marseille | 1 |
| Mather | 1 |
| Modena | 1 |
| Montréal | 1 |
| Mordelles | 1 |
| Moscow | 1 |
| Nanchang | 1 |
| Northampton | 1 |