![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Yang Guo 0003
Person information
- affiliation: National University of Defense Technology, Changsha, China
Other persons with the same name
- Yang Guo — disambiguation page
- Yang Guo 0001
— National Institute of Standards and Technology (NIST), Gaithersburg, MD, USA (and 3 more)
- Yang Guo 0002
(aka: Simon Guo 0002) — University of Victoria, Victoria, BC, Canada
- Yang Guo 0004
— Northeastern University, Shenyang, China
- Yang Guo 0005
— Key Laboratory of Radiometric Calibration and Validation for Environmental Satellites, China Meteorological Administration, Beijing, China
- Yang Guo 0006
— South China University of Technology, Guangzhou, China
Refine list
![note](https://dblp1.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j45]Junsheng Chang
, Kai Lu, Yang Guo, Yongwen Wang, Zhenyu Zhao, Libo Huang, Hongwei Zhou, Yao Wang, Fei Lei, Biwei Zhang:
A survey of compute nodes with 100 TFLOPS and beyond for supercomputers. CCF Trans. High Perform. Comput. 6(3): 243-262 (2024) - [j44]Rui Xu
, Sheng Ma
, Yang Guo
, Dongsheng Li
:
A Survey of Design and Optimization for Systolic Array-based DNN Accelerators. ACM Comput. Surv. 56(1): 20:1-20:37 (2024) - [c58]Jing Feng, Mei Wen, Xin Ju, Junzhong Shen, Yang Guo:
Enhancing the PE Utilization for Multi-Precision Systolic Array via Optimizing Computation Latency. ISCAS 2024: 1-5 - [c57]Ting Su, Yaohua Wang, Shi Xu, Lusi Zhang, Simin Feng, Jialong Song, Yiming Liu, Yongkang Tang, Yang Zhang, Shaoqing Li, Yang Guo, Hengzhu Liu:
Improving the Ability of Thermal Radiation Based Hardware Trojan Detection. USENIX Security Symposium 2024 - 2023
- [j43]Zhenyu Wang
, Ding Deng, Shen Hou, Yang Guo, Shaoqing Li:
Design of three-factor secure and efficient authentication and key-sharing protocol for IoT devices. Comput. Commun. 203: 1-14 (2023) - [j42]Xu He
, Yao Wang
, Chang Liu
, Qiang Wu
, Juan Luo
, Yang Guo
:
A Soft-Error Mitigation Approach Using Pulse Quenching Enhancement at Detailed Placement for Combinational Circuits. ACM Trans. Design Autom. Electr. Syst. 28(4): 65:1-65:22 (2023) - [j41]Xu He
, Yao Wang
, Zhiyong Fu
, Yipei Wang
, Yang Guo
:
A General Layout Pattern Clustering Using Geometric Matching-based Clip Relocation and Lower-bound Aided Optimization. ACM Trans. Design Autom. Electr. Syst. 28(6): 90:1-90:23 (2023) - 2022
- [j40]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:
MT-3000: a heterogeneous multi-zone processor for HPC. CCF Trans. High Perform. Comput. 4(2): 150-164 (2022) - [j39]Xi Chen
, Qian-cheng Guo
, Hengzhou Yuan
, Yang Guo:
A Single-Event Transient Radiation Hardened Low-Dropout Regulator for LC Voltage-Controlled Oscillator. Symmetry 14(4): 788 (2022) - [j38]Rui Xu
, Sheng Ma
, Yaohua Wang, Yang Guo, Dongsheng Li
, Yuran Qiao:
Heterogeneous Systolic Array Architecture for Compact CNNs Hardware Accelerators. IEEE Trans. Parallel Distributed Syst. 33(11): 2860-2871 (2022) - [c56]Xu He, Zhiyong Fu, Yao Wang, Chang Liu, Yang Guo:
Accurate timing prediction at placement stage with look-ahead RC network. DAC 2022: 1213-1218 - [c55]Zhenyu Wang, Ding Deng, Yang Guo, Shaoqing Li:
HCRO-LKSM: A Lightweight Key Sharing and Management Protocol Based on HCRO-PUF for IoT Devices. HPCC/DSS/SmartCity/DependSys 2022: 1366-1373 - [c54]Minjin Tang, Mei Wen, Yasong Cao, Junzhong Shen, Jianchao Yang, Jiawei Fei, Yang Guo, Sheng Liu:
Mentha: Enabling Sparse-Packing Computation on Systolic Arrays. ICPP 2022: 18:1-18:11 - 2021
- [j37]Jifeng He, Chenggang Wu, Huawei Li, Yang Guo, Tao Li:
Editorial for the special issue on reliability and power efficiency for HPC. CCF Trans. High Perform. Comput. 3(1): 1-3 (2021) - [j36]Shen Hou
, Ding Deng
, Zhenyu Wang, Jiahe Shi
, Shaoqing Li, Yang Guo:
A dynamically configurable LFSR-based PUF design against machine learning attacks. CCF Trans. High Perform. Comput. 3(1): 31-56 (2021) - [j35]Yaohua Wang
, Chen Li, Chang Liu, Sheng Liu, Yuanwu Lei, Jian Zhang, Yang Zhang, Yang Guo:
Advancing DSP into HPC, AI, and beyond: challenges, mechanisms, and future directions. CCF Trans. High Perform. Comput. 3(1): 114-125 (2021) - [j34]Jingtian Liu, Bin Liang, Jianjun Chen, Yaqing Chi, Li Yan, Yang Guo:
Current mirror with charge dissipation transistor for analogue single-event transient mitigation in space application. IET Circuits Devices Syst. 15(2): 136-140 (2021) - [j33]Rui Xu, Sheng Ma, Yaohua Wang, Xinhai Chen
, Yang Guo:
Configurable Multi-directional Systolic Array Architecture for Convolutional Neural Networks. ACM Trans. Archit. Code Optim. 18(4): 42:1-42:24 (2021) - [c53]Xi Chen, Qian-cheng Guo, Hengzhou Yuan, Zhenyu Wu, Yang Guo:
Analysis of Single Events Effects on Supply-Regulated LC-Tank Voltage-Controlled Oscillator. ASICON 2021: 1-4 - [c52]Rui Xu, Sheng Ma, Yaohua Wang, Yang Guo:
HeSA: Heterogeneous Systolic Array Architecture for Compact CNNs Hardware Accelerators. DATE 2021: 657-662 - [c51]Xuanyi Li, Chen Li, Yang Guo, Rachata Ausavarungnirun:
Improving Inter-kernel Data Reuse With CTA-Page Coordination in GPGPU. ICCAD 2021: 1-9 - [c50]Munan Ning, Cheng Bian
, Dong Wei, Shuang Yu, Chenglang Yuan, Yaohua Wang, Yang Guo, Kai Ma, Yefeng Zheng:
A New Bidirectional Unsupervised Domain Adaptation Segmentation Framework. IPMI 2021: 492-503 - [i3]Munan Ning, Cheng Bian, Dong Wei, Chenglang Yuan, Yaohua Wang, Yang Guo, Kai Ma, Yefeng Zheng:
A New Bidirectional Unsupervised Domain Adaptation Segmentation Framework. CoRR abs/2108.07979 (2021) - 2020
- [j32]Ding Deng
, Shen Hou
, Zhenyu Wang
, Yang Guo:
Configurable Ring Oscillator PUF Using Hybrid Logic Gates. IEEE Access 8: 161427-161437 (2020) - [j31]Kaiwei Zeng, Munan Ning, Yaohua Wang, Yang Guo:
Energy clustering for unsupervised person re-identification. Image Vis. Comput. 98: 103913 (2020) - [j30]Zhi Wang, Yang Guo, Jian Zhang, Zhao Lv:
Novel probability flipping method for ising annealing chip using circuit unreliability. Microelectron. J. 105: 104902 (2020) - [j29]Munan Ning, Kaiwei Zeng, Yang Guo, Yaohua Wang:
Deviation based clustering for unsupervised person re-identification. Pattern Recognit. Lett. 135: 237-243 (2020) - [j28]Zhi Wang, Xiao Hu
, Jian Zhang, Zhao Lv, Yang Guo:
AIM: Annealing in Memory for Vision Applications. Symmetry 12(3): 480 (2020) - [j27]Chen Li
, Andrew Zigerelli, Jun Yang, Youtao Zhang
, Sheng Ma
, Yang Guo:
A Dynamic and Proactive GPU Preemption Mechanism Using Checkpointing. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39(1): 75-87 (2020) - [j26]Ding Deng
, Yaohua Wang, Yang Guo:
Novel Design Strategy Toward A2 Trojan Detection Based on Built-In Acceleration Structure. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39(12): 4496-4509 (2020) - [j25]Xu He, Yu Deng, Shizhe Zhou, Rui Li, Yao Wang, Yang Guo:
Lithography Hotspot Detection with FFT-based Feature Extraction and Imbalanced Learning Rate. ACM Trans. Design Autom. Electr. Syst. 25(2): 15:1-15:21 (2020) - [c49]Kaiwei Zeng, Munan Ning, Yaohua Wang, Yang Guo:
Hierarchical Clustering With Hard-Batch Triplet Loss for Person Re-Identification. CVPR 2020: 13654-13662 - [c48]Xu He, Yipei Wang, Zhiyong Fu, Yao Wang, Yang Guo:
Maximum Clique Based Method for Optimal Solution of Pattern Classification. ICCD 2020: 304-311 - [c47]Rui Xu, Sheng Ma, Yaohua Wang, Yang Guo:
CMSA: Configurable Multi-directional Systolic Array for Convolutional Neural Networks. ICCD 2020: 494-497 - [c46]Munan Ning, Cheng Bian
, Donghuan Lu, Hong-Yu Zhou
, Shuang Yu, Chenglang Yuan, Yang Guo, Yaohua Wang, Kai Ma, Yefeng Zheng
:
A Macro-Micro Weakly-Supervised Framework for AS-OCT Tissue Segmentation. MICCAI (5) 2020: 725-734 - [c45]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:
FIGARO: Improving System Performance via Fine-Grained In-DRAM Data Relocation and Caching. MICRO 2020: 313-328 - [i2]Munan Ning, Cheng Bian, Donghuan Lu, Hong-Yu Zhou, Shuang Yu, Chenglang Yuan, Yang Guo, Yaohua Wang, Kai Ma, Yefeng Zheng:
A Macro-Micro Weakly-supervised Framework for AS-OCT Tissue Segmentation. CoRR abs/2007.10007 (2020) - [i1]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:
FIGARO: Improving System Performance via Fine-Grained In-DRAM Data Relocation and Caching. CoRR abs/2009.08437 (2020)
2010 – 2019
- 2019
- [j24]Hengzhou Yuan
, Yang Guo, Jianjun Chen, Yaqing Chi, Xi Chen, Bin Liang:
28nm Fault-Tolerant Hardening-by-Design Frequency Divider for Reducing Soft Errors in Clock and Data Recovery. IEEE Access 7: 47955-47961 (2019) - [j23]Shen Hou
, Yang Guo, Shaoqing Li:
A Lightweight LFSR-Based Strong Physical Unclonable Function Design on FPGA. IEEE Access 7: 64778-64787 (2019) - [j22]Chen Li
, Jun Yang, Yifan Sun
, Lingling Jin, Lingjie Xu, Zheng Cao
, Pengfei Fan, David R. Kaeli
, Sheng Ma
, Yang Guo:
Priority-Based PCIe Scheduling for Multi-Tenant Multi-GPU Systems. IEEE Comput. Archit. Lett. 18(2): 157-160 (2019) - [j21]Shen Hou, Yang Guo, Shaoqing Li, Ding Deng, Yan Lei:
A lightweight and secure-enhanced Strong PUF design on FPGA. IEICE Electron. Express 16(24): 20190695 (2019) - [j20]Lujie Zhang, Chang Liu, Long Zhang, Yang Guo:
一种基于SAT求解器的组合电路重汇聚现象分析方法 (Reconvergence Phenomena Analysis Method in Combinational Circuits Based on SAT Solver). 计算机科学 46(4): 309-314 (2019) - [j19]Sheng Ma
, Zhong Liu, Shenggang Chen, Libo Huang, Yang Guo, Zhiying Wang, Meidi Zhang:
Coordinated DMA: Improving the DRAM Access Efficiency for Matrix Multiplication. IEEE Trans. Parallel Distributed Syst. 30(10): 2148-2164 (2019) - [c44]Chen Li, Rachata Ausavarungnirun, Christopher J. Rossbach
, Youtao Zhang, Onur Mutlu, Yang Guo, Jun Yang:
A Framework for Memory Oversubscription Management in Graphics Processing Units. ASPLOS 2019: 49-63 - [c43]Sheng Ma, Yang Guo, Shenggang Chen, Libo Huang, Zhiying Wang:
Improving the DRAM Access Efficiency for Matrix Multiplication on Multicore Accelerators. DATE 2019: 1058-1063 - [c42]Zicong Wang, Xiaowen Chen, Chen Li, Yang Guo, Man Liao, Zhong Liu:
Load-Balanced Link Distribution in Mesh-Based Many-Core Systems. HPCC/SmartCity/DSS 2019: 1028-1034 - [c41]Sheng Ma, Libo Huang, Yuanwu Lei, Yang Guo, Zhiying Wang:
An Efficient Direct Memory Access (DMA) Controller for Scientific Computing Accelerators. ISCAS 2019: 1-5 - 2018
- [j18]Zicong Wang
, Xiaowen Chen, Zhonghai Lu, Yang Guo:
Cache Access Fairness in 3D Mesh-Based NUCA. IEEE Access 6: 42984-42996 (2018) - [j17]Chang Liu
, Long Zhang, Xu He, Yang Guo:
Analysis of SET Reconvergence and Hardening in the Combinational Circuit Using a SAT-Based Method. IEEE Access 6: 48740-48746 (2018) - [j16]Zerun Li, Yang Guo, Sheng Liu, Junyang Zhang:
A task-based multi-core allocation mechanism for packet acceleration. IEICE Electron. Express 15(12): 20180414 (2018) - [j15]Zicong Wang, Xiaowen Chen, Junyang Zhang, Yang Guo:
VP-Router: On balancing the traffic load in on-chip networks. IEICE Electron. Express 15(22): 20180883 (2018) - [j14]Chang Liu, Xu He, Bin Liang, Yang Guo:
Detailed placement for pulse quenching enhancement in anti-radiation combinational circuit design. Integr. 62: 182-189 (2018) - [j13]Long Zhang
, WanXia Qu
, Yinjia Huo, Yang Guo
, Sikun Li:
An SAT-Based Method to Multithreaded Program Verification for Mobile Crowdsourcing Networks. Wirel. Commun. Mob. Comput. 2018 (2018) - [c40]Chen Li, Andrew Zigerelli, Jun Yang, Yang Guo:
PEP: proactive checkpointing for efficient preemption on GPUs. DAC 2018: 114:1-114:6 - [c39]Rui Xu, Sheng Ma, Wenwu Li, Yang Guo:
Accelerating CNNs Using Optimized Scheduling Strategy. ICA3PP (3) 2018: 196-208 - [c38]Sheng Ma, Hongyi Lu, Libo Huang, Li Shen, Yang Guo, Zhiying Wang, Wenliang Xue:
Adaptive VC Partitioning for NoCs in GPGPUs. ISCAS 2018: 1-5 - [c37]Rui Xu, Sheng Ma, Yang Guo:
Performance Analysis of Different Convolution Algorithms in GPU Environment. NAS 2018: 1-10 - 2017
- [j12]Ding Deng, Yang Guo, Zhentao Li:
A Parallel Test Application Method towards Power Reduction. J. Electron. Test. 33(2): 157-169 (2017) - [j11]Ding Deng, Xiaowen Chen, Yang Guo:
A novel power-efficient IC test scheme. IEICE Electron. Express 14(13): 20170462 (2017) - [j10]Long Zhang
, Wenyan Hu, WanXia Qu, Yang Guo
, Sikun Li:
A Formal Approach to Verify Parameterized Protocols in Mobile Cyber-Physical Systems. Mob. Inf. Syst. 2017: 5731678:1-5731678:10 (2017) - [c36]Hengzhou Yuan, Jianjun Chen, Bin Liang, Yang Guo:
A radiation hardened low-noise voltage-controlled-oscillator using negative feedback based multipath- current-releasing technology. ASICON 2017: 241-244 - [c35]Jia-wei Tan, Yang Guo, Jianjun Chen, Hengzhou Yuan, Xi Chen:
A state recovery design against single-event transient in high-speed phase interpolation clock and data recovery circuit. ASICON 2017: 339-342 - [c34]Xu He, Yao Wang, Yang Guo, Sorin Cotofana
:
A Mixed-Size Monolithic 3D Placer with 2D Layout Inheritance. ACM Great Lakes Symposium on VLSI 2017: 29-34 - [c33]Hengzhou Yuan, Jianjun Chen, Bin Liang, Yang Guo:
A Radiation-Immune Low-Jitter High-Frequency PLL for SerDes. NCCET 2017: 45-51 - [c32]Zicong Wang, Xiaowen Chen, Chen Li, Yang Guo:
Fairness-Oriented and Location-Aware NUCA for Many-Core SoC. NOCS 2017: 13:1-13:8 - [c31]Zicong Wang, Xiaowen Chen, Chen Li, Yang Guo:
Fairness-oriented switch allocation for networks-on-chip. SoCC 2017: 304-309 - 2016
- [j9]Xu He, Yao Wang, Yang Guo, Evangeline F. Y. Young:
Ripple 2.0: Improved Movement of Cells in Routability-Driven Placement. ACM Trans. Design Autom. Electr. Syst. 22(1): 10:1-10:26 (2016) - [c30]Chen Li, Zicong Wang, Lu Wang, Sheng Ma, Yang Guo:
Overcoming and Analyzing the Bottleneck of Interposer Network in 2.5D NoC Architecture. ACA 2016: 40-47 - [c29]Chen Li, Sheng Ma, Lu Wang, Zicong Wang, Xia Zhao, Yang Guo:
DLL: A dynamic latency-aware load-balancing strategy in 2.5D NoC architecture. ICCD 2016: 646-653 - [c28]Hengzhou Yuan, Yang Guo, Yao Liu, Bin Liang, Qian-cheng Guo, Jia-wei Tan:
A low-jitter self-biased phase-locked loop for SerDes. ISOCC 2016: 59-60 - 2015
- [j8]Chen Li, Sheng Ma, Shenggang Chen, Yang Guo, Peng Wang:
Express Ring: a multi-layer and non-blocking NoC architecture. IEICE Electron. Express 12(3): 20141190 (2015) - [j7]Xiaowen Chen, Zhonghai Lu, Axel Jantsch
, Shuming Chen, Yang Guo, Shenggang Chen, Hu Chen:
Performance Analysis of Homogeneous On-Chip Large-Scale Parallel Computing Architectures for Data-Parallel Applications. J. Electr. Comput. Eng. 2015: 902591:1-902591:20 (2015) - [j6]Xiaowen Chen, Zhonghai Lu, Axel Jantsch, Shuming Chen, Yang Guo, Shenggang Chen, Hu Chen, Man Liao:
Command-Triggered Microcode Execution for Distributed Shared Memory Based Multi-Core Network-on-Chips. J. Softw. 10(2): 142-161 (2015) - [c27]Yande Jiang, Xu He, Chang Liu, Yang Guo:
An effective analytical 3D placer in monolithic 3D IC designs. ASICON 2015: 1-4 - [c26]Tun Li, Jian Hu, Yang Guo, Sikun Li, QingPing Tan:
Equivalence checking of scheduling in high-level synthesis. ISQED 2015: 257-262 - [c25]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:
Achieving Memory Access Equalization Via Round-Trip Routing Latency Prediction in 3D Many-Core NoCs. ISVLSI 2015: 398-403 - 2014
- [j5]Zonglin Liu, Sheng Ma, Yang Guo:
An efficient floating-point multiplier for digital signal processors. IEICE Electron. Express 11(6): 20140078 (2014) - [j4]Xiaowen Chen, Zhonghai Lu, Axel Jantsch
, Shuming Chen, Yang Guo, Hengzhu Liu:
Cooperative communication for efficient and scalable all-to-all barrier synchronization on mesh-based many-core NoCs. IEICE Electron. Express 11(18): 20140542 (2014) - [c24]Hengzhou Yuan, Yang Guo, Zhuo Ma:
A 40nm/65nm process adaptive low jitter phase-locked loop. ISIC 2014: 500-503 - 2013
- [c23]Hengzhou Yuan, Zhuo Ma, Yang Guo:
An adaptive multi-modulus frequency divider. ASICON 2013: 1-4 - [c22]Tun Li, Dan Zhu, Sikun Li, Yang Guo:
Application specified soft error failure rate analysis using sequential equivalence checking techniques. ASP-DAC 2013: 608-613 - [c21]Tun Li, Yang Guo, Wanwei Liu, Mingsheng Tang
:
Translation validation of scheduling in high level synthesis. ACM Great Lakes Symposium on VLSI 2013: 101-106 - [c20]Tun Li, Yang Guo, Wanwei Liu, Chiyuan Ma:
Efficient translation validation of high-level synthesis. ISQED 2013: 516-523 - 2012
- [j3]Sheng Liu, Shuming Chen, Hu Chen, Yang Guo:
A novel parallel memory organization supporting multiple access types with matched memory modules. IEICE Electron. Express 9(6): 602-608 (2012) - [j2]Yang Guo, WanXia Qu, Long Zhang, Weixia Xu:
State space reduction in modeling checking parameterized cache coherence protocol by two-dimensional abstraction. J. Supercomput. 62(2): 828-854 (2012)
2000 – 2009
- 2008
- [c19]Wanxia Qu, Yang Guo, Zhengbin Pang, Xiaodong Yang:
Efficient Verification of Parameterized Cache Coherence Protocols. ICYCS 2008: 154-159 - [c18]WanXia Qu, Tun Li, Yang Guo, Xiaodong Yang:
Explicit Model Checking Based on Integer Pointer and Fibonacci Hash. ICYCS 2008: 844-849 - [c17]Dan Zhu, Tun Li, Yang Guo, Sikun Li:
2D Decomposition Sequential Equivalence Checking of System Level and RTL Descriptions. ISQED 2008: 637-642 - 2007
- [c16]Yang Guo, WanXia Qu, Tun Li, Sikun Li:
Coverage Driven Test Generation Framework for RTL Functional Verification. CAD/Graphics 2007: 321-326 - [c15]Tun Li, Sikun Li, Jinshan Yu, Yang Guo:
A Novel Collaborative Verification Environment for SoC Co-Verification. CSCWD 2007: 145-150 - [c14]Tun Li, Yang Guo, Sikun Li, Wei Dong, Rangyu Deng:
Experiences Teaching Functional Verification Techniques with Practical Designs. MSE 2007: 93-94 - 2006
- [c13]Jinshan Yu, Tun Li, Yang Guo, QingPing Tan:
Scheduling of Transactions Based on Extended Scheduling Timed Petri Nets for SoC System-Level Test-Case Generation. EUC 2006: 732-741 - [c12]Pengyong Ma, Xiao Hu
, Shuming Chen, Yang Guo:
Pseudo Share Data Cache in Multiprocessor: PSDMP. ISPA Workshops 2006: 47-56 - [c11]Xiao Hu
, Pengyong Ma, Shuming Chen, Yang Guo, Xing Fang:
TraceDo: An On-Chip Trace System for Real-Time Debug and Optimization in Multiprocessor SoC. ISPA 2006: 806-817 - 2005
- [c10]Tun Li, Dan Zhu, Lei Liang, Yang Guo, Sikun Li:
Automatic functional test program generation for microprocessor verification. ASP-DAC 2005: 1039-1042 - [c9]Tun Li, Yang Guo, Sikun Li, GongJie Liu:
Predicate Abstraction of RTL Verilog Descriptions Using Constraint Logic Programming. ATVA 2005: 174-186 - [c8]Tun Li, Yang Guo, GongJie Liu, Sikun Li:
Functional Vectors Generation for RT-Level Verilog Descriptions Based on Path Enumeration and Constraint Logic Programming. DSD 2005: 17-25 - [c7]Tun Li, Dan Zhu, Yang Guo, GongJie Liu, Sikun Li:
MA2TG: A Functional Test Program Generator for Microprocessor Verification. DSD 2005: 176-183 - [c6]Tun Li, Yang Guo, Sikun Li, Dan Zhu:
Applying Constraint Logic Programming to Predicate Abstraction of RTL Verilog Descriptions. MICAI 2005: 175-184 - 2004
- [j1]Tun Li, Yang Guo, Sikun Li:
Automatic Circuit Extractor for HDL Description Using Program Slicing. J. Comput. Sci. Technol. 19(5): 718-728 (2004) - [c5]Tun Li, Yang Guo, Sikun Li, Fujiang Ao, Gongjie Li:
Parallel verilog simulation: architecture and circuit partition. ASP-DAC 2004: 644-646 - [c4]Tun Li, Yang Guo, Sikun Li:
CLP Based Static Property Checking. ATVA 2004: 495-498 - [c3]Tun Li, Yang Guo, Sikun Li:
Assertion-based automated functional vectors generation using constraint logic programming. ACM Great Lakes Symposium on VLSI 2004: 288-291 - [c2]Tun Li, Yang Guo, Sikun Li:
Design and Implementation of a Parallel Verilog Simulator: PVSim. VLSI Design 2004: 329-334 - 2003
- [c1]Tun Li, Yang Guo, Sikun Li:
An Automatic Circuit Extractor for RTL Verification. Asian Test Symposium 2003: 154-160
Coauthor Index
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-16 00:40 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint