Zobrazeno 1 - 10
of 214
pro vyhledávání: '"Deepak, Narayan"'
Autor:
Mohanty, Hansa, Gadde, Deepak Narayan
The complexity of modern-day System-on-Chips (SoCs) is continually increasing, and it becomes increasingly challenging to deliver dependable and credible chips in a short time-to-market. Especially, in the case of test chips, where the aim is to stud
Externí odkaz:
http://arxiv.org/abs/2409.15013
Autor:
Kumar, Aman, Gadde, Deepak Narayan
Generative Artificial Intelligence (GenAI) has demonstrated its capabilities in the present world that reduce human effort significantly. It utilizes deep learning techniques to create original and realistic content in terms of text, images, code, mu
Externí odkaz:
http://arxiv.org/abs/2407.18965
Autor:
Gadde, Deepak Narayan, Nalapat, Thomas, Kumar, Aman, Lettnin, Djones, Kunz, Wolfgang, Simon, Sebastian
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 present, coverage closure is heavily dependent on constrained random and co
Externí odkaz:
http://arxiv.org/abs/2405.19815
The verification throughput is becoming a major challenge bottleneck, since the complexity and size of SoC designs are still ever increasing. Simply adding more CPU cores and running more tests in parallel will not scale anymore. This paper discusses
Externí odkaz:
http://arxiv.org/abs/2405.17481
Python, as a multi-paradigm language known for its ease of integration with other languages, has gained significant attention among verification engineers recently. A Python-based verification environment capitalizes on open-source frameworks such as
Externí odkaz:
http://arxiv.org/abs/2407.10317
Being the most widely used language across the world due to its simplicity and with 35 keywords (v3.7), Python attracts both hardware and software engineers. Python-based verification environment leverages open-source libraries such as cocotb and coc
Externí odkaz:
http://arxiv.org/abs/2407.10312
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 Sy
Externí odkaz:
http://arxiv.org/abs/2403.16750
Autor:
Bhavna Pramod Joshi, Deepak Narayan Tayade, Shobha Bansi Salve, Andrea Anthony Almeida, Abhishek Dhawan
Publikováno v:
Indian Journal of Health Sciences and Biomedical Research KLEU, Vol 17, Iss 3, Pp 274-278 (2024)
BACKGROUND: Tuberculosis (TB) elimination is the top-most public health priority for India. Taking into account the dire need to enhance the detection of TB cases, an innovative model was developed and implemented. AIM: The aim is to develop and asse
Externí odkaz:
https://doaj.org/article/f6c262874a9f45218f6bfaef769e79ae
Publikováno v:
In Clinical Epidemiology and Global Health September-October 2023 23
Publikováno v:
Clinical Epidemiology and Global Health, Vol 23, Iss , Pp 101363- (2023)
Background: Physical inactivity is important modifiable risk factor for major NCDs. Medical students and faculty who are physically active are more probable to prescribe physical activity to their patients, drastically improving clinical outcomes. Ob
Externí odkaz:
https://doaj.org/article/0ea2c7366d874c8abd8a0d350382e44c