효율적인 HDL 디버깅을 위한 아키텍쳐 자동 생성 시스템

본 논문은 Verilog HDL이나 VHDL로 설계된 디지털 회로의 구조를 효율적으로 분석하고 디버깅 할 수 있는 ECAD 소프트웨어를 제안한다. 이 소프트웨어는 HDL 코드를 파싱하여 내부 구조에 대한 정보를 추출한 후 여러 가지 종류의 그래픽 도우미 예를 들면, 배치배선 알고리즘을 적용하여 생성된 계층구조의 논리회로도, 각 모듈을 구성하는 요소들을 나타내는 객체 나무 그래픽, 인스턴스들의 계층구조를 나타내는 인스턴스 나무 그래픽, 내부 시그널간의 관계를 나타내는 시그널 관계도(SPD, signal propagation diagram) 등으로 표현된다. 디버깅에 가장 중요한 기능은 여러 가지 다른 관점의 설계 정보(HDL 코드, 객체 나무, 인스턴스 나무, SPD, 파형 등)에서 임의의 객체로부터출발하여 동일한 설계 정보를 찾아내는 기능이다. 이러한 기능들은 설계자가 수작업으로 HDL 코드를 분석하고 버그를 찾아내는 기능을 효율적으로 수행할 수 있도록 돕는다.

[1]  장길웅.  무선 센서 네트워크에서 최대 수명 데이터 수집 문제를 위한 시뮬레이티드 어닐링 알고리즘 , 2013 .

[2]  Hyung-Lae Roh.  Driving forces & the technological challenges for SOC development of tomorrow , 2003, 2003 IEEE Workshop on Signal Processing Systems (IEEE Cat. No.03TH8682).

[3]  James Joseph Koschella.  A placement/interconnect channel router : cutting your PI into slices , 1981 .

[4]  Mao Lin Huang,et al.  Highlighting in Information Visualization: A Survey , 2010, 2010 14th International Conference Information Visualisation.

[5]  Alan T. Sherman,et al.  VLSI Placement and Routing: The PI Project , 1989, Texts and Monographs in Computer Science.

[6]  Carl Sechen,et al.  VLSI Placement and Global Routing Using Simulated Annealing , 1988 .

[7]  Chong-Min Kyung,et al.  Current status and challenges of SoC verification for embedded systems market , 2003, IEEE International [Systems-on-Chip] SOC Conference, 2003. Proceedings..

[8]  A. W. Ruan,et al.  The third generation verification technology based SOC debugging , 2011, 2011 International Conference on Computational Problem-Solving (ICCP).

[9]  Chris C. N. Chu,et al.  IPR: An Integrated Placement and Routing Algorithm , 2007, 2007 44th ACM/IEEE Design Automation Conference.

[10]  Salim Hariri,et al.  A multithreaded message-passing system for high performance distributed computing applications , 1998, Proceedings. 18th International Conference on Distributed Computing Systems (Cat. No.98CB36183).

[11]  Tien-Fu Chen,et al.  Development of architecture and software technologies in high-performance low-power SoC design , 2005, 11th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA'05).

[12]  Matthias Jung,et al.  A component-based architecture for software communication systems , 2000, Proceedings Seventh IEEE International Conference and Workshop on the Engineering of Computer-Based Systems (ECBS 2000).

[13]  C. R. Green,et al.  A hierarchical message mechanism for distributed systems software , 1988, [1988] Proceedings. Workshop on the Future Trends of Distributed Computing Systems in the 1990s.

[14]  Liang-Bi Chen,et al.  An embedded in-circuit emulator generator for SOC platform , 2003, Proceedings. 2003 IEEE International Conference on Field-Programmable Technology (FPT) (IEEE Cat. No.03EX798).