Statistics for Guiding RTL Test Generation Using Relevant Potential Invariants
Total visits
| views | |
|---|---|
| Guiding RTL Test Generation Using Relevant Potential Invariants | 310 |
Total visits per month
| views | |
|---|---|
| July 2024 | 1 |
| August 2024 | 2 |
| September 2024 | 0 |
| October 2024 | 0 |
| November 2024 | 0 |
| December 2024 | 0 |
| January 2025 | 0 |
File Visits
| views | |
|---|---|
| Khanna_T_T_2018.pdf | 644 |
Top country views
| views | |
|---|---|
| United States | 206 |
| France | 25 |
| China | 19 |
| Germany | 18 |
| Finland | 6 |
| Sweden | 6 |
| Hong Kong SAR China | 3 |
| Ireland | 3 |
| Singapore | 3 |
| India | 2 |
| Vietnam | 2 |
| Australia | 1 |
| Bulgaria | 1 |
| Denmark | 1 |
| Iran | 1 |
| Japan | 1 |
| South Korea | 1 |
| Malaysia | 1 |
| Poland | 1 |
| Russia | 1 |
| Turkey | 1 |
| Taiwan | 1 |
| Ukraine | 1 |
Top city views
| views | |
|---|---|
| Ashburn | 76 |
| Reston | 33 |
| Blacksburg | 22 |
| Des Moines | 5 |
| Boardman | 4 |
| Brooklyn | 4 |
| Chandler | 4 |
| Chongqing | 4 |
| Central | 3 |
| Laveen | 3 |
| Los Angeles | 3 |
| Plymouth | 3 |
| Singapore | 3 |
| Balingen | 2 |
| Beijing | 2 |
| Castro Valley | 2 |
| Dublin | 2 |
| Folsom | 2 |
| Hanoi | 2 |
| Hillsboro | 2 |
| Nanjing | 2 |
| Adapazarı | 1 |
| Andover | 1 |
| Atlanta | 1 |
| Brighton | 1 |
| Danville | 1 |
| Delhi | 1 |
| Emeryville | 1 |
| Fredericksburg | 1 |
| Germantown | 1 |
| Hebei | 1 |
| Huntington | 1 |
| Jiaxing | 1 |
| Kolkata | 1 |
| La Rochelle | 1 |
| Ludwigshafen am Rhein | 1 |
| Minneapolis | 1 |
| Mountain View | 1 |
| Nanchang | 1 |
| Newport News | 1 |
| Novosibirsk | 1 |
| Old Bridge | 1 |
| Paris | 1 |
| Petaling Jaya | 1 |
| Phoenix | 1 |
| Portland | 1 |
| San Diego | 1 |
| San Jose | 1 |
| Shenzhen | 1 |
| Sofia | 1 |
| Stafford | 1 |
| Sterling | 1 |
| Suwon | 1 |
| Taichung | 1 |
| Warsaw | 1 |
| Winston-Salem | 1 |
| Xiamen | 1 |
| Zhengzhou | 1 |
| Ålborg | 1 |