Yang Guo

120 papers A* 6A 3B 3C 13Misc 1Journal 54Unranked 40
YearRankTypeTitle / Venue / Authors
2026 J jnl
A Compact Low-Jitter All-Digital Fractional Output Divider Using Split-DTC-Based Background Calibration.
IEEE J. Solid State Circuits
Deng Luo, Yan Yu, Jianjun Chen, Yang Guo, Yaqing Chi, Guofang Yu, Hao Ding, Jing Xiao, Hao Gao, Ming Tao, Kai Tang, Bin Liang
2025 — conf
A 0.024mm
ISSCC
Yan Yu, Deng Luo, Jianjun Chen, Yang Guo, Bin Liang, Yaqing Chi, Hanhan Sun, Jing Xiao, Hao Gao, Ming Tao, Kai Tang
2025 — conf
A Multi-objective Mapping Optimization Strategy for Large-Scale NoC Design.
ICA3PP (5)
Yan Tang, Chen Li, Xiaowen Chen, Jianzhuang Lu, Yang Guo
2025 J jnl
A perspective on digital signal processor based leadership performance accelerator for AI and HPC.
Frontiers Comput. Sci.
Yang Guo, Yaohua Wang, Sheng Ma
2025 J jnl
A quantized network processor for mixed-precision deep learning models based on enhanced Microscaling format.
J. Syst. Archit.
Jing Feng, Mei Wen, Xin Ju, Zhuang Cao, Yang Guo
2025 J jnl
EDA-Copilot: A RAG-Powered Intelligent Assistant for EDA Tools.
ACM Trans. Design Autom. Electr. Syst.
Zhe Xiao, Xu He, Haoying Wu, Bei Yu, Yang Guo
2025 — conf
LintLLM: An Open-Source Verilog Linting Framework Based on Large Language Models.
ACM Great Lakes Symposium on VLSI
Zhigang Fang, Renzhi Chen, Zhijie Yang, Yang Guo, Huadong Dai, Lei Wang
2025 J jnl
LintLLM: An Open-Source Verilog Linting Framework Based on Large Language Models.
CoRR
Zhigang Fang, Renzhi Chen, Zhijie Yang, Yang Guo, Huadong Dai, Lei Wang
2025 C conf
RTLBench: A Multi-Dimensional Benchmark Suite for Evaluating LLM-Generated RTL Code.
ICCD
Zhigang Fang, Renzhi Chen, Yang Guo, Huadong Dai, Lei Wang
2025 — conf
SI-Aware Wire Timing Prediction at Pre-Routing Stage with Multi-Corner Consideration.
ASP-DAC
Yushan Wang, Xu He, Renjun Zhao, Yao Wang, Chang Liu, Yang Guo
2025 C conf
Super Microscaling: Enhancing Precision and Hardware Efficiency in Deep Learning Quantization.
ISCAS
Jing Feng, Zhuang Cao, Xin Ju, Mei Wen, Yang Guo
2024 J jnl
A Survey of Design and Optimization for Systolic Array-based DNN Accelerators.
ACM Comput. Surv.
Rui Xu, Sheng Ma, Yang Guo, Dongsheng Li
2024 J jnl
A survey of compute nodes with 100 TFLOPS and beyond for supercomputers.
CCF Trans. High Perform. Comput.
Junsheng Chang, Kai Lu, Yang Guo, Yongwen Wang, Zhenyu Zhao, Libo Huang, Hongwei Zhou, Yao Wang, Fei Lei, Biwei Zhang
2024 — conf
CoDPoC IP: A Configurable Data Protection Circuit to Support Multiple Key Agreement Scheme.
ICICS (2)
Yijing Peng, Junhui Wang, Zhenyu Wang, Zhenbin Guo, Yaohua Wang, Ding Deng, Shaoqing Li, Yang Guo
2024 C conf
Enhancing the PE Utilization for Multi-Precision Systolic Array via Optimizing Computation Latency.
ISCAS
Jing Feng, Mei Wen, Xin Ju, Junzhong Shen, Yang Guo
2024 A* conf
Improving the Ability of Thermal Radiation Based Hardware Trojan Detection.
USENIX Security Symposium
Ting Su, Yaohua Wang, Shi Xu, Lusi Zhang, Simin Feng, Jialong Song, Yiming Liu, Yongkang Tang, Yang Zhang, Shaoqing Li, Yang Guo, Hengzhu Liu
2024 — conf
SCD-PUF: Shuffled Chaotic-dual-PUF With High Machine Learning Attack Resilience.
ITC-Asia
Yijing Peng, Ding Deng, Zhenyu Wang, Yang Guo
2023 J jnl
A General Layout Pattern Clustering Using Geometric Matching-based Clip Relocation and Lower-bound Aided Optimization.
ACM Trans. Design Autom. Electr. Syst.
Xu He, Yao Wang, Zhiyong Fu, Yipei Wang, Yang Guo
2023 J jnl
A Soft-Error Mitigation Approach Using Pulse Quenching Enhancement at Detailed Placement for Combinational Circuits.
ACM Trans. Design Autom. Electr. Syst.
Xu He, Yao Wang, Chang Liu, Qiang Wu, Juan Luo, Yang Guo
2023 J jnl
Design of three-factor secure and efficient authentication and key-sharing protocol for IoT devices.
Comput. Commun.
Zhenyu Wang, Ding Deng, Shen Hou, Yang Guo, Shaoqing Li
2022 J jnl
A Single-Event Transient Radiation Hardened Low-Dropout Regulator for LC Voltage-Controlled Oscillator.
Symmetry
Xi Chen, Qian-cheng Guo, Hengzhou Yuan, Yang Guo
2022 A* conf
Accurate timing prediction at placement stage with look-ahead RC network.
DAC
Xu He, Zhiyong Fu, Yao Wang, Chang Liu, Yang Guo
2022 — conf
HCRO-LKSM: A Lightweight Key Sharing and Management Protocol Based on HCRO-PUF for IoT Devices.
HPCC/DSS/SmartCity/DependSys
Zhenyu Wang, Ding Deng, Yang Guo, Shaoqing Li
2022 J jnl
Heterogeneous Systolic Array Architecture for Compact CNNs Hardware Accelerators.
IEEE Trans. Parallel Distributed Syst.
Rui Xu, Sheng Ma, Yaohua Wang, Yang Guo, Dongsheng Li, Yuran Qiao
2022 J jnl
MT-3000: a heterogeneous multi-zone processor for HPC.
CCF Trans. High Perform. Comput.
Kai Lu, Yaohua Wang, Yang Guo, Chun Huang, Sheng Liu, Ruibo Wang, Jianbin Fang, Tao Tang, Zhaoyun Chen, Biwei Liu, Zhong Liu, Yuanwu Lei, Haiyan Sun
2022 B conf
Mentha: Enabling Sparse-Packing Computation on Systolic Arrays.
ICPP
Minjin Tang, Mei Wen, Yasong Cao, Junzhong Shen, Jianchao Yang, Jiawei Fei, Yang Guo, Sheng Liu
2021 — conf
A New Bidirectional Unsupervised Domain Adaptation Segmentation Framework.
IPMI
Munan Ning, Cheng Bian, Dong Wei, Shuang Yu, Chenglang Yuan, Yaohua Wang, Yang Guo, Kai Ma, Yefeng Zheng
2021 J jnl
A New Bidirectional Unsupervised Domain Adaptation Segmentation Framework.
CoRR
Munan Ning, Cheng Bian, Dong Wei, Chenglang Yuan, Yaohua Wang, Yang Guo, Kai Ma, Yefeng Zheng
2021 J jnl
A dynamically configurable LFSR-based PUF design against machine learning attacks.
CCF Trans. High Perform. Comput.
Shen Hou, Ding Deng, Zhenyu Wang, Jiahe Shi, Shaoqing Li, Yang Guo
2021 J jnl
Advancing DSP into HPC, AI, and beyond: challenges, mechanisms, and future directions.
CCF Trans. High Perform. Comput.
Yaohua Wang, Chen Li, Chang Liu, Sheng Liu, Yuanwu Lei, Jian Zhang, Yang Zhang, Yang Guo
2021 — conf
Analysis of Single Events Effects on Supply-Regulated LC-Tank Voltage-Controlled Oscillator.
ASICON
Xi Chen, Qian-cheng Guo, Hengzhou Yuan, Zhenyu Wu, Yang Guo
2021 J jnl
Configurable Multi-directional Systolic Array Architecture for Convolutional Neural Networks.
ACM Trans. Archit. Code Optim.
Rui Xu, Sheng Ma, Yaohua Wang, Xinhai Chen, Yang Guo
2021 J jnl
Current mirror with charge dissipation transistor for analogue single-event transient mitigation in space application.
IET Circuits Devices Syst.
Jingtian Liu, Bin Liang, Jianjun Chen, Yaqing Chi, Li Yan, Yang Guo
2021 J jnl
Editorial for the special issue on reliability and power efficiency for HPC.
CCF Trans. High Perform. Comput.
Jifeng He, Chenggang Wu, Huawei Li, Yang Guo, Tao Li
2021 A conf
HeSA: Heterogeneous Systolic Array Architecture for Compact CNNs Hardware Accelerators.
DATE
Rui Xu, Sheng Ma, Yaohua Wang, Yang Guo
2021 A conf
Improving Inter-kernel Data Reuse With CTA-Page Coordination in GPGPU.
ICCAD
Xuanyi Li, Chen Li, Yang Guo, Rachata Ausavarungnirun
2020 J jnl
A Dynamic and Proactive GPU Preemption Mechanism Using Checkpointing.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Chen Li, Andrew Zigerelli, Jun Yang, Youtao Zhang, Sheng Ma, Yang Guo
2020 — conf
A Macro-Micro Weakly-Supervised Framework for AS-OCT Tissue Segmentation.
MICCAI (5)
Munan Ning, Cheng Bian, Donghuan Lu, Hong-Yu Zhou, Shuang Yu, Chenglang Yuan, Yang Guo, Yaohua Wang, Kai Ma, Yefeng Zheng
2020 J jnl
A Macro-Micro Weakly-supervised Framework for AS-OCT Tissue Segmentation.
CoRR
Munan Ning, Cheng Bian, Donghuan Lu, Hong-Yu Zhou, Shuang Yu, Chenglang Yuan, Yang Guo, Yaohua Wang, Kai Ma, Yefeng Zheng
2020 J jnl
AIM: Annealing in Memory for Vision Applications.
Symmetry
Zhi Wang, Xiao Hu, Jian Zhang, Zhao Lv, Yang Guo
2020 C conf
CMSA: Configurable Multi-directional Systolic Array for Convolutional Neural Networks.
ICCD
Rui Xu, Sheng Ma, Yaohua Wang, Yang Guo
2020 J jnl
Configurable Ring Oscillator PUF Using Hybrid Logic Gates.
IEEE Access
Ding Deng, Shen Hou, Zhenyu Wang, Yang Guo
2020 J jnl
Deviation based clustering for unsupervised person re-identification.
Pattern Recognit. Lett.
Munan Ning, Kaiwei Zeng, Yang Guo, Yaohua Wang
2020 J jnl
Energy clustering for unsupervised person re-identification.
Image Vis. Comput.
Kaiwei Zeng, Munan Ning, Yaohua Wang, Yang Guo
2020 A* conf
FIGARO: Improving System Performance via Fine-Grained In-DRAM Data Relocation and Caching.
MICRO
Yaohua Wang, Lois Orosa, Xiangjun Peng, Yang Guo, Saugata Ghose, Minesh Patel, Jeremie S. Kim, Juan Gómez-Luna, Mohammad Sadrosadati, Nika Mansouri-Ghiasi, Onur Mutlu
2020 J jnl
FIGARO: Improving System Performance via Fine-Grained In-DRAM Data Relocation and Caching.
CoRR
Yaohua Wang, Lois Orosa, Xiangjun Peng, Yang Guo, Saugata Ghose, Minesh Patel, Jeremie S. Kim, Juan Gómez-Luna, Mohammad Sadrosadati, Nika Mansouri-Ghiasi, Onur Mutlu
2020 A* conf
Hierarchical Clustering With Hard-Batch Triplet Loss for Person Re-Identification.
CVPR
Kaiwei Zeng, Munan Ning, Yaohua Wang, Yang Guo
2020 J jnl
Lithography Hotspot Detection with FFT-based Feature Extraction and Imbalanced Learning Rate.
ACM Trans. Design Autom. Electr. Syst.
Xu He, Yu Deng, Shizhe Zhou, Rui Li, Yao Wang, Yang Guo
2020 C conf
Maximum Clique Based Method for Optimal Solution of Pattern Classification.
ICCD
Xu He, Yipei Wang, Zhiyong Fu, Yao Wang, Yang Guo
2020 J jnl
Novel Design Strategy Toward A2 Trojan Detection Based on Built-In Acceleration Structure.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Ding Deng, Yaohua Wang, Yang Guo
2020 J jnl
Novel probability flipping method for ising annealing chip using circuit unreliability.
Microelectron. J.
Zhi Wang, Yang Guo, Jian Zhang, Zhao Lv
2019 J jnl
28nm Fault-Tolerant Hardening-by-Design Frequency Divider for Reducing Soft Errors in Clock and Data Recovery.
IEEE Access
Hengzhou Yuan, Yang Guo, Jianjun Chen, Yaqing Chi, Xi Chen, Bin Liang
2019 A* conf
A Framework for Memory Oversubscription Management in Graphics Processing Units.
ASPLOS
Chen Li, Rachata Ausavarungnirun, Christopher J. Rossbach, Youtao Zhang, Onur Mutlu, Yang Guo, Jun Yang
2019 J jnl
A Lightweight LFSR-Based Strong Physical Unclonable Function Design on FPGA.
IEEE Access
Shen Hou, Yang Guo, Shaoqing Li
2019 J jnl
A lightweight and secure-enhanced Strong PUF design on FPGA.
IEICE Electron. Express
Shen Hou, Yang Guo, Shaoqing Li, Ding Deng, Yan Lei
2019 C conf
An Efficient Direct Memory Access (DMA) Controller for Scientific Computing Accelerators.
ISCAS
Sheng Ma, Libo Huang, Yuanwu Lei, Yang Guo, Zhiying Wang
2019 J jnl
Coordinated DMA: Improving the DRAM Access Efficiency for Matrix Multiplication.
IEEE Trans. Parallel Distributed Syst.
Sheng Ma, Zhong Liu, Shenggang Chen, Libo Huang, Yang Guo, Zhiying Wang, Meidi Zhang
2019 A conf
Improving the DRAM Access Efficiency for Matrix Multiplication on Multicore Accelerators.
DATE
Sheng Ma, Yang Guo, Shenggang Chen, Libo Huang, Zhiying Wang
2019 — conf
Load-Balanced Link Distribution in Mesh-Based Many-Core Systems.
HPCC/SmartCity/DSS
Zicong Wang, Xiaowen Chen, Chen Li, Yang Guo, Man Liao, Zhong Liu
2019 J jnl
Priority-Based PCIe Scheduling for Multi-Tenant Multi-GPU Systems.
IEEE Comput. Archit. Lett.
Chen Li, Jun Yang, Yifan Sun, Lingling Jin, Lingjie Xu, Zheng Cao, Pengfei Fan, David R. Kaeli, Sheng Ma, Yang Guo
2019 J jnl
Supply Voltage and Temperature Dependence of Single-Event Transient in 28-nm FDSOI MOSFETs.
Symmetry
Jingyan Xu, Yang Guo, Ruiqiang Song, Bin Liang, Yaqing Chi
2019 J jnl
一种基于SAT求解器的组合电路重汇聚现象分析方法 (Reconvergence Phenomena Analysis Method in Combinational Circuits Based on SAT Solver).
计算机科学
Lujie Zhang, Chang Liu, Long Zhang, Yang Guo
2018 J jnl
A task-based multi-core allocation mechanism for packet acceleration.
IEICE Electron. Express
Zerun Li, Yang Guo, Sheng Liu, Junyang Zhang
2018 — conf
Accelerating CNNs Using Optimized Scheduling Strategy.
ICA3PP (3)
Rui Xu, Sheng Ma, Wenwu Li, Yang Guo
2018 C conf
Adaptive VC Partitioning for NoCs in GPGPUs.
ISCAS
Sheng Ma, Hongyi Lu, Libo Huang, Li Shen, Yang Guo, Zhiying Wang, Wenliang Xue
2018 J jnl
An SAT-Based Method to Multithreaded Program Verification for Mobile Crowdsourcing Networks.
Wirel. Commun. Mob. Comput.
Long Zhang, WanXia Qu, Yinjia Huo, Yang Guo, Sikun Li
2018 J jnl
Analysis of SET Reconvergence and Hardening in the Combinational Circuit Using a SAT-Based Method.
IEEE Access
Chang Liu, Long Zhang, Xu He, Yang Guo
2018 J jnl
Cache Access Fairness in 3D Mesh-Based NUCA.
IEEE Access
Zicong Wang, Xiaowen Chen, Zhonghai Lu, Yang Guo
2018 J jnl
Detailed placement for pulse quenching enhancement in anti-radiation combinational circuit design.
Integr.
Chang Liu, Xu He, Bin Liang, Yang Guo
2018 A* conf
PEP: proactive checkpointing for efficient preemption on GPUs.
DAC
Chen Li, Andrew Zigerelli, Jun Yang, Yang Guo
2018 — conf
Performance Analysis of Different Convolution Algorithms in GPU Environment.
NAS
Rui Xu, Sheng Ma, Yang Guo
2018 J jnl
VP-Router: On balancing the traffic load in on-chip networks.
IEICE Electron. Express
Zicong Wang, Xiaowen Chen, Junyang Zhang, Yang Guo
2017 J jnl
A Formal Approach to Verify Parameterized Protocols in Mobile Cyber-Physical Systems.
Mob. Inf. Syst.
Long Zhang, Wenyan Hu, WanXia Qu, Yang Guo, Sikun Li
2017 — conf
A Mixed-Size Monolithic 3D Placer with 2D Layout Inheritance.
ACM Great Lakes Symposium on VLSI
Xu He, Yao Wang, Yang Guo, Sorin Cotofana
2017 J jnl
A Parallel Test Application Method towards Power Reduction.
J. Electron. Test.
Ding Deng, Yang Guo, Zhentao Li
2017 — conf
A Radiation-Immune Low-Jitter High-Frequency PLL for SerDes.
NCCET
Hengzhou Yuan, Jianjun Chen, Bin Liang, Yang Guo
2017 J jnl
A novel power-efficient IC test scheme.
IEICE Electron. Express
Ding Deng, Xiaowen Chen, Yang Guo
2017 — conf
A radiation hardened low-noise voltage-controlled-oscillator using negative feedback based multipath- current-releasing technology.
ASICON
Hengzhou Yuan, Jianjun Chen, Bin Liang, Yang Guo
2017 — conf
A state recovery design against single-event transient in high-speed phase interpolation clock and data recovery circuit.
ASICON
Jia-wei Tan, Yang Guo, Jianjun Chen, Hengzhou Yuan, Xi Chen
2017 — conf
Fairness-Oriented and Location-Aware NUCA for Many-Core SoC.
NOCS
Zicong Wang, Xiaowen Chen, Chen Li, Yang Guo
2017 — conf
Fairness-oriented switch allocation for networks-on-chip.
SoCC
Zicong Wang, Xiaowen Chen, Chen Li, Yang Guo
2016 — conf
A low-jitter self-biased phase-locked loop for SerDes.
ISOCC
Hengzhou Yuan, Yang Guo, Yao Liu, Bin Liang, Qian-cheng Guo, Jia-wei Tan
2016 C conf
DLL: A dynamic latency-aware load-balancing strategy in 2.5D NoC architecture.
ICCD
Chen Li, Sheng Ma, Lu Wang, Zicong Wang, Xia Zhao, Yang Guo
2016 — conf
Overcoming and Analyzing the Bottleneck of Interposer Network in 2.5D NoC Architecture.
ACA
Chen Li, Zicong Wang, Lu Wang, Sheng Ma, Yang Guo
2016 J jnl
Ripple 2.0: Improved Movement of Cells in Routability-Driven Placement.
ACM Trans. Design Autom. Electr. Syst.
Xu He, Yao Wang, Yang Guo, Evangeline F. Y. Young
2015 — conf
Achieving Memory Access Equalization Via Round-Trip Routing Latency Prediction in 3D Many-Core NoCs.
ISVLSI
Xiaowen Chen, Zhonghai Lu, Yang Li, Axel Jantsch, Xueqian Zhao, Shuming Chen, Yang Guo, Zonglin Liu, Jianzhuang Lu, Jianghua Wan, Shuwei Sun, Shenggang Chen, Hu Chen
2015 — conf
An effective analytical 3D placer in monolithic 3D IC designs.
ASICON
Yande Jiang, Xu He, Chang Liu, Yang Guo
2015 J jnl
Command-Triggered Microcode Execution for Distributed Shared Memory Based Multi-Core Network-on-Chips.
J. Softw.
Xiaowen Chen, Zhonghai Lu, Axel Jantsch, Shuming Chen, Yang Guo, Shenggang Chen, Hu Chen, Man Liao
2015 — conf
Equivalence checking of scheduling in high-level synthesis.
ISQED
Tun Li, Jian Hu, Yang Guo, Sikun Li, Qingping Tan
2015 J jnl
Express Ring: a multi-layer and non-blocking NoC architecture.
IEICE Electron. Express
Chen Li, Sheng Ma, Shenggang Chen, Yang Guo, Peng Wang
2015 J jnl
Performance Analysis of Homogeneous On-Chip Large-Scale Parallel Computing Architectures for Data-Parallel Applications.
J. Electr. Comput. Eng.
Xiaowen Chen, Zhonghai Lu, Axel Jantsch, Shuming Chen, Yang Guo, Shenggang Chen, Hu Chen
2014 — conf
A 40nm/65nm process adaptive low jitter phase-locked loop.
ISIC
Hengzhou Yuan, Yang Guo, Zhuo Ma
2014 J jnl
An efficient floating-point multiplier for digital signal processors.
IEICE Electron. Express
Zonglin Liu, Sheng Ma, Yang Guo
2014 J jnl
Cooperative communication for efficient and scalable all-to-all barrier synchronization on mesh-based many-core NoCs.
IEICE Electron. Express
Xiaowen Chen, Zhonghai Lu, Axel Jantsch, Shuming Chen, Yang Guo, Hengzhu Liu
2013 — conf
An adaptive multi-modulus frequency divider.
ASICON
Hengzhou Yuan, Zhuo Ma, Yang Guo
2013 — conf
Application specified soft error failure rate analysis using sequential equivalence checking techniques.
ASP-DAC
Tun Li, Dan Zhu, Sikun Li, Yang Guo
2013 — conf
Efficient translation validation of high-level synthesis.
ISQED
Tun Li, Yang Guo, Wanwei Liu, Chiyuan Ma
2013 — conf
Translation validation of scheduling in high level synthesis.
ACM Great Lakes Symposium on VLSI
Tun Li, Yang Guo, Wanwei Liu, Mingsheng Tang
2012 J jnl
A novel parallel memory organization supporting multiple access types with matched memory modules.
IEICE Electron. Express
Sheng Liu, Shuming Chen, Hu Chen, Yang Guo
2012 J jnl
State space reduction in modeling checking parameterized cache coherence protocol by two-dimensional abstraction.
J. Supercomput.
Yang Guo, WanXia Qu, Long Zhang, Weixia Xu
2008 — conf
2D Decomposition Sequential Equivalence Checking of System Level and RTL Descriptions.
ISQED
Dan Zhu, Tun Li, Yang Guo, Sikun Li
2008 — conf
Efficient Verification of Parameterized Cache Coherence Protocols.
ICYCS
WanXia Qu, Yang Guo, Zhengbin Pang, Xiaodong Yang
2008 — conf
Explicit Model Checking Based on Integer Pointer and Fibonacci Hash.
ICYCS
WanXia Qu, Tun Li, Yang Guo, Xiaodong Yang
2007 C conf
A Novel Collaborative Verification Environment for SoC Co-Verification.
CSCWD
Tun Li, Sikun Li, Jinshan Yu, Yang Guo
2007 — conf
Coverage Driven Test Generation Framework for RTL Functional Verification.
CAD/Graphics
Yang Guo, WanXia Qu, Tun Li, Sikun Li
2007 — conf
Experiences Teaching Functional Verification Techniques with Practical Designs.
MSE
Tun Li, Yang Guo, Sikun Li, Wei Dong, Rangyu Deng
2006 — conf
Pseudo Share Data Cache in Multiprocessor: PSDMP.
ISPA Workshops
Pengyong Ma, Xiao Hu, Shuming Chen, Yang Guo
2006 C conf
Scheduling of Transactions Based on Extended Scheduling Timed Petri Nets for SoC System-Level Test-Case Generation.
EUC
Jinshan Yu, Tun Li, Yang Guo, Qingping Tan
2006 C conf
TraceDo: An On-Chip Trace System for Real-Time Debug and Optimization in Multiprocessor SoC.
ISPA
Xiao Hu, Pengyong Ma, Shuming Chen, Yang Guo, Xing Fang
2005 — conf
Applying Constraint Logic Programming to Predicate Abstraction of RTL Verilog Descriptions.
MICAI
Tun Li, Yang Guo, Sikun Li, Dan Zhu
2005 — conf
Automatic functional test program generation for microprocessor verification.
ASP-DAC
Tun Li, Dan Zhu, Lei Liang, Yang Guo, Sikun Li
2005 C conf
Functional Vectors Generation for RT-Level Verilog Descriptions Based on Path Enumeration and Constraint Logic Programming.
DSD
Tun Li, Yang Guo, Gongjie Liu, Sikun Li
2005 C conf
MA2TG: A Functional Test Program Generator for Microprocessor Verification.
DSD
Tun Li, Dan Zhu, Yang Guo, Gongjie Liu, Sikun Li
2005 B conf
Predicate Abstraction of RTL Verilog Descriptions Using Constraint Logic Programming.
ATVA
Tun Li, Yang Guo, Sikun Li, Gongjie Liu
2004 — conf
Assertion-based automated functional vectors generation using constraint logic programming.
ACM Great Lakes Symposium on VLSI
Tun Li, Yang Guo, Sikun Li
2004 J jnl
Automatic Circuit Extractor for HDL Description Using Program Slicing.
J. Comput. Sci. Technol.
Tun Li, Yang Guo, Sikun Li
2004 B conf
CLP Based Static Property Checking.
ATVA
Tun Li, Yang Guo, Sikun Li
2004 Misc conf
Design and Implementation of a Parallel Verilog Simulator: PVSim.
VLSI Design
Tun Li, Yang Guo, Sikun Li
2004 — conf
Parallel verilog simulation: architecture and circuit partition.
ASP-DAC
Tun Li, Yang Guo, Sikun Li, Fujiang Ao, Gongjie Li
2003 — conf
An Automatic Circuit Extractor for RTL Verification.
Asian Test Symposium
Tun Li, Yang Guo, Sikun Li