LUP Statistics
Record
- Title
- Exploration of formal verification in GPU hardware IP
- Type
- Student Paper
- Publ. year
- 2019
- Author/s
- Gupta, Nishant
- Department/s
- Department of Electrical and Information Technology
- In LUP since
- 2019-10-29
Downloads
| Total | This Year | This Month |
| 1349 | 726 | 9 |
United States of America  |
663 (49%) |
China  |
106 (8%) |
Sweden  |
93 (7%) |
India  |
57 (4%) |
United Kingdom of Great Britain and Northern Ireland  |
37 (3%) |
Germany  |
32 (2%) |
Brazil  |
25 (2%) |
Viet Nam  |
23 (2%) |
Singapore  |
22 (2%) |
Hong Kong (China)  |
19 (1%) |
Canada  |
17 (1%) |
Russian Federation  |
16 (1%) |
France  |
14 (1%) |
Netherlands (Kingdom of the)  |
12 (1%) |
Taiwan (China)  |
11 (1%) |
Japan  |
11 (1%) |
South Korea  |
9 (1%) |
Belarus  |
9 (1%) |
Spain  |
9 (1%) |
Israel  |
8 (1%) |
Egypt  |
8 (1%) |
Serbia  |
8 (1%) |
Indonesia  |
8 (1%) |
Bangladesh  |
7 (1%) |
Denmark  |
7 (1%) |
Australia  |
7 (1%) |
Iran  |
6 (0%) |
South Africa  |
6 (0%) |
Romania  |
6 (0%) |
Switzerland  |
5 (0%) |
Norway  |
5 (0%) |
Ireland  |
5 (0%) |
Mexico  |
5 (0%) |
Poland  |
5 (0%) |
Turkiye  |
5 (0%) |
Philippines  |
4 (0%) |
Venezuela  |
4 (0%) |
Argentina  |
4 (0%) |
Czechia  |
3 (0%) |
Malaysia  |
3 (0%) |
Italy  |
3 (0%) |
Finland  |
3 (0%) |
Ukraine  |
2 (0%) |
Algeria  |
2 (0%) |
Morocco  |
2 (0%) |
Greece  |
2 (0%) |
Belgium  |
2 (0%) |
Jordan  |
2 (0%) |
Uruguay  |
2 (0%) |
Chile  |
2 (0%) |
Unknown  |
2 (0%) |
Hungary  |
2 (0%) |
Pakistan  |
2 (0%) |
Thailand  |
1 (0%) |
Latvia  |
1 (0%) |
Kenya  |
1 (0%) |
Syrian Arab Republic  |
1 (0%) |
Gabon  |
1 (0%) |
Cyprus  |
1 (0%) |
Mongolia  |
1 (0%) |
Angola  |
1 (0%) |
Bolivia  |
1 (0%) |
Saudi Arabia  |
1 (0%) |
Slovakia  |
1 (0%) |
Congo  |
1 (0%) |
Costa Rica  |
1 (0%) |
Iraq  |
1 (0%) |
Palestinian Territory  |
1 (0%) |
Bulgaria  |
1 (0%) |
Cote d'Ivoire  |
1 (0%) |