Special Issue: Computer Architecture and Systems

• Articles •     Next Articles

The Methodology of Testability Prediction for Sequential Circuits

Xu Shiyi; G.P.Dias;   

  1. Shanghai University of Science and Technology; Shanghai 201800;
  • Online:1996-11-10 Published:1996-11-10

Increasingly, test generation algorithms are being developed with the con-tinuous creations of incredibly sophisticated computing systems. Of all the developments of testable as well as reliable designs for computing systems, the test generation for sequential circuits is usually viewed as one of the hard nuts to be solved for its complexity and time-consuming issue. Although dozens of algorithms have been proposed to cope with this issue, it still remains much to be desired in solving such problems as to d…

Key words: temporal logic; temporal logic programming; frame; projection; concurrency; AM (Agile Manufacturing); AVE(Agile Virtual Enterprise); dynamic organization; methodology;

[1] Prathima Agrawal, Vishwani.D.Agrawal, Joan.Villodo. Sequential circuit test generation on a distributed system. In Proc. 30th AC IEEE Design Automation Conf pp.107-111,1993.

[2] Elisabeth Auth, Michael.H.Schulz. A test-pattern-generation algorithm for sequential circuits. IEEE Trans. Design and Test of Computers, 1991, (6): 72-85.

[3] Michael.H.Schulz, Elisabeth.Auth. ESSENTIAL: An efficient self-learning test pattern generation algorithm for sequential circuits. In Proc. IEEE Int'l Test Conf,pp.28-37, 1989. ……….
[1] Zeynep Banu Ozger, Nurgul Yuzbasioglu Uslu. An Effective Discrete Artificial Bee Colony Based SPARQL Query Path Optimization by Reordering Triples [J]. Journal of Computer Science and Technology, 2021, 36(2): 445-462.
[2] Wan-Wei Liu, Fu Song, Tang-Hao-Ran Zhang, Ji Wang. Verifying ReLU Neural Networks from a Model Checking Perspective [J]. Journal of Computer Science and Technology, 2020, 35(6): 1365-1381.
[3] Zhi-Yuan Dong, Chu-Zhe Tang, Jia-Chen Wang, Zhao-Guo Wang, Hai-Bo Chen, Bin-Yu Zang. Optimistic Transaction Processing in Deterministic Database [J]. Journal of Computer Science and Technology, 2020, 35(2): 382-394.
[4] Wen-Li Zhang, Ke Liu, Yi-Fan Shen, Ya-Zhu Lan, Hui Song, Ming-Yu Chen, Yuan-Fei Chen. Labeled Network Stack: A High-Concurrency and Low-Tail Latency Cloud Server Framework for Massive IoT Devices [J]. Journal of Computer Science and Technology, 2020, 35(1): 179-193.
[5] Momodou L. Sanyang, Ata Kabán. Large-Scale Estimation of Distribution Algorithms with Adaptive Heavy Tailed Random Projection Ensembles [J]. Journal of Computer Science and Technology, 2019, 34(6): 1241-1257.
[6] Xiaowu Li, Zhinan Wu, Feng Pan, Juan Liang, Jiafeng Zhang, Linke Hou. A Geometric Strategy Algorithm for Orthogonal Projection onto a Parametric Surface [J]. Journal of Computer Science and Technology, 2019, 34(6): 1279-1293.
[7] Hong Fang, Bo Zhao, Xiao-Wang Zhang, Xuan-Xing Yang. A United Framework for Large-Scale Resource Description Framework Stream Processing [J]. Journal of Computer Science and Technology, 2019, 34(4): 762-774.
[8] Xi Yang, Gul Jabeen, Ping Luo, Xiao-Ling Zhu, Mei-Hua Liu. A Unified Measurement Solution of Software Trustworthiness Based on Social-to-Software Framework [J]. , 2018, 33(3): 603-620.
[9] Jeff Huang, Charles Zhang. Debugging Concurrent Software: Advances and Challenges [J]. , 2016, 31(5): 861-868.
[10] Tao Liu, Yi Liu, Qin Li, Xiang-Rong Wang, Fei Gao, Yan-Chao Zhu, De-Pei Qian. SEIP: System for Efficient Image Processing on Distributed Platform [J]. , 2015, 30(6): 1215-1232.
[11] Yu-Hang Liu, Xian-He Sun. Reevaluating Data Stall Time with the Consideration of Data Access Concurrency [J]. , 2015, 30(2): 227-245.
[12] Kai Lu, Xu Zhou, Xiao-Ping Wang, Tom Bergan, Chen Chen. An Efficient and Flexible Deterministic Framework for Multithreaded Programs [J]. , 2015, 30(1): 42-56.
[13] Zhong-Gui Sun, Song-Can Chen, Li-Shan Qiao . A Two-Step Regularization Framework for Non-Local Means [J]. , 2014, 29(6): 1026-1037.
[14] Hai-Long Shi, Dong Li, Jie-Fan Qiu, Chen-Da Hou, Li Cui. A Task Execution Framework for Cloud-Assisted Sensor Networks [J]. , 2014, 29(2): 216-226.
[15] Guang-Yu Gao, Hua-Dong Ma. Movie Scene Recognition Using Panoramic Frame and Representative Feature Patches [J]. , 2014, 29(1): 155-164.
Full text



[1] Wang Ke;. Polynomial Tests of Normal Forms and Some Related Results[J]. , 1992, 7(1): 75 -82 .
[2] Xu Qingyun; Wang Nengbin;. Concurrency Control Mechanism of Complex Objects[J]. , 1992, 7(4): 305 -310 .
[3] Jin Guohua; Yang Xuejun; Chen Fujie;. Loop Staggering,Loop Compacting:Restructuring Techniques for Thrashing Problem[J]. , 1993, 8(1): 49 -57 .
[4] Zeng Jianchao; Hidehilio Sanada; Yoshikazu Tezuka;. A Form Evaluation System and Its Data Structure for Brush-Written Chinese Characters[J]. , 1995, 10(1): 35 -41 .
[5] Chi-Ming CHUNG; Ding-An CHIANG; YANG Qing;. A Comparative Analysis of Different Arbitration Protocols for Multiple-Bus Multiprocessors[J]. , 1996, 11(3): 313 -325 .
[6] Sun Jizhou; Richard L;. A Radiosity Solution for Curved Surface Environments[J]. , 1997, 12(5): 414 -424 .
[7] Chen Yangjun;. Counting and Topological Order[J]. , 1997, 12(6): 497 -509 .
[8] Jia-Hai Yang, Senior Member, CCF, Member, IEEE, Hui Zhang, Member, ACM, IEEE, Jin-Xiang Zhang, and Chang-Qing An. Towards Next Generation Internet Management: CNGI-CERNET2 Experiences[J]. , 2009, 24(3): 482 -494 .
[9] Wei Jiang (姜伟), Tian Wu (吴甜), Song-Lin Hu (虎嵩林), Senior Member, CCF, and Zhi-Yong Liu (刘志勇), Senior Member, CCF. QoS-Aware Automatic Service Composition: A Graph View[J]. , 2011, 26(5): 837 -853 .
[10] Shi-Min Hu, Leif Kobbelt. Preface[J]. , 2015, 30(3): 437 -438 .

ISSN 1000-9000(Print)

CN 11-2296/TP

Editorial Board
Author Guidelines
Journal of Computer Science and Technology
Institute of Computing Technology, Chinese Academy of Sciences
P.O. Box 2704, Beijing 100190 P.R. China
E-mail: jcst@ict.ac.cn
  Copyright ©2015 JCST, All Rights Reserved