CATALOGO DEI PRODOTTI DELLA RICERCA

GUARNIERI, Valerio
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 1.161
EU - Europa 701
AS - Asia 520
SA - Sud America 47
AF - Africa 5
OC - Oceania 2
Continente sconosciuto - Info sul continente non disponibili 1
Totale 2.437
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.149
GB - Regno Unito 203
CN - Cina 195
SG - Singapore 190
IT - Italia 88
HK - Hong Kong 73
SE - Svezia 70
FI - Finlandia 66
FR - Francia 63
DE - Germania 57
RU - Federazione Russa 50
IE - Irlanda 44
BR - Brasile 43
KR - Corea 23
UA - Ucraina 19
BE - Belgio 16
VN - Vietnam 16
AT - Austria 6
CA - Canada 5
MX - Messico 5
ID - Indonesia 4
GR - Grecia 3
IN - India 3
JP - Giappone 3
NL - Olanda 3
AE - Emirati Arabi Uniti 2
BG - Bulgaria 2
EC - Ecuador 2
EE - Estonia 2
HU - Ungheria 2
IL - Israele 2
KZ - Kazakistan 2
PA - Panama 2
PE - Perù 2
PL - Polonia 2
A2 - ???statistics.table.value.countryCode.A2??? 1
AU - Australia 1
AZ - Azerbaigian 1
BD - Bangladesh 1
CZ - Repubblica Ceca 1
DK - Danimarca 1
DZ - Algeria 1
EG - Egitto 1
ES - Italia 1
GE - Georgia 1
MA - Marocco 1
NO - Norvegia 1
NZ - Nuova Zelanda 1
PH - Filippine 1
SK - Slovacchia (Repubblica Slovacca) 1
TJ - Tagikistan 1
TR - Turchia 1
TW - Taiwan 1
TZ - Tanzania 1
ZA - Sudafrica 1
Totale 2.437
Salva come PNG Salva come JPEG
Città #
Chandler 199
Southend 154
Jacksonville 151
Woodbridge 127
Singapore 103
Houston 91
Ann Arbor 87
Ashburn 78
Hong Kong 73
Dallas 46
Dublin 44
Verona 39
Beijing 36
Lawrence 24
Princeton 24
Wilmington 24
Seoul 23
The Dalles 21
Nanjing 18
Brussels 16
Jinan 15
New York 15
Columbus 14
Milan 12
Santa Clara 12
Hebei 11
Boardman 10
Helsinki 10
Lancaster 10
Dong Ket 9
Munich 9
Washington 8
Jiaxing 7
Norwalk 7
San Francisco 7
Tianjin 7
Cagliari 6
Changsha 6
Council Bluffs 6
Ningbo 6
Taizhou 6
Guangzhou 5
Haikou 5
Sindelfingen 5
São Paulo 5
Auburn Hills 4
Frankfurt am Main 4
Fuzhou 4
Jakarta 4
Los Angeles 4
Rome 4
Seattle 4
Shanghai 4
Shenyang 4
Stockholm 4
Taiyuan 4
Turku 4
Atlanta 3
Lappeenranta 3
London 3
Nuremberg 3
Saint-martin-d'heres 3
Almaty 2
Athens 2
Boston 2
Cambridge 2
Chions 2
Delft 2
Dongguan 2
Dubai 2
Florence 2
Guayaquil 2
Hangzhou 2
Karlsruhe 2
Kent 2
Lanzhou 2
Lima 2
Moscow 2
Nettuno 2
Redwood City 2
Rio de Janeiro 2
Sofia 2
Tallinn 2
Toronto 2
Toulouse 2
Tulsa 2
Warsaw 2
Agudo 1
Andradina 1
Anápolis 1
Aparecida de Goiânia 1
Auckland 1
Baku 1
Bovolone 1
Brasília 1
Bratislava 1
Brooklyn 1
Budapest 1
Cabo Frio 1
Cairo 1
Totale 1.717
Salva come PNG Salva come JPEG
Nome #
HDTLib: an efficient implementation of SystemC data types for fast simulation at different abstraction levels 140
Automatic HDL Conversion and Abstraction Methodologies 135
On the Reuse of RTL assertions in Systemc TLM Verification 120
Reduced-Complexity Transition-Fault Test Generation for Non-Scan Circuits through High-level Mutant Injection 117
Energy Aware TLM Platform Simulation via RTL Abstraction 116
Design and Verification Techniques for TLM-based Design Flows 110
Efficient Implementation and Abstraction of SystemC Data Types for Fast Simulation 109
Reusing RTL assertion checkers for verification of SystemC TLM models 105
Mutation Analysis for SystemC Designs at TLM 104
From RTL IP to functional system-level models with extra-functional properties 104
Design Domains and Abstraction Levels for Effective Smart System Simulation 103
On the Reuse of TLM Mutation Analysis at RTL 102
A Cross-level Verification Methodology for Digital IPs Augmented with Embedded Timing Monitors 101
Testbench qualification of SystemC TLM protocols through Mutation Analysis 100
Redesign and Verification of RTL IPs through RTL-to-TLM Abstraction and TLM Synthesis 95
FAST: An RTL Fault Simulation Framework based on RTL-to-TLM Abstraction 94
An Optimized CLP-based Technique for Generating Propagation Sequences 93
Design and simulation of an integrated optical CMOS heart rate sensor 93
Automatic Synthesis of OSCI TLM-2.0 Models into RTL Bus-based IPs 93
A Single-Chip CMOS Pulse Oximeter with On-Chip Lock-In Detection 91
Accelerating RTL Fault Simulation through RTL-to-TLM Abstraction 90
Model Checking on TLM-2.0 IPs through automatic TLM-to-RTL synthesis 85
Code Manipulation for Virtual Platform Integration 84
FAST-GP: An RTL Functional Verification Framework based on Fault Simulation on GP-GPUs 80
Totale 2.464
Salva come PNG Salva come JPEG
Categoria #
all - tutte 8.827
article - articoli 2.554
book - libri 0
conference - conferenze 5.550
curatela - curatele 0
other - altro 377
patent - brevetti 0
selected - selezionate 0
volume - volumi 346
Totale 17.654
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021159 0 0 4 25 34 25 9 14 7 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/2026156 106 48 2 0 0 0 0 0 0 0 0 0
Totale 2.464