[HTML][HTML] Bridging Community Engagement and Technological Innovation for Creating Smart and Resilient Cities: A Systematic Literature Review

N Kangana, N Kankanamge, C De Silva… - Smart Cities, 2024 - mdpi.com
Highlights This study highlights three contextual variables, trust in the crowd, digital divide,
and cultural sensitivity, that are important for effectively executing smart community-based …

Survey of machine learning for software-assisted hardware design verification: Past, present, and prospect

N Wu, Y Li, H Yang, H Chen, S Dai, C Hao… - ACM Transactions on …, 2024 - dl.acm.org
With the ever-increasing hardware design complexity comes the realization that efforts
required for hardware verification increase at an even faster rate. Driven by the push from …

[HTML][HTML] Generative AI Assertions in UVM-Based System Verilog Functional Verification

V Radu, D Dranga, C Dumitrescu, AI Tabirca… - Systems, 2024 - mdpi.com
This paper investigates the potential of leveraging artificial intelligence to automate and
optimize the verification process, particularly in generating System Verilog assertions for an …

Coverage fulfillment automation in hardware functional verification using genetic algorithms

GM Danciu, A Dinu - Applied Sciences, 2022 - mdpi.com
The functional verification process is one of the most expensive steps in integrated circuit
manufacturing. Functional coverage is the most important metric in the entire verification …

[BOOK][B] Machine Learning Techniques for Cybersecurity

E Bertino, S Bhardwaj, F Cicala, S Gong, I Karim… - 2023 - Springer
The protection of information and information infrastructures from unauthorized access, use,
disclosure, disruption, modification, or destruction is today more critical than ever as they …

Artificial Intelligence Application in the Field of Functional Verification

D Dranga, C Dumitrescu - Electronics, 2024 - mdpi.com
The rising interest in Artificial Intelligence and the increasing time invested in functional
verification processes are driving the demand for AI solutions in this field. Functional …

[PDF][PDF] A Survey of Machine Learning Applications in Functional Verification

D Yu, H Foster, T Fitzpatrick - DVCon US, 2023 - dvcon-proceedings.org
Functional verification (FV) is computationally and data-intensive by nature, making it a
natural target of machine learning (ML) applications. This paper provides a comprehensive …

Efficient Stimuli Generation using Reinforcement Learning in Design Verification

DN Gadde, T Nalapat, A Kumar, D Lettnin… - arxiv preprint arxiv …, 2024 - arxiv.org
The increasing design complexity of System-on-Chips (SoCs) has led to significant
verification challenges, particularly in meeting coverage targets within a timely manner. At …

Seed Selector: A Tree Evaluation Mechanism to Speed Up Functional Coverage Collection in Hardware Verification Environments

AF Porras, ER Alvarado - Future of Information and Communication …, 2024 - Springer
Functional verification is the process of demonstrating that a system meets its functional
requirements before it is manufactured. Functional coverage is a measure of which …

FIFO Topology Aware Stalling for Accelerating Coverage Convergence of Stalling Regressions

D Chatterjee, P Lathigara, S Dhodhi… - 2022 IEEE 40th VLSI …, 2022 - ieeexplore.ieee.org
Artificial Stalling of Virtual Channels (VCs) is used in verification to increase delays between
requests, responses, and other events to create test congestion scenarios which are rarely …