CATALOGO DEI PRODOTTI DELLA RICERCA

GUARNIERI, Valerio
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 1.601
EU - Europa 1.173
AS - Asia 882
SA - Sud America 65
AF - Africa 17
OC - Oceania 2
Continente sconosciuto - Info sul continente non disponibili 1
Totale 3.741
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.580
RU - Federazione Russa 469
SG - Singapore 347
CN - Cina 254
GB - Regno Unito 211
IT - Italia 114
VN - Vietnam 95
HK - Hong Kong 78
SE - Svezia 70
FI - Finlandia 67
FR - Francia 63
DE - Germania 62
BR - Brasile 52
KR - Corea 46
IE - Irlanda 44
UA - Ucraina 20
BE - Belgio 16
BD - Bangladesh 9
CA - Canada 9
ID - Indonesia 8
AT - Austria 7
MX - Messico 7
ES - Italia 6
IN - India 6
JP - Giappone 6
AR - Argentina 5
IQ - Iraq 5
PL - Polonia 5
ZA - Sudafrica 5
GR - Grecia 4
NG - Nigeria 4
NL - Olanda 4
TR - Turchia 4
EC - Ecuador 3
KZ - Kazakistan 3
PE - Perù 3
SA - Arabia Saudita 3
AE - Emirati Arabi Uniti 2
AZ - Azerbaigian 2
BG - Bulgaria 2
EE - Estonia 2
HU - Ungheria 2
IL - Israele 2
MA - Marocco 2
MY - Malesia 2
PA - Panama 2
PH - Filippine 2
VE - Venezuela 2
A2 - ???statistics.table.value.countryCode.A2??? 1
AO - Angola 1
AU - Australia 1
CR - Costa Rica 1
CZ - Repubblica Ceca 1
DK - Danimarca 1
DZ - Algeria 1
EG - Egitto 1
GA - Gabon 1
GD - Grenada 1
GE - Georgia 1
IR - Iran 1
LT - Lituania 1
NI - Nicaragua 1
NO - Norvegia 1
NP - Nepal 1
NZ - Nuova Zelanda 1
OM - Oman 1
SK - Slovacchia (Repubblica Slovacca) 1
TJ - Tagikistan 1
TN - Tunisia 1
TW - Taiwan 1
TZ - Tanzania 1
UZ - Uzbekistan 1
YE - Yemen 1
Totale 3.741
Salva come PNG Salva come JPEG
Città #
Singapore 209
Chandler 199
Moscow 157
Southend 154
Ashburn 153
Jacksonville 151
Dallas 144
Woodbridge 127
San Jose 123
Houston 96
Ann Arbor 87
Hong Kong 78
Verona 64
The Dalles 57
Dublin 44
Beijing 43
Ho Chi Minh City 27
Lawrence 24
Princeton 24
Wilmington 24
Seoul 23
Hanoi 22
Los Angeles 22
Nanjing 18
New York 18
Brussels 16
Santa Clara 16
Jinan 15
Columbus 14
Milan 12
Hebei 11
Helsinki 11
Boardman 10
Lancaster 10
Dong Ket 9
Munich 9
San Francisco 9
Guangzhou 8
Tianjin 8
Washington 8
Buffalo 7
Jiaxing 7
Norwalk 7
São Paulo 7
Cagliari 6
Changsha 6
Council Bluffs 6
Frankfurt am Main 6
Haikou 6
Ningbo 6
Orem 6
Taizhou 6
Brooklyn 5
Hangzhou 5
Jakarta 5
Redondo Beach 5
Seattle 5
Shanghai 5
Sindelfingen 5
Warsaw 5
Abuja 4
Atlanta 4
Auburn Hills 4
Chicago 4
Denver 4
Fuzhou 4
Johannesburg 4
Nuremberg 4
Poplar 4
Rome 4
Shenyang 4
Stockholm 4
Taiyuan 4
Tokyo 4
Turku 4
Athens 3
Dongguan 3
Haiphong 3
Lappeenranta 3
London 3
Saint-martin-d'heres 3
Shenzhen 3
Almaty 2
Ankara 2
Augusta 2
Baku 2
Biên Hòa 2
Boston 2
Cambridge 2
Chions 2
Da Nang 2
Delft 2
Dubai 2
Falkenstein 2
Florence 2
Guayaquil 2
Karlsruhe 2
Kent 2
Lanzhou 2
Lima 2
Totale 2.487
Salva come PNG Salva come JPEG
Nome #
Automatic HDL Conversion and Abstraction Methodologies 212
HDTLib: an efficient implementation of SystemC data types for fast simulation at different abstraction levels 204
On the Reuse of RTL assertions in Systemc TLM Verification 184
A Cross-level Verification Methodology for Digital IPs Augmented with Embedded Timing Monitors 179
Efficient Implementation and Abstraction of SystemC Data Types for Fast Simulation 171
An Optimized CLP-based Technique for Generating Propagation Sequences 164
Energy Aware TLM Platform Simulation via RTL Abstraction 164
Reduced-Complexity Transition-Fault Test Generation for Non-Scan Circuits through High-level Mutant Injection 161
Design Domains and Abstraction Levels for Effective Smart System Simulation 158
Design and simulation of an integrated optical CMOS heart rate sensor 156
On the Reuse of TLM Mutation Analysis at RTL 155
Design and Verification Techniques for TLM-based Design Flows 155
A Single-Chip CMOS Pulse Oximeter with On-Chip Lock-In Detection 153
FAST: An RTL Fault Simulation Framework based on RTL-to-TLM Abstraction 151
Mutation Analysis for SystemC Designs at TLM 150
From RTL IP to functional system-level models with extra-functional properties 150
Reusing RTL assertion checkers for verification of SystemC TLM models 149
Code Manipulation for Virtual Platform Integration 144
Model Checking on TLM-2.0 IPs through automatic TLM-to-RTL synthesis 143
Accelerating RTL Fault Simulation through RTL-to-TLM Abstraction 138
Automatic Synthesis of OSCI TLM-2.0 Models into RTL Bus-based IPs 135
Redesign and Verification of RTL IPs through RTL-to-TLM Abstraction and TLM Synthesis 134
Testbench qualification of SystemC TLM protocols through Mutation Analysis 132
FAST-GP: An RTL Functional Verification Framework based on Fault Simulation on GP-GPUs 126
Totale 3.768
Salva come PNG Salva come JPEG
Categoria #
all - tutte 11.486
article - articoli 3.327
book - libri 0
conference - conferenze 7.235
curatela - curatele 0
other - altro 466
patent - brevetti 0
selected - selezionate 0
volume - volumi 458
Totale 22.972
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202141 0 0 0 0 0 0 0 0 0 4 20 17
2021/2022165 8 45 0 13 12 3 6 10 2 8 19 39
2022/2023472 31 52 31 109 43 89 9 26 54 6 17 5
2023/2024218 11 18 17 12 28 50 3 15 4 24 24 12
2024/2025485 36 46 13 105 19 22 6 30 60 23 53 72
2025/20261.460 106 48 147 211 431 116 173 61 64 103 0 0
Totale 3.768