Assertion-based verification (ABV) is a critical method for ensuring design circuits comply
with their architectural specifications, which are typically described in natural language. This …

The security of computer systems typically relies on a hardware root of trust. As
vulnerabilities in hardware can have severe implications on a system, there is a need for …

Assertion-based verification (ABV) is a critical method for ensuring design circuits comply
with their architectural specifications, which are typically described in natural language. This …

The objective of this paper is to develop a chatbot for students to promote their mental health
through emotion recognition technique. Nowadays, students are facing a lot of mental health …

Abstract Attention Deficit Hyperactivity Disorder (ADHD) child patients have difficulty in
starting and completing daily tasks successfully on time due to executive function …

We propose a hybrid approach for automatic generation of System Verilog assertions from
natural-language specifications by combining machine-learning and formal analysis of the …

The automated generation of design RTL based on large language model (LLM) and natural
language instructions has demonstrated great potential in agile circuit design. However, the …

Abstract Service organizations increasingly adopt data-based intelligent engines called
chatbots in support of the interaction between customers and the companies. Two different …

We propose a framework for extracting natural language assertions from hardware design
specification documents. The entire parse tree of each input sentence in a design spec is …

Automatic understanding of specifications containing flexible word order and
expressiveness close to natural language is a challenging task. We address this challenge …