LUP Statistics
Record
- Title
- Investigation of Formal Verification Method for Clock and Reset Generation
- Type
- Student Paper
- Publ. year
- 2024
- Author/s
- Xi, Zhenzhong; Wang, Bin
- Department/s
- Department of Electrical and Information Technology
- In LUP since
- 2024-10-16
Downloads
| Total | This Year | This Month |
| 403 | 355 | 4 |
United States of America  |
111 (30%) |
Sweden  |
82 (22%) |
China  |
35 (9%) |
India  |
17 (5%) |
United Kingdom of Great Britain and Northern Ireland  |
15 (4%) |
Taiwan (China)  |
14 (4%) |
Germany  |
14 (4%) |
Viet Nam  |
7 (2%) |
Brazil  |
7 (2%) |
Hong Kong (China)  |
6 (2%) |
Australia  |
6 (2%) |
Singapore  |
5 (1%) |
Netherlands (Kingdom of the)  |
5 (1%) |
Japan  |
5 (1%) |
Russian Federation  |
4 (1%) |
South Korea  |
4 (1%) |
Italy  |
3 (1%) |
Philippines  |
3 (1%) |
Romania  |
3 (1%) |
Unknown  |
3 (1%) |
Malaysia  |
3 (1%) |
France  |
3 (1%) |
Egypt  |
2 (1%) |
Turkiye  |
2 (1%) |
Pakistan  |
2 (1%) |
Canada  |
2 (1%) |
Austria  |
1 (0%) |
Poland  |
1 (0%) |
Denmark  |
1 (0%) |
Morocco  |
1 (0%) |
Nigeria  |
1 (0%) |
Switzerland  |
1 (0%) |
Serbia  |
1 (0%) |
Ukraine  |
1 (0%) |
Moldova, The Republic of  |
1 (0%) |
Belgium  |
1 (0%) |
Belarus  |
1 (0%) |