Statistics: Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design – FMCAD 2021

From: ever To: now Change data

Email Alert

RSS Feed

Geo Map

Save as a PNG Save as a JPEG

Region	#
EU - Europe	1636
NA - North America	911
AS - Asia, other	757
SA - South America	26
AF - Africa	19
OC - Oceania	11
Unknown Continent - Not applicable	1
Unknown	6
Total	3367

Save as a PNG Save as a JPEG

Country	#
US - United States of America	852
AT - Austria	280
DE - Germany	254
GB - United Kingdom	238
CN - China	225
IL - Israel	131
FR - France	124
NL - Netherlands	117
RU - Russian Federation	117
HK - Hong Kong	103
other - Other Country	926
Total	3367

Save as a PNG Save as a JPEG

City	#
Vienna	153
San Francisco	75
Dublin	71
Helsinki	69
Qingdao	65
Paris	58
Ashburn	54
Wanchai	47
Cambridge	46
Singapore	39
other	1878
Total	2555

Save as a PNG Save as a JPEG

Most downloaded files	#
ID: 80393 - Gao-2021-End-to-End Formal Verification of a RISC-V Processor Extended wi...-vor.pdf - ITEM:( 20.500.12708/18622)	259
Total	259

Save as a PNG Save as a JPEG

Year	Jan	Feb	Mar	Apr	May	Jun	Jul	Aug	Sep	Oct	Nov	Dec	Tot
2021	0	0	0	0	0	0	0	0	0	631	257	121	1009
2022	120	81	103	154	153	54	87	42	100	50	51	51	1046
2023	68	81	61	50	54	40	37	25	36	166	133	52	803
2024	128	83	147	139	12	0	0	0	0	0	0	0	509
Ever													3367