arXiv:2512.17814v2 Announce Type: replace-cross
Abstract: Test and verification are essential activities in hardware and system design, but their complexity grows significantly with increasing system sizes. While Behavior Driven Development (BDD) has proven effective in software engineering, it is not yet well established in hardware design, and its practical use remains limited. One contributing factor is the manual effort required to derive precise behavioral scenarios from textual specifications.
Recent advances in Large Language Models (LLMs) offer new opportunities to automate this step. In this paper, we investigate the use of LLM-based techniques to support BDD in the context of hardware design.
Just-In-Time Adaptive Interventions for Weight Management Among Adults With Excess Body Weight: Scoping Review
Background: Just-in-time adaptive interventions (JITAIs) use real-time monitoring to deliver personalized support at optimal moments, demonstrating potential for improving lifestyle behaviors in weight management. Objective:



