하드웨어 통신을 프로그램으로 명세화하기

하드웨어 모듈을 테스트하고 디버깅하려면 일반적으로 두 가지 프로그램을 작성합니다. 하나는 고수준 트랜잭션을 모듈의 입력 및 출력 신호 상호작용으로 변환하는 드라이버(driver)이고, 다른 하나는 신호 레벨 실행 추적(signal-level execution trace)을 분석하여 트랜잭션을 인식하는 모니터(monitor)입니다. 이 두 프로그램은 일반적으로 각 하드웨어 프로토콜에 대해 별도로 구현되지만, 이러한 분리는 수동적인 노력을 필요로 하고 불일치성(inconsistencies)의 위험을 초래합니다. 우리는 대안적인 접근 방식을 제안합니다. 사용자들은 DSL(Domain Specific Language) 내에서 하드웨어 통신 프로토콜을 간결한 명령형 프로그램으로 명세화할 수 있습니다. 결정적으로, 동일한 명세가 드라이브 설계와 트랜잭션 모니터링 모두에 사용될 수 있습니다. 우리는 우리의 DSL로 주어진 명세와 웨이브폼(waveform)을 받으면, 해당 웨이브폼과 일관된 트랜잭션 레벨 추적을 자동으로 유추하는 도구의 설계를 제시합니다. 우리는 Wishbone 및 AXI-Stream과 같은 실제 인터커넥트에서 우리의 DSL을 평가할 계획에 대해 논의합니다.