요약

이 흰색 이 논문은 실시간 온칩 정보 수집 및 오프칩 공식 웹 검색 방법 내에서 조합을 사용하여 유명한 영향을 받은 도시에서 하나의 멋진 칩을 되감거나 재설정하는 것을 의미하는 포스트 실리콘 디버깅 방식으로 모든 사람을 시작합니다. 범위, 온칩 비결정성 및 디스플레이 전파 지연과 같은 실용적인 주석으로 구성된 최신 완전한 디버그 흐름이 거의 확실하게 제공됩니다. 실제 낮은 오버헤드 중단점 회로로 구성된 이 스레드는 전체 다이의 상태를 모니터링하기 위해 배치하지 않고도 정확한 지점 중단점 기능을 향한 수단을 제공합니다. 스레드 및 관련 하드웨어는 정식 검증 알고리즘에 직면한 PC에 연결된 디버깅 전자 장치인 openrisc 장착 프로세서로 구성된 범용 직렬 버스 모델을 사용하여 검토되었습니다. 수백 개의 후크 추적이 이 백서에 제공된 특정 기술을 사용하여 생성되었습니다.

연결

  1. 바. De Paula, M. Gort, A. Hu, S. Wilton, J. Yang, “역 검색: 실리콘 후 디버깅을 위한 형식 분석”, Formalmet. 지불. – 지원 디자인, pp. 35-44, 11월 8일.