Statistics
Total Visits
Name | Views |
---|---|
An Encoding of the Clock Cycle Semantics of Bluespec SystemVerilog in PVS | 210 |
Total Visits per Month
Name | January 2024 | February 2024 | March 2024 | April 2024 | May 2024 | June 2024 | July 2024 |
---|---|---|---|---|---|---|---|
An Encoding of the Clock Cycle Semantics of Bluespec SystemVerilog in PVS | 14 | 12 | 11 | 14 | 17 | 20 | 13 |
File Downloads
Name | Views |
---|---|
Moore_Nicholas_CC_202209_PhD.pdf | 279 |
Top Country Views
Name | Views |
---|---|
Canada | 80 |
United States | 40 |
Taiwan | 20 |
China | 7 |
United Kingdom | 4 |
Turkey | 4 |
India | 3 |
Australia | 2 |
South Korea | 2 |
Argentina | 1 |
Top City Views
Name | Views |
---|---|
Hamilton | 71 |
Taipei | 9 |
Hsinchu | 8 |
Menlo Park | 7 |
Ashburn | 5 |
San Ramon | 4 |
Glasgow | 3 |
Ankara | 2 |
Ann Arbor | 2 |
Antalya | 2 |