INITIALIZATION OF SEQUENTIAL CIRCUITS USING SOFTWARE PROTOTYPES

被引:0
|
作者
Morkunas, Kestutis [1 ]
Seinauskas, Rimantas [1 ]
机构
[1] Kaunas Univ Technol, Dept Software Engn, Kaunas, Lithuania
关键词
sequential circuit; reset; partial reset; software prototype; initialization; reliability;
D O I
暂无
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
In this article, sequential circuit reset and initialization problem is presented. A method and algorithm is proposed for finding shortest length reset sequences using circuit emulating software prototypes. Using a software prototype gives the benefit and possibility of early test case generation. A reset sequence is able to switch circuit to a know state, regardless of the initial state. In this work, finding a reset sequence consists of using a software prototype which emulates an actual circuit. The proposed method and algorithm use randomly generated sets of circuit states and input signals, finding the best reset candidate and the validation of solution. ISCAS'89 benchmark sequential circuits were used for experiments. The results are provided within the article. Et shows, that this method can achieve better, or at least "as good as" results compared to other algorithms, even though this method operates under more difficult conditions.
引用
收藏
页码:254 / 258
页数:5
相关论文
共 50 条
  • [41] A SEQUENTIAL INITIALIZATION TECHNIQUE FOR VECTOR QUANTIZER DESIGN
    YUAN, GL
    GOLDBERG, M
    [J]. PATTERN RECOGNITION LETTERS, 1988, 7 (03) : 157 - 161
  • [42] Guided Policy Search using Sequential Convex Programming for Initialization of Trajectory Optimization Algorithms
    Kim, Taewan
    Elango, Purnanand
    Malyuta, Danylo
    Acikmese, Behcet
    [J]. 2022 AMERICAN CONTROL CONFERENCE, ACC, 2022, : 3572 - 3578
  • [43] Functional verification of digital circuits using a software system
    Rancea, I.
    Sgarciu, V.
    [J]. 2008 IEEE INTERNATIONAL CONFERENCE ON AUTOMATION, QUALITY AND TESTING, ROBOTICS (AQTR 2008), THETA 16TH EDITION, VOL I, PROCEEDINGS, 2008, : 152 - 157
  • [44] SEQUENTIAL LOGIC CIRCUITS
    MITYULSH.KG
    [J]. AUTOMATION AND REMOTE CONTROL, 1967, (08) : 1147 - &
  • [45] NONLINEAR SEQUENTIAL CIRCUITS
    KAIN, RY
    [J]. IEEE TRANSACTIONS ON COMPUTERS, 1970, C 19 (03) : 249 - &
  • [46] Quaternary Sequential Circuits
    Patel, Vasundara K. S.
    Gurumurthy, K. S.
    [J]. INTERNATIONAL JOURNAL OF COMPUTER SCIENCE AND NETWORK SECURITY, 2010, 10 (07): : 110 - 117
  • [47] Optimizing Quantum Circuits for Arbitrary State Synthesis and Initialization
    Mahmud, Naveed
    MacGillivray, Andrew
    Chaudhary, Manu
    El-Araby, Esam
    [J]. 34TH IEEE INTERNATIONAL SYSTEM ON CHIP CONFERENCE (SOCC), 2021, : 19 - 24
  • [48] Establishing latch correspondence for sequential circuits using distinguishing signatures
    DResearch Digital Media Systems GmbH, Berlin, Germany
    [J]. Integr VLSI J, 1 (33-46):
  • [49] Establishing latch correspondence for sequential circuits using distinguishing signatures
    Mohnke, J
    Molitor, P
    Malik, S
    [J]. 40TH MIDWEST SYMPOSIUM ON CIRCUITS AND SYSTEMS, VOLS 1 AND 2, 1998, : 472 - 476
  • [50] Interfacing Software Libraries from Nondeterministic Prototypes
    Stanislav Chachkov
    Didier Buchs
    [J]. Design Automation for Embedded Systems, 2003, 8 : 327 - 343