Functional test generation for synchronous sequential circuits (1996)

Cached

Download Links

by M. K. Srinivas , James Jacob , Vishwani D. Agrawal
Venue:IEEE Trans. on CAD/ICAS
Citations:2 - 0 self

Documents Related by Co-Citation

3 BDDBased Testability Estimation of VHDL Designs – Fabrizio Ferrandi, Franco Fummi, Enrico Macii, Massimo Poncino, Donatella Sciuto - 1996
2605 Graph-based algorithms for Boolean function manipulation – Randal E. Bryant - 1986
5 Irredundant sequential machines via optimal logic synthesis – S Devadas, H Tony Ma, A Newton - 1990
6 Test Generation for Networks of Interacting FSMs Using Symbolic Techniques – F. Ferrandi, F. Fummi, E. Macii, M. Poncino, D. Sciuto, Politecnico Di Torino - 1996
2 Functional Design for Testability of Interacting Finite State Machines – F Fummi, U Rovati, D Sciuto - 1997
9 A Unifying Methodology for Intellectual Property and Custom Logic Testing – S Bhatia, T Gheewala, P Varma - 1996
10 On removing redundancy in sequential circuits – K T Cheng - 1991
26 Testing embedded cores using partial isolation rings – Nur A. Touba, Bahram Pouya - 1997
2 On the modelling and testing of vhdl behavioral descriptions of sequential circuits – V Pla, J F Santucci, N Giambiasi - 1993
2 CUDD: CU decision diagram package, version 2.1.2 – F Somenzi - 1997
1 Definition of methodology for testability analysis at the RTL and CDFG levels requirement specs for functional pattern quality evaluator. Technical Report of Deliverable 2.3.A, Esprit project n.20616 - REQUEST – Borrego - 1996
22 Testability Analysis and Improvement from VHDL Behavioral Specifications – X Gu, K Kuchcinski, Z Peng - 1994
36 Redundancy identification/removal and test generation for sequential circuits using implicit state enumeration – H Cho, G Hachtel, F Somenzi - 1993
9 On achieving a complete fault coverage for sequential machines using the transition fault model – I Pomeranz, S M Reddy - 1991
7 FsmTest: Functional Test Generation for Sequential Circuits – G. Buonanno, F. Fummi, D. Sciuto, F. Lombardi - 1996
16 A functional fault model for sequential machines – K-T Cheng, J-Y Jou
36 A System for Sequential Circuit Synthesis – “SIS - 1992
282 Digital Systems Testing and Testable Design – M Abramovici, M Breuer, A Friedman - 1994
118 Logic Synthesis and Verification Algorithms – Gary D. Hachtel, Fabio Somenzi - 1996