SearcharxivSearch

arXiv subjects

Pratibha Verma

Publications and source records attributed to Pratibha Verma.

4 recordsLinked to original sources

A flexible language model-assisted electronic design automation framework

Large language models (LLMs) are transforming electronic design automation (EDA) by enhancing design stages such as schematic design, simulation, netlist synthesis, and place-and-route. Existing methods primarily focus these optimisations within isolated open-source EDA tools and often lack the flexibility to handle multiple domains, such as analogue, digital, and radio-frequency design. In contrast, modern systems require to interface with commercial EDA environments, adhere to tool-specific operation rules, and incorporate feedback from design outcomes while supporting diverse design flows. We propose a versatile framework that uses LLMs to generate files compatible with commercial EDA tools and optimise designs using power-performance-area reports. This is accomplished by guiding the LLMs with tool constraints and feedback from design outputs to meet tool requirements and user specifications. Case studies on operational transconductance amplifiers, microstrip patch antennas, and FPGA circuits show that the framework is effective as an EDA-aware assistant, handling diverse design challenges reliably.

eess.SY

Global Existence and Mass Decay Analysis of solutions to the discrete Redner-Ben-Avraham-Kahng coagulation model

The Redner-Ben-Avraham-Kahng (RBK) coagulation model provide a fundamental framework for modeling the aggregation of particles in various physical and biological systems. In this paper, we investigate the global existence of solutions to the discrete version of RBK coagulation equations, encompassing a wide range of coagulation kernels. Furthermore, we demonstrate that the mass decays with time and will eventually reach to zero even if the original mass is not finite. A small size particle is produced in the RBK coagulation model when two large particles collide with a slight size difference. Dealing with the role played by large size particles in the creation of small size particles was the major challenge of this research.

math.CA

Convergence of the discrete Redner-Ben-Avraham-Kahng coagulation equation

This article looks at the relationship between the discrete and the continuous Redner-Ben-Avraham-Kahng (RBK) coagulation models. On the basis of a priori estimation, a weak stability principle and the weak compactness in $L_1$ for the continuous RBK model is shown. By employing a sequence of discrete models to approximate the continuous one, we show that how discrete model eventually converges to the the modified continuous one using the stability principle.

math.FA

Existence of solutions to the continuous RednerBen-AvrahamKahng coagulation equation

We take into account a coagulation model that simulates a distinct kind of dynamics. In this model, two particles collide to produce a single particle, but the resulting particle decreases in size, allowing each particle to be fully identified by its size. It is demonstrated that the corresponding evolving integral partial differential equation has solutions for product-type coagulation kernels i.e. $0 \le \mathfrak{K}(\varrho, ς)= \mathfrak{K}(ς, \varrho)=r(ς) r(\varrho)+α(ς, \varrho), (ς, \varrho)\in \mathbb{R}_+^2$ and $\sup_{ς\in [0,R]} \frac{\mathfrak{K}(ς, \varrho)}{\varrho} \to 0 \ \mbox{as} \ \varrho \to \infty$.

math.CA