Synthesizing checkers for on-line verification of system-on-chip designs

Proceedings - IEEE International Symposium on Circuits and Systems

Volumn 4, Issue , 2003, Pages

  Drechsler, Rolf ^a  

^a UNIVERSITY OF BREMEN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; LOGIC CIRCUITS; SHIFT REGISTERS;

SYSTEM-ON-CHIP DESIGNS (SOC);

SYSTEMS ANALYSIS;

EID: 0038080942     PISSN: 02714310     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (15)

1. R.A. Baeza-Yates, G.H. Gonnet, A new approach to text searching, Communications of the ACM. 35(10):74-82, 1992
2. B. Bentley. Validating the Intel Pentium 4 microprocessor. In Design Automation Conf., pp. 244-248, 2001.
3. A. Biere, A. Cimatti, E. Clarke, M. Fujita, Y. Zhu, Symbolic Model Checking using SAT procedures instead of BDDs, In Design Automation Conference, pp. 317-320, 1999
4. K. Compton, S. Hauck, Reconfigureable Computing: A Survey of Systems and Software, ACM Computing Surveys, Vol. 34, No. 2, pp. 171-210, 2002
5. C. Charras, T. Lecroq, Handbook of Exact String-Matching Algorithms, http://www-igm.univ-mlv.fr/̃lecroq/string/string.pdf, 2002
6. R. Drechsler, S. Höreth, Gatecomp: Equivalence Checking of Digital Circuits in an Industrial Environment, International Workshop on Boolean Problems, pp. 195-200, 2002
7. th IFIP International Conference on Very Large Scale Integration, pp. 127-132, 2001
8. P. Johannsen, R. Drechsler, Utilizing High-Level Information for Formal Hardware Verification, Advanced Computer Systems, J. Soldek, J. Pejaz (Ed.), Kluwer Academic Publishers, pp. 419-431, 2002
9. M. Gericota, G. Alves, M. Suva, J. Ferreira, DRAFT : An On-Line Fault Detection Method for Dynamic and Partially Reconfigurable FPGAs, IEEE International On-Line Testing Workshop, 2001
10. R. Goering, Assertion's Babel tower?, http://www.eedesign.com/columns/tool_talk/OEG2001 0828S0054, 2001
11. A. Kuehlmann, M. Ganai and V. Paruthi, Circuit-Based Boolean Reasoning, In Design Automation Conference, pp. 232-237, 2001
12. M. Oliveira, A. Hu High-Level Specification and Automatic Generation of IP Interface Monitors, In Design Automation Conference, pp. 129-134, 2002
13. K. Shimuzu, D. Dill, A. Hu, Monitor-based formal specification of PCI, International Conference on Formal Methods in Computer-Aided Design (FMCAD), 2000
14. R. Tessier, W. Burleson, Reconfigurable Computing and Digital Signal Processing: A Survey, Journal of VLSI Signal Processing, Kluwer, 28, pp. 7-27, May/June 2001
15. T.W. Williams, K.P. Parker. Design for testability - a survey. IEEE Trans, on Comp., 31(1):2-15, 1982