Zobrazeno 1 - 10
of 70 353
pro vyhledávání: '"formal verification"'
Autor:
Metere, Roberto, Ye, Kangfeng, Gu, Yue, Zhang, Zhi, Alrajeh, Dalal, Sevegnani, Michele, Yadav, Poonam
As Open Radio Access Networks (O-RAN) continue to expand, AI-driven applications (xApps) are increasingly being deployed enhance network management. However, developing xApps without formal verification risks introducing logical inconsistencies, part
Externí odkaz:
http://arxiv.org/abs/2411.03943
Publikováno v:
EPTCS 409, 2024
This volume contains the proceedings of GandALF 2024, the Fifteenth International Symposium on Games, Automata, Logics, and Formal Verification. GandALF 2024 took place on 19-21 June 2024, in Reykjavik, Iceland. The aim of GandALF 2024 is to bring to
Externí odkaz:
http://arxiv.org/abs/2410.21884
Autor:
Kasibatla, Saketh Ram, Agarwal, Arpan, Brun, Yuriy, Lerner, Sorin, Ringer, Talia, First, Emily
Formal verification using proof assistants, such as Coq, is an effective way of improving software quality, but it is expensive. Writing proofs manually requires both significant effort and expertise. Recent research has used machine learning to auto
Externí odkaz:
http://arxiv.org/abs/2410.19940
The remarkable reasoning and code generation capabilities of large language models (LLMs) have spurred significant interest in applying LLMs to enable task automation in digital chip design. In particular, recent work has investigated early ideas of
Externí odkaz:
http://arxiv.org/abs/2410.23299
The design of Systems on Chips (SoCs) is becoming more and more complex due to technological advancements. Missed bugs can cause drastic failures in safety-critical environments leading to the endangerment of lives. To overcome these drastic failures
Externí odkaz:
http://arxiv.org/abs/2410.18454
Registers in IP blocks of an SoC perform a variety of functions, most of which are essential to the SoC operation. The complexity of register implementation is relatively low when compared with other design blocks. However, the extensive number of re
Externí odkaz:
http://arxiv.org/abs/2410.15479