arXiv subjects

Wenbo Liu

Publications and source records attributed to Wenbo Liu.

At least 37 records · Page 2Linked to original sources

arXiv2025

A Multi-Agent Generative AI Framework for IC Module-Level Verification Automation

As large language models demonstrate enormous potential in the field of Electronic Design Automation (EDA), generative AI-assisted chip design is attracting widespread attention from academia and industry. Although these technologies have made preliminary progress in tasks such as code generation, their application in chip verification -- a critical bottleneck in the chip development cycle -- remains at an exploratory stage. This paper proposes an innovative Multi-Agent Verification Framework (MAVF) aimed at addressing the limitations of current single-LLM approaches in complex verification tasks. Our framework builds an automated transformation system from design specifications to testbench through the collaborative work of multiple specialized agents, including specification parsing, verification strategy generation, and code implementation. Through verification experiments on multiple chip modules of varying complexity, results show that MAVF significantly outperforms traditional manual methods and single-dialogue generative AI approaches in verification document parsing and generation, as well as automated testbench generation. This research opens new directions for exploring generative AI applications in verification automation, potentially providing effective approaches to solving the most challenging bottleneck issues in chip design.

cs.AR↗

arXiv2025

Measurement and Modeling on Terahertz Channel Propagation Through Vegetation

The terahertz band offers promising opportunities for high-capacity wireless communications but faces significant challenges from vegetation-induced channel impairments. This article presents a comprehensive investigation of THz channel propagation through vegetation, introducing a hybrid modeling approach that combines deterministic vegetation dependent exponential decay modeling with statistical characterization of temporal variations. Through extensive laboratory measurements using Epipremnum aureum, we find that vegetation introduces angular-dependent power losses, with channel statistics following heavy tailed Stable distributions rather than conventional Rician or Weibull models. Our outdoor measurements with dense and sparse lilac scenarios reveal pronounced seasonal variations in attenuation and height-dependent effects, while validating the VED model's ability to maintain excellent agreement with measured data and parameter stability across different heights. Critical bit error rate analysis uncovers distinct SNR thresholds beyond which performance exhibits oscillatory behavior due to heavy-tailed fading, with significant implications for modulation scheme selection and power control strategies in practical THz communication systems.

physics.app-ph↗

arXiv2025

A Novel Design for SRAM Bitcell with 3-Complementary-FETs

The complementary field-effect transistors (CFETs), featuring vertically stacked n/p-FETs, enhance integration density and significantly reduce the area of standard cells such as static random-access memory (SRAM). However, the advantage of area scaling through CFETs is hindered by the imbalance in N/P transistor counts (typically 4N/2P) within SRAM cells. In this work, we propose a novel 6T-SRAM design using three sets of CFETs, achieved by vertically stacking two n-FET pass-gate (PG) transistors via the CFET architecture. Through TCAD simulations, we optimize channel doping concentration and the number of top/bottom nanosheets (NS), demonstrating that junctionless accumulation mode (JAM) devices outperform inversion mode (IM) devices for PG and pull-down (PD) transistors. The proposed design achieves a 37% area reduction in SRAM standard cell layout compared to conventional CFET-based SRAM. With optimized parameters (n-type doping of $1\times10^{15}$ cm$^{-3}$ and '1B4T' NS configuration), the 3-CFET SRAM exhibits superior write margin (349.60 mV) and write delay (54.4 ps). This work advances SRAM design within the CFET framework, offering a scalable solution for next-generation memory technologies.

physics.app-ph↗

arXiv2025

SalM$^{2}$: An Extremely Lightweight Saliency Mamba Model for Real-Time Cognitive Awareness of Driver Attention

Driver attention recognition in driving scenarios is a popular direction in traffic scene perception technology. It aims to understand human driver attention to focus on specific targets/objects in the driving scene. However, traffic scenes contain not only a large amount of visual information but also semantic information related to driving tasks. Existing methods lack attention to the actual semantic information present in driving scenes. Additionally, the traffic scene is a complex and dynamic process that requires constant attention to objects related to the current driving task. Existing models, influenced by their foundational frameworks, tend to have large parameter counts and complex structures. Therefore, this paper proposes a real-time saliency Mamba network based on the latest Mamba framework. As shown in Figure 1, our model uses very few parameters (0.08M, only 0.09~11.16% of other models), while maintaining SOTA performance or achieving over 98% of the SOTA model's performance.

cs.CV↗

arXiv2024

Mixed-Integer Linear Optimization via Learning-Based Two-Layer Large Neighborhood Search

Mixed-integer linear programs (MILPs) are extensively used to model practical problems such as planning and scheduling. A prominent method for solving MILPs is large neighborhood search (LNS), which iteratively seeks improved solutions within specific neighborhoods. Recent advancements have integrated machine learning techniques into LNS to guide the construction of these neighborhoods effectively. However, for large-scale MILPs, the search step in LNS becomes a computational bottleneck, relying on off-the-shelf solvers to optimize auxiliary MILPs of substantial size. To address this challenge, we introduce a two-layer LNS (TLNS) approach that employs LNS to solve both the original MILP and its auxiliary MILPs, necessitating the optimization of only small-sized MILPs using off-the-shelf solvers. Additionally, we incorporate a lightweight graph transformer model to inform neighborhood design. We conduct extensive computational experiments using public benchmarks. The results indicate that our learning-based TLNS approach achieves remarkable performance gains--up to 66% and 96% over LNS and state-of-the-art MILP solvers, respectively.

math.OC↗

arXiv2024

Learning Based MPC for Autonomous Driving Using a Low Dimensional Residual Model

In this paper, a learning based Model Predictive Control (MPC) using a low dimensional residual model is proposed for autonomous driving. One of the critical challenge in autonomous driving is the complexity of vehicle dynamics, which impedes the formulation of accurate vehicle model. Inaccurate vehicle model can significantly impact the performance of MPC controller. To address this issue, this paper decomposes the nominal vehicle model into invariable and variable elements. The accuracy of invariable component is ensured by calibration, while the deviations in the variable elements are learned by a low-dimensional residual model. The features of residual model are selected as the physical variables most correlated with nominal model errors. Physical constraints among these features are formulated to explicitly define the valid region within the feature space. The formulated model and constraints are incorporated into the MPC framework and validated through both simulation and real vehicle experiments. The results indicate that the proposed method significantly enhances the model accuracy and controller performance.

cs.RO↗

arXiv2024

Artifact Correction in Magnetic Resonance Temperature Imaging for Laser Interstitial Thermotherapy with Multi-echo Acquisitions

In MRI-guided laser interstitial thermotherapy (MRgLITT), a signal void sometimes appears at the heating center of the measured temperature map. In neurosurgical MRgLITT treatments, cerebrospinal fluid pulsation (CSF), which may lead to temperature artifacts, also needs to be carefully managed. We find that signal loss in MR magnitude images can be one distinct contributor to the temperature imaging signal void. Therefore, this study aims to investigate this finding and more importantly. Also, this study intends to improve measurement accuracy by correcting CSF-induced temperature errors and employing a more reliable phase unwrapping algorithm. A gradient echo sequence with certain TE values for temperature imaging is used to quantify T2* variations during MRgLITT and to investigate the development of signal voids throughout the treatment. Informed by these findings, a multi-echo GRE sequence with appropriate TE coverage is employed. A multi-echo-based correction algorithm is developed to address the signal loss-induced temperature errors. A new phase unwrapping method and a new CSF pulsation correction approach are developed for multi-echo signal processing. The temperature imaging method is evaluated by gel phantom, ex-vivo, and in-vivo LITT heating experiments. T2* shortening during heating can be one important cause of the temperate imaging signal voids and this demands the multi-echo acquisition with varied TE values. The proposed multi-echo-based method can effectively correct signal loss-induced temperature errors and raise temperature estimation precision. The multi-echo thermometry in the in-vivo experiments shows smoother hotspot boundaries, fewer artifacts, and improved thermometry reliability. In the in-vivo experiments, the ablation areas estimated from the multi-echo thermometry also show satisfactory agreement with those determined from post-ablation MR imaging.

physics.med-ph↗

arXiv2024

A Data-Driven Modeling and Motion Control of Heavy-Load Hydraulic Manipulators via Reversible Transformation

This work proposes a data-driven modeling and the corresponding hybrid motion control framework for unmanned and automated operation of industrial heavy-load hydraulic manipulator. Rather than the direct use of a neural network black box, we construct a reversible nonlinear model by using multilayer perceptron to approximate dynamics in the physical integrator chain system after reversible transformations. The reversible nonlinear model is trained offline using supervised learning techniques, and the data are obtained from simulations or experiments. Entire hybrid motion control framework consists of the model inversion controller that compensates for the nonlinear dynamics and proportional-derivative controller that enhances the robustness. The stability is proved with Lyapunov theory. Co-simulation and Experiments show the effectiveness of proposed modeling and hybrid control framework. With a commercial 39-ton class hydraulic excavator for motion control tasks, the root mean square error of trajectory tracking error decreases by at least 50\% compared to traditional control methods. In addition, by analyzing the system model, the proposed framework can be rapidly applied to different control plants.

cs.RO↗

arXiv2024

PDC & DM-SFT: A Road for LLM SQL Bug-Fix Enhancing

Code Large Language Models (Code LLMs), such as Code llama and DeepSeek-Coder, have demonstrated exceptional performance in the code generation tasks. However, most existing models focus on the abilities of generating correct code, but often struggle with bug repair. We introduce a suit of methods to enhance LLM's SQL bug-fixing abilities. The methods are mainly consisted of two parts: A Progressive Dataset Construction (PDC) from scratch and Dynamic Mask Supervised Fine-tuning (DM-SFT). PDC proposes two data expansion methods from the perspectives of breadth first and depth first respectively. DM-SFT introduces an efficient bug-fixing supervised learning approach, which effectively reduce the total training steps and mitigate the "disorientation" in SQL code bug-fixing training. In our evaluation, the code LLM models trained with two methods have exceeds all current best performing model which size is much larger.

cs.CL↗

arXiv2024

BF-Meta: Secure Blockchain-enhanced Privacy-preserving Federated Learning for Metaverse

The metaverse, emerging as a revolutionary platform for social and economic activities, provides various virtual services while posing security and privacy challenges. Wearable devices serve as bridges between the real world and the metaverse. To provide intelligent services without revealing users' privacy in the metaverse, leveraging federated learning (FL) to train models on local wearable devices is a promising solution. However, centralized model aggregation in traditional FL may suffer from external attacks, resulting in a single point of failure. Furthermore, the absence of incentive mechanisms may weaken users' participation during FL training, leading to degraded performance of the trained model and reduced quality of intelligent services. In this paper, we propose BF-Meta, a secure blockchain-empowered FL framework with decentralized model aggregation, to mitigate the negative influence of malicious users and provide secure virtual services in the metaverse. In addition, we design an incentive mechanism to give feedback to users based on their behaviors. Experiments conducted on five datasets demonstrate the effectiveness and applicability of BF-Meta.

cs.CR↗

arXiv2024

Measurement and Modeling on Terahertz Channels in Rain

The Terahertz (THz) frequency band offers a wide range of bandwidths, from tens to hundreds of gigahertz (GHz) and also supports data speeds of several terabits per second (Tbps). Because of this, maintaining THz channel reliability and efficiency in adverse weather conditions is crucial. Rain, in particular, disrupts THz channel propagation significantly and there is still lack of comprehensive investigations due to the involved experimental difficulties. This work explores how rain affects THz channel performance by conducting experiments in a rain emulation chamber and under actual rainy conditions outdoors. We focus on variables like rain intensity, raindrop size distribution (RDSD), and the channel's gradient height. We observe that the gradient height (for air-to-ground channel) can induce changes of the RDSD along the channel's path, impacting the precision of modeling efforts. To address this, we propose a theoretical model, integrating Mie scattering theory with considerations of channel's gradient height. Both our experimental and theoretical findings confirm this model's effectiveness in predicting THz channel behavior in rainy conditions. This work underscores the necessary in incorporating the variation of RDSD when THz channel travels in scenarios involving ground-to-air or air-to-ground communications.

physics.app-ph↗

arXiv2024

Ground-to-UAV sub-Terahertz channel measurement and modeling

Unmanned Aerial Vehicle (UAV) assisted terahertz (THz) wireless communications have been expected to play a vital role in the next generation of wireless networks. UAVs can serve as either repeaters or data collectors within the communication link, thereby potentially augmenting the efficacy of communication systems. Despite their promise, the channel analysis and modeling specific to THz wireless channels leveraging UAVs remain under explored. This work delves into a ground-to-UAV channel at 140 GHz, with a specific focus on the influence of UAV hovering behavior on channel performance. Employing experimental measurements through an unmodulated channel setup and a geometry-based stochastic model (GBSM) that integrates three-dimensional positional coordinates and beamwidth, this work evaluates the impact of UAV dynamic movements and antenna orientation on channel performance. Our findings highlight the minimal impact of UAV orientation adjustments on channel performance and underscore the diminishing necessity for precise alignment between UAVs and ground stations as beamwidth increases.

eess.SP↗

arXiv2024

REMAST: Real-time Emotion-based Music Arrangement with Soft Transition

Music as an emotional intervention medium has important applications in scenarios such as music therapy, games, and movies. However, music needs real-time arrangement according to changing emotions, bringing challenges to balance emotion real-time fit and soft emotion transition due to the fine-grained and mutable nature of the target emotion. Existing studies mainly focus on achieving emotion real-time fit, while the issue of smooth transition remains understudied, affecting the overall emotional coherence of the music. In this paper, we propose REMAST to address this trade-off. Specifically, we recognize the last timestep's music emotion and fuse it with the current timestep's input emotion. The fused emotion then guides REMAST to generate the music based on the input melody. To adjust music similarity and emotion real-time fit flexibly, we downsample the original melody and feed it into the generation model. Furthermore, we design four music theory features by domain knowledge to enhance emotion information and employ semi-supervised learning to mitigate the subjective bias introduced by manual dataset annotation. According to the evaluation results, REMAST surpasses the state-of-the-art methods in objective and subjective metrics. These results demonstrate that REMAST achieves real-time fit and smooth transition simultaneously, enhancing the coherence of the generated music.

cs.SD↗

arXiv2024

Transmission characteristics of millimeter and sub-terahertz channels through spatially ripple plasma sheath layers

The propagation of millimeter wave (MMW) and sub-terahertz (THz) signals through plasma sheaths is a critical concern for maintaining communication with hypersonic vehicles, yet the impact of complex plasma structures on these high-frequency channels remains insufficiently understood. In this work, we aim to characterize the transmission properties of MMW and sub-THz waves through plasma sheaths with various density profiles and ripple structures, addressing the gap in knowledge regarding the effects of plasma inhomogeneities on signal propagation. We employ an approach combining Inductively Coupled Plasma (ICP) data with transfer matrix methods (TMM) to model propagation through both flat and rippled plasma layers. Our findings reveal that ripple structures in plasma sheaths significantly affect channel performance, with periodic ripples reducing cutoff frequency and introducing frequency-selective behavior, while random ripples cause more unpredictable transmission characteristics. Our results explore the impact of the arrangement of plasma density layers and the parameters of ripple structures (period and amplitude) on channel transmission, group velocity dispersion, and angular dependence of wave propagation. These results provide crucial insights for the design and optimization of communication systems for hypersonic vehicles, potentially enabling the development of adaptive technologies capable of maintaining reliable communication in complex plasma environments.

physics.plasm-ph↗

arXiv2024

Eavesdropping risk evaluation for non-line-of-sight terahertz channels by metallic wavy surface in rain

Non-line-of-sight (NLOS) data transmission through surface reflection is pivotal for enhancing the reach and efficiency of terahertz (THz) communication systems. However, this innovation also introduces significant eavesdropping risks, exacerbated by the complex bistatic scattering effects during adverse weather conditions like rain. This work delves into the assessment of the vulnerabilities of NLOS THz communication channels to eavesdropping under simulated rain conditions using metallic wavy surfaces (MWS). The observation reveals the feasibility of successful signal interception under these conditions, highlighting a prevalent security concern for outdoor terahertz communication networks utilizing NLOS channels to broaden coverage. This insight underscores the critical need for addressing and mitigating potential eavesdropping threats to ensure secure and reliable terahertz communications in varied environmental conditions.

physics.app-ph↗

arXiv2024

Active Admittance Control with Iterative Learning for General-Purpose Contact-Rich Manipulation

Force interaction is inevitable when robots face multiple operation scenarios. How to make the robot competent in force control for generalized operations such as multi-tasks still remains a challenging problem. Aiming at the reproducibility of interaction tasks and the lack of a generalized force control framework for multi-task scenarios, this paper proposes a novel hybrid control framework based on active admittance control with iterative learning parameters-tunning mechanism. The method adopts admittance control as the underlying algorithm to ensure flexibility, and iterative learning as the high-level algorithm to regulate the parameters of the admittance model. The whole algorithm has flexibility and learning ability, which is capable of achieving the goal of excellent versatility. Four representative interactive robot manipulation tasks are chosen to investigate the consistency and generalisability of the proposed method. Experiments are designed to verify the effectiveness of the whole framework, and an average of 98.21% and 91.52% improvement of RMSE is obtained relative to the traditional admittance control as well as the model-free adaptive control, respectively.

cs.RO↗

arXiv2024

Experimental and Theoretical Exploration of Terahertz Channel Performance through Glass Doors

In the evolving landscape of terahertz communication, the behavior of channels within indoor environments, particularly through glass doors, has garnered significant attention. This paper comprehensively investigates terahertz channel performance under such conditions, employing a measurement setup operational between 113 and 170 GHz. Analyzing scenarios frequently induced by human activity and environmental factors, like door movements, we established a comprehensive theoretical model. This model seamlessly integrates transmission, reflection, absorption, and diffraction mechanisms, leveraging the Fresnel formula, multi-layer transmission paradigm, and knife-edge diffraction theory. Our experimental results and theoretical predictions harmoniously align, revealing intricate dependencies, such as increased power loss at higher frequencies and larger incident angles. Furthermore, door interactions, whether opening or oscillations, significantly impact the terahertz channel. Notably, door edges lead to a power blockage surpassing the transmission loss of the glass itself but remaining inferior to metallic handle interferences. This paper's insights are pivotal for the design and fabrication of terahertz communication systems within indoor settings, pushing the boundaries of efficient and reliable communication.

physics.optics↗

arXiv2023

Influence of Plasma Density Arrangement on Millimeter-Wave Transmission Characteristics

The advancement of millimeter wave and terahertz technologies have revolutionized high speed wireless networks and precise tracking systems. These technologies offer unique penetration capabilities in specific scenarios, significantly enhancing the capability to investigation plasma. Recent breakthroughs include the precise diagnosis of plasma electron density using terahertz time domain spectroscopy and the modeling of plasma sheaths in re-entry spacecraft through scattering matrices. Concurrently, extensive research efforts have been dedicated to comprehending plasma's influence on electromagnetic wave behaviors, encompassing reflection, transmission, absorption and also phase shift. In this paper, we employ COMSOL Multiphysics software to create an inductively coupled plasma (ICP) device, enabling the simulation of various plasma density arrangements. Our investigation focuses on unraveling the intricate interplay between plasma configurations and millimeter-wave transmission characteristics. The findings underscore the substantial impact of diverse plasma concentration arrangements on the behavior of electromagnetic waves traversing through them. Additionally, these arrangements endow the plasma with a discernible degree of frequency selectivity, thus expanding our understanding of plasma behavior in novel ways.

physics.plasm-ph↗