arXiv subjects

Aman Kumar

Publications and source records attributed to Aman Kumar.

52 records · Page 3Linked to original sources

arXiv2024

Efficient Verification of a RADAR SoC Using Formal and Simulation-Based Methods

As the demand for Internet of Things (IoT) and Human-to-Machine Interaction (HMI) increases, modern System-on-Chips (SoCs) offering such solutions are becoming increasingly complex. This intricate design poses significant challenges for verification, particularly when time-to-market is a crucial factor for consumer electronics products. This paper presents a case study based on our work to verify a complex Radio Detection And Ranging (RADAR) based SoC that performs on-chip sensing of human motion with millimetre accuracy. We leverage both formal and simulation-based methods to complement each other and achieve verification sign-off with high confidence. While employing a requirements-driven flow approach, we demonstrate the use of different verification methods to cater to multiple requirements and highlight our know-how from the project. Additionally, we used Machine Learning (ML) based methods, specifically the Xcelium ML tool from Cadence, to improve verification throughput.

eess.SP↗

arXiv2024

A Semi-Formal Verification Methodology for Efficient Configuration Coverage of Highly Configurable Digital Designs

Nowadays, a majority of System-on-Chips (SoCs) make use of Intellectual Property (IP) in order to shorten development cycles. When such IPs are developed, one of the main focuses lies in the high configurability of the design. This flexibility on the design side introduces the challenge of covering a huge state space of IP configurations on the verification side to ensure the functional correctness under every possible parameter setting. The vast number of possibilities does not allow a brute-force approach, and therefore, only a selected number of settings based on typical and extreme assumptions are usually verified. Especially in automotive applications, which need to follow the ISO 26262 functional safety standard, the requirement of covering all significant variants needs to be fulfilled in any case. State-of-the-Art existing verification techniques such as simulation-based verification and formal verification have challenges such as time-space explosion and state-space explosion respectively and therefore, lack behind in verifying highly configurable digital designs efficiently. This paper is focused on a semi-formal verification methodology for efficient configuration coverage of highly configurable digital designs. The methodology focuses on reduced runtime based on simulative and formal methods that allow high configuration coverage. The paper also presents the results when the developed methodology was applied on a highly configurable microprocessor IP and discusses the gained benefits.

cs.SE↗

arXiv2024

Pragmatic Formal Verification Methodology for Clock Domain Crossing (CDC)

Modern System-on-Chip (SoC) designs are becoming more and more complex due to the technology upscaling. SoC designs often operate on multiple asynchronous clock domains, further adding to the complexity of the overall design. To make the devices power efficient, designers take a Globally-Asynchronous Locally-Synchronous (GALS) approach that creates multiple asynchronous domains. These Clock Domain Crossings (CDC) are prone to metastability effects, and functional verification of such CDC is very important to ensure that no bug escapes. Conventional verification methods, such as register transfer level (RTL) simulations and static timing analysis, are not enough to address these CDC issues, which may lead to verification gaps. Additionally, identifying these CDC-related bugs is very time-consuming and is one of the most common reasons for costly silicon re-spins. This paper is focused on the development of a pragmatic formal verification methodology to minimize the CDC issues by exercising Metastability Injection (MSI) in different CDC paths.

cs.AR↗

arXiv2024

All Artificial, Less Intelligence: GenAI through the Lens of Formal Verification

Modern hardware designs have grown increasingly efficient and complex. However, they are often susceptible to Common Weakness Enumerations (CWEs). This paper is focused on the formal verification of CWEs in a dataset of hardware designs written in SystemVerilog from Regenerative Artificial Intelligence (AI) powered by Large Language Models (LLMs). We applied formal verification to categorize each hardware design as vulnerable or CWE-free. This dataset was generated by 4 different LLMs and features a unique set of designs for each of the 10 CWEs we target in our paper. We have associated the identified vulnerabilities with CWE numbers for a dataset of 60,000 generated SystemVerilog Register Transfer Level (RTL) code. It was also found that most LLMs are not aware of any hardware CWEs; hence they are usually not considered when generating the hardware code. Our study reveals that approximately 60% of the hardware designs generated by LLMs are prone to CWEs, posing potential safety and security risks. The dataset could be ideal for training LLMs and Machine Learning (ML) algorithms to abstain from generating CWE-prone hardware designs.

cs.AI↗

arXiv2024

CoroNetGAN: Controlled Pruning of GANs via Hypernetworks

Generative Adversarial Networks (GANs) have proven to exhibit remarkable performance and are widely used across many generative computer vision applications. However, the unprecedented demand for the deployment of GANs on resource-constrained edge devices still poses a challenge due to huge number of parameters involved in the generation process. This has led to focused attention on the area of compressing GANs. Most of the existing works use knowledge distillation with the overhead of teacher dependency. Moreover, there is no ability to control the degree of compression in these methods. Hence, we propose CoroNet-GAN for compressing GAN using the combined strength of differentiable pruning method via hypernetworks. The proposed method provides the advantage of performing controllable compression while training along with reducing training time by a substantial factor. Experiments have been done on various conditional GAN architectures (Pix2Pix and CycleGAN) to signify the effectiveness of our approach on multiple benchmark datasets such as Edges-to-Shoes, Horse-to-Zebra and Summer-to-Winter. The results obtained illustrate that our approach succeeds to outperform the baselines on Zebra-to-Horse and Summer-to-Winter achieving the best FID score of 32.3 and 72.3 respectively, yielding high-fidelity images across all the datasets. Additionally, our approach also outperforms the state-of-the-art methods in achieving better inference time on various smart-phone chipsets and data-types making it a feasible solution for deployment on edge devices.

cs.CV↗

arXiv2024

Gamma-ray Blazar Classification using Machine Learning with Advanced Weight Initialization and Self-Supervised Learning Techniques

Machine learning has emerged as a powerful tool in the field of gamma-ray astrophysics. The algorithms can distinguish between different source types, such as blazars and pulsars, and help uncover new insights into the high-energy universe. The Large Area Telescope (LAT) on-board the Fermi Gamma-ray telescope has significantly advanced our understanding of the Universe. The instrument has detected a large number of gamma-ray emitting sources, among which a significant number of objects have been identified as active galactic nuclei (AGN). The sample is primarily composed of blazars; however, more than one-third of these sources are either of an unknown class or lack a definite association with a low-energy counterpart. In this work, we employ multiple machine learning algorithms to classify the sources based on their other physical properties. In particular, we utilized smart initialisation techniques and self-supervised learning for classifying blazars into BL Lacertae objects (BL Lac) and flat spectrum radio quasars (FSRQ). The core advantage of the algorithm is its simplicity, usage of minimum number of features and easy deployment due to lesser number of parameters without compromising on the performance. The model predicts that out of the 1115 sources of uncertain type in the 4FGL-DR3 catalog, 820 can be classified as BL Lacs, and 295 can be classified as FSRQs.

astro-ph.HE↗

arXiv2023

Jordan-Wigner fermionization of quantum spin systems on arbitrary 2D lattices: A mutual Chern-Simons approach

A variety of analytical approaches have been developed for the study of quantum spin systems in two dimensions, the notable ones being spin-waves, slave boson/fermion parton constructions, and for lattices with one-to-one local correspondence of faces and vertices, the 2D Jordan-Wigner (JW) fermionization. Field-theoretically, JW fermionization is implemented through Chern-Simons (CS) flux attachment. For a correct fermionization of lattice quantum spin-$1/2$ magnets, it is necessary that the fermions obey mutual bosonic (anyonic) statistics under exchange - this is not possible to implement on arbitrary 2D lattices if fermionic matter couples only to the lattice gauge fields. Enlarging the gauge degrees of freedom to include the dual lattice allows the construction of consistent mutual Chern-Simons field theories. Here we propose a mutual CS theory where the microscopic (spin) degrees of freedom are represented as lattice fermionic matter additionally coupled to specific combinations of dual lattice gauge fields that depend on the local geometry. We illustrate the use of this method for understanding the properties of a honeycomb Kitaev model subjected to a strong Zeeman field in the $z$-direction. Our CS gauge theory framework provides an understanding why the topological phase is degraded at lower (higher) critical fields for the ferro- (antiferro-) magnetic Kitaev interaction. Additionally, we observe an effectively one-dimensional character of the low-excitations at higher fields in the $z$-direction which we also confirm by spin-wave calculations.

cond-mat.str-el↗

arXiv2023

Thermal Hall conductivity near field-suppressed magnetic order in a Kitaev-Heisenberg model

We investigate thermal Hall conductivity $κ_{xy}$ of a $J$-$K$ Kitaev-Heisenberg model with a Zeeman field in the $(111)$ direction in the light of the recent debate surrounding the possible re-emergence of Ising topological order (ITO) and half-quantized $κ_{xy}/T$ upon field-suppression of long-range magnetic order in Kitaev materials. We use the purification-based finite temperature Tensor Network approach making no prior assumptions about the nature of the excitations: Majorana, visons or spin waves. For purely Kitaev interactions and fields $h/K \gtrsim 0.02$ sufficient to degrade ITO, the peak $κ_{xy}/T$ monotonously decreases from half-quantization associated with lower fields - a behavior reminiscent of vison fluctuation corrections. For higher fields $h/K\gtrsim 0.1,$ we find the results qualitatively consistent with a spin-wave treatment. In our $J$-$K$ model (with ferro-$K$ and antiferro-$J$), in the vicinity of field-suppressed magnetic order, we found $κ_{xy}/T$ to be significant, with peak magnitudes exceeding half-quantization followed by a monotonous decrease with increasing $h.$ We thus conclude that half-quantized thermal Hall effect in the vicinity of field suppressed magnetic order in our model, is a fine-tuning effect and is not associated with a Majorana Hall state with ITO.

cond-mat.str-el↗

arXiv2023

Star Classification: A Deep Learning Approach for Identifying Binary and Exoplanet Stars

We present a novel approach for classifying stars as binary or exoplanet using deep learning techniques. Our method utilizes feature extraction, wavelet transformation, and a neural network on the light curves of stars to achieve high-accuracy results. We have also compiled a dataset of binary and exoplanet stars for training and validation by cross-matching observations from multiple space-based telescopes with catalogs of known binary and exoplanet stars. The application of wavelet transformation on the light curves has reduced the number of data points and improved the training time. Our algorithm has shown exceptional performance, with a test accuracy of 81.17%. This method can be applied to large datasets from current and future space-based telescopes, providing an efficient and accurate way of classifying stars.

astro-ph.IM↗

arXiv2023

An ensemble of convolution-based methods for fault detection using vibration signals

This paper focuses on solving a fault detection problem using multivariate time series of vibration signals collected from planetary gearboxes in a test rig. Various traditional machine learning and deep learning methods have been proposed for multivariate time-series classification, including distance-based, functional data-oriented, feature-driven, and convolution kernel-based methods. Recent studies have shown using convolution kernel-based methods like ROCKET, and 1D convolutional neural networks with ResNet and FCN, have robust performance for multivariate time-series data classification. We propose an ensemble of three convolution kernel-based methods and show its efficacy on this fault detection problem by outperforming other approaches and achieving an accuracy of more than 98.8\%.

eess.SP↗

arXiv2022

IndicNLG Benchmark: Multilingual Datasets for Diverse NLG Tasks in Indic Languages

Natural Language Generation (NLG) for non-English languages is hampered by the scarcity of datasets in these languages. In this paper, we present the IndicNLG Benchmark, a collection of datasets for benchmarking NLG for 11 Indic languages. We focus on five diverse tasks, namely, biography generation using Wikipedia infoboxes, news headline generation, sentence summarization, paraphrase generation and, question generation. We describe the created datasets and use them to benchmark the performance of several monolingual and multilingual baselines that leverage pre-trained sequence-to-sequence models. Our results exhibit the strong performance of multilingual language-specific pre-trained models, and the utility of models trained on our dataset for other related NLG tasks. Our dataset creation methods can be easily applied to modest-resource languages as they involve simple steps such as scraping news articles and Wikipedia infoboxes, light cleaning, and pivoting through machine translation data. To the best of our knowledge, the IndicNLG Benchmark is the first NLG benchmark for Indic languages and the most diverse multilingual NLG dataset, with approximately 8M examples across 5 tasks and 11 languages. The datasets and models are publicly available at https://ai4bharat.iitm.ac.in/indicnlg-suite.

cs.CL↗

arXiv2022

Exploring Short-Term Optical Variability of Blazars Using $\textit{TESS}$

We present a first systematic time series study of a sample of blazars observed by the Transiting Exoplanet Survey Satellite $\textit{TESS}$ spacecraft. By cross matching the positions of the sources in the TESS observations with those from Roma-BZCAT, 29 blazars including both BL Lacerate objects and flat-spectrum radio quasars were identified. The observation lengths of the 79 light curves of the sources, across all sectors on which the targets of interest have been observed by $\textit{TESS}$, range between 21.25 and 28.2 days. The light curves were analyzed using various methods of time series analysis. The results show that the sources exhibit significant variability with fractional variability spanning between 1.41% and 53.84%. The blazar flux distributions were studied by applying normal and lognormal probability density function models. The results indicate that optical flux histogram of the sources are consistent with normal probability density function with most of them following bi-modal distribution as opposed to uni-modal distribution. This suggests that the days-timescale optical variability is contributed either by two different emission zones or two distinct states of short-term activity in blazars. Power spectral density analysis was performed by using the power spectral response method and the true power spectra of unevenly sampled light curves were estimated. The power spectral slopes of the light curves ranged from 1.7 to 3.2.

astro-ph.HE↗

arXiv2022

FabKG: A Knowledge graph of Manufacturing Science domain utilizing structured and unconventional unstructured knowledge source

As the demands for large-scale information processing have grown, knowledge graph-based approaches have gained prominence for representing general and domain knowledge. The development of such general representations is essential, particularly in domains such as manufacturing which intelligent processes and adaptive education can enhance. Despite the continuous accumulation of text in these domains, the lack of structured data has created information extraction and knowledge transfer barriers. In this paper, we report on work towards developing robust knowledge graphs based upon entity and relation data for both commercial and educational uses. To create the FabKG (Manufacturing knowledge graph), we have utilized textbook index words, research paper keywords, FabNER (manufacturing NER), to extract a sub knowledge base contained within Wikidata. Moreover, we propose a novel crowdsourcing method for KG creation by leveraging student notes, which contain invaluable information but are not captured as meaningful information, excluding their use in personal preparation for learning and written exams. We have created a knowledge graph containing 65000+ triples using all data sources. We have also shown the use case of domain-specific question answering and expression/formula-based question answering for educational purposes.

cs.CL↗

arXiv2022

Quasiparticle metamorphosis in the random t-J model

Motivated by the pseudogap-Fermi liquid transition in doped Mott insulators, we examine the excitations of a $t$-$J$ model with random and all-to-all hopping and exchange. The stability of quasiparticles such as spin-1/2 fermions, spin-1 magnons, and emergent Jordan-Wigner (JW) spinless fermions is cast as a problem of localization in the many-body Hilbert space, which is studied by the FEAST eigensolver algorithm. At low dopings, magnons and JW fermions are better defined than spin-1/2 fermions, which are unstable. Upon crossing a critical value of doping around $p_c$ = 1/3, their stabilities are interchanged. Near the critical doping, these quasiparticles are all found to be ill-defined. The critical point is thus associated with a localization transition in the many-body Hilbert space

cond-mat.str-el↗

arXiv2021

Textbook to triples: Creating knowledge graph in the form of triples from AI TextBook

A knowledge graph is an essential and trending technology with great applications in entity recognition, search, or question answering. There are a plethora of methods in natural language processing for performing the task of Named entity recognition; however, there are very few methods that could provide triples for a domain-specific text. In this paper, an effort has been made towards developing a system that could convert the text from a given textbook into triples that can be used to visualize as a knowledge graph and use for further applications. The initial assessment and evaluation gave promising results with an F1 score of 82%.

cs.CL↗

arXiv2020

Kitaev quasiparticles in a proximate spin liquid: A many-body localization perspective

We study the stability of Kitaev quasiparticles in the presence of a perturbing Heisenberg interaction as a Fock space localization phenomenon. We identify parameter regimes where Kitaev states are localized, fractal or delocalized in the Fock space of exact eigenstates, with the first two implying quasiparticle stability. Finite temperature calculations show that a vison gap, and a nonzero plaquette Wilson loop at low temperatures, both characteristic of the deconfined Kitaev spin liquid phase, persist far into the neighboring phase that has a concomitant stripy spin-density wave (SDW) order. The key experimental implication for Kitaev materials is that below a characteristic energy scale, unrelated to the SDW ordering, Kitaev quasiparticles are stable.

cond-mat.str-el↗