Výsledky vyhledávání

Akademický článek

Root Image Segmentation Method Based on Improved UNet and Transfer Learning

Autor: TANG Hui, WANG Ming, YU Qiushi, ZHANG Jiaxi, LIU Liantao, WANG Nan

Publikováno v: 智慧农业, Vol 5, Iss 3, Pp 96-109 (2023)

ObjectiveThe root system is an important component of plant composition, and its growth and development are crucial for plants. Root image segmentation is an important method for obtaining root phenotype information and analyzing root growth patterns

Externí odkaz: https://doaj.org/article/2037b16009a746d393e49638a0cfd108

Zobrazit plný text záznamu

Akademický článek

Improving tensile strength and impact toughness of plasticized poly(lactic acid) biocomposites by incorporating nanofibrillated cellulose

Autor: Tian Jiarong, Cao Zhongqi, Qian Shaoping, Xia Yingbo, Zhang Jiaxi, Kong Yingqi, Sheng Kuichuan, Zhang Ying, Wan Yi, Takahashi Jun

Publikováno v: Nanotechnology Reviews, Vol 11, Iss 1, Pp 2469-2482 (2022)

Poly(lactic acid) (PLA) biocomposites are usually plasticized to overcome the problem of poor ductility, which decreases the valuable tensile strength. In this study, novel nanofibrillated cellulose (NFC) was extracted to enhance the acetyl tributyl

Externí odkaz: https://doaj.org/article/0d696bc1287a43b19fd0fb9fa5d4cd3e

Zobrazit plný text záznamu

Report

VerilogReader: LLM-Aided Hardware Test Generation

Autor: Ma, Ruiyang, Yang, Yuxin, Liu, Ziqian, Zhang, Jiaxi, Li, Min, Huang, Junhua, Luo, Guojie

Test generation has been a critical and labor-intensive process in hardware design verification. Recently, the emergence of Large Language Model (LLM) with their advanced understanding and inference capabilities, has introduced a novel approach. In t

Externí odkaz: http://arxiv.org/abs/2406.04373

Zobrazit plný text záznamu

Report

MEC: An Open-source Fine-grained Mapping Equivalence Checking Tool for FPGA

Autor: Ni, Liwei, Yang, Zonglin, Zhang, Jiaxi, Feng, Changhong, Liu, Jianhua, Luo, Guojie, Li, Huawei, Xie, Biwei, Li, Xingquan

Technology mapping is an essential step in EDA flow. However, the function of the circuit may be changed after technology mapping, and equivalence checking (EC) based verification is highly necessary. The traditional EC method has significant time an

Externí odkaz: http://arxiv.org/abs/2312.14541

Zobrazit plný text záznamu

Report

Adaptive Reconvergence-driven AIG Rewriting via Strategy Learning

Autor: Ni, Liwei, Yang, Zonglin, Zhang, Jiaxi, Liu, Junfeng, Li, Huawei, Xie, Biwei, Li, Xinquan

Rewriting is a common procedure in logic synthesis aimed at improving the performance, power, and area (PPA) of circuits. The traditional reconvergence-driven And-Inverter Graph (AIG) rewriting method focuses solely on optimizing the reconvergence co

Externí odkaz: http://arxiv.org/abs/2312.14536

Zobrazit plný text záznamu

Report

Fast Exact NPN Classification with Influence-aided Canonical Form

Autor: Zhang, Yonghe, Ni, Liwei, Zhang, Jiaxi, Luo, Guojie, Li, Huawei, Zheng, Shenggen

NPN classification has many applications in the synthesis and verification of digital circuits. The canonical-form-based method is the most common approach, designing a canonical form as representative for the NPN equivalence class first and then com

Externí odkaz: http://arxiv.org/abs/2308.12311

Zobrazit plný text záznamu

Report

Rethinking NPN Classification from Face and Point Characteristics of Boolean Functions

Autor: Zhang, Jiaxi, Zheng, Shenggen, Ni, Liwei, Li, Huawei, Luo, Guojie

NPN classification is an essential problem in the design and verification of digital circuits. Most existing works explored variable symmetries and cofactor signatures to develop their classification methods. However, cofactor signatures only conside

Externí odkaz: http://arxiv.org/abs/2301.12122

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání