Probabilistic Analysis for Sequential Circuits Verification Using Markov Chains.

Shuqin Geng Beijing University of Technology, China https://orcid.org/0000-0002-3393-1835

Mingming Zhang 0006 Shuqin Geng Wensi Wang Xiaohong Peng Menghao Chu Shengyuan Zhou Zhonghou Zhang Hang Lu Pengkun Li Ronghao Zhu Probabilistic Analysis for Sequential Circuits Verification Using Markov Chains. 481-485 2021 68 IEEE Trans. Circuits Syst. II Express Briefs 1 https://doi.org/10.1109/TCSII.2020.3005705 db/journals/tcasII/tcasII68.html#ZhangGWPCZZLLZ21

Qianhui Fan Wensi Wang Xu Liu 0002 Qiang Gao Shuqin Geng A High Efficiency Re-configurable Step-down Switched Capacitor DC-DC Converter for Medical Implants Application. 1-4 2021 ASICON https://doi.org/10.1109/ASICON52560.2021.9620516 conf/asicon/2021 db/conf/asicon/asicon2021.html#FanW0GG21

Shuqin Geng Yupeng Hou Menghao Chu Yuxin Bai Ligang Hou Heng Wang Analysis and Computational Methods for a Reader Solenoid Coil Used in Industrial Environments. 3298-3306 2020 67 IEEE Trans. Ind. Electron. 4 https://doi.org/10.1109/TIE.2019.2908596 https://www.wikidata.org/entity/Q127643553 db/journals/tie/tie67.html#GengHCBHW20

Shengyuan Zhou Shuqin Geng Xiaohong Peng Mingming Zhang 0006 Menghao Chu Pengkun Li Hang Lu Ronghao Zhu The Design Of UVM Verification Platform Based On Data Comparison. 1080-1085 2020 EITCE https://doi.org/10.1145/3443467.3443908 https://www.wikidata.org/entity/Q131118974 conf/eitce/2020 db/conf/eitce/eitce2020.html#ZhouGPZCLLZ20 Ligang Hou Jingyan Fu Jinhui Wang Na Gong Wei Zhao 0001 Shuqin Geng A thermal-aware distribution method of TSV in 3D IC. 1-3 2015 ASICON https://doi.org/10.1109/ASICON.2015.7517067 conf/asicon/2015 db/conf/asicon/asicon2015.html#HouFWG0G15 Ligang Hou Jingsong Zhi Lin Zhu Jinhui Wang Xiaohong Peng Shuqin Geng A fast vector reuse verification method for standard cell library. 1-4 2015 ASICON https://doi.org/10.1109/ASICON.2015.7517026 conf/asicon/2015 db/conf/asicon/asicon2015.html#HouZZWPG15 Feng Ru Xiaohong Peng Ligang Hou Jinhui Wang Shuqin Geng Chen Song The design of face recognition system based on ARM9 embedded platform. 1-4 2015 ASICON https://doi.org/10.1109/ASICON.2015.7516879 conf/asicon/2015 db/conf/asicon/asicon2015.html#RuPHWGS15 Lei Zuo Ligang Hou Wang Zhang Shuqin Geng Wuchen Wu Application of PSO-Adaptive Neural-fuzzy Inference System (ANFIS) in Analog Circuit Fault Diagnosis. 51-57 2010 ICSI (2) https://doi.org/10.1007/978-3-642-13498-2_7 conf/swarm/2010-2 db/conf/swarm/icsi2010-2.html#ZuoHZGW10 Jinhui Wang Wuchen Wu Na Gong Lei Zuo Ligang Hou Shuqin Geng Wang Zhang Daming Gao Switching and leakage power modeling for multiple-supply dynamic gate with delay constraining based on wavelet neural networks. 3240-3243 2009 IJCNN https://doi.org/10.1109/IJCNN.2009.5178734 https://doi.ieeecomputersociety.org/10.1109/IJCNN.2009.5178734 conf/ijcnn/2009 db/conf/ijcnn/ijcnn2009.html#WangWGZHGZG09 Lei Zuo Ligang Hou Wuchen Wu Jinhui Wang Shuqin Geng Fault Diagnosis of Analog IC Based on Wavelet Neural Network Ensemble. 772-779 2009 ISNN (3) https://doi.org/10.1007/978-3-642-01513-7_84 conf/isnn/2009-3 db/conf/isnn/isnn2009-3.html#ZuoHWWG09 Jinhui Wang Lei Zuo Na Gong Daming Gao Shuqin Geng Wang Zhang Ligang Hou Xiaohong Peng Wuchen Wu Estimation for Speed and Leakage Power of Dual Threshold Domino OR Based on Wavelet Neural Networks. 844-851 2009 ISNN (1) https://doi.org/10.1007/978-3-642-01507-6_95 conf/isnn/2009-1 db/conf/isnn/isnn2009-1.html#WangZGGGZHPW09 Yuxin Bai Menghao Chu Qianhui Fan Jingyan Fu Daming Gao Qiang Gao Na Gong Ligang Hou Yupeng Hou Pengkun Li Xu Liu 0002 Hang Lu Xiaohong Peng Feng Ru Chen Song Heng Wang Jinhui Wang Wensi Wang Wuchen Wu Mingming Zhang 0006 Wang Zhang Zhonghou Zhang Wei Zhao 0001 Jingsong Zhi Shengyuan Zhou Lin Zhu Ronghao Zhu Lei Zuo