Launch HN: SiLogy (YC W24) – 클라우드 기반의 칩 설계 및 검증

안녕하세요 여러분! 저희는 SiLogy(https://silogy.io/)의 공동 창업자들입니다. 저희는 반도체 개발 주기를 가속화하기 위한 칩 설계 및 검증 (verification) 도구를 구축하고 있습니다. 데모는 여기서 확인하실 수 있습니다:

https://www.youtube.com/watch?v=u0wAegt79EA

AI의 수요와 Moore의 Law (무어의 법칙)의 하락 예측 덕분에 새로운 칩을 설계하려는 관심이 커지고 있습니다. 이 모든 칩은 시뮬레이션 (simulation)을 통해 테스트되어야 합니다. 칩의 복잡성이 증가함에 따라 가능한 상태의 수가 기하급수적으로 늘어나기 때문에, 검증 (verification)에 대한 필요성이 폭발적으로 증가하고 있습니다. 칩 개발자들은 이미 시간의 70%를 테스트에 소비하고 있습니다. ("검증 격차 (verification gap)"에 관한 이 영상(https://www.youtube.com/watch?v=rtaaOdGuMCc)을 참고하세요).

도구 (Tooling)가 이를 따라가지 못하고 있습니다. 협업 디버깅 (collaborative debugging)의 최신 기술 수준은 동료의 책상으로 걸어가서 로그 파일 (log file)이나 웨이브폼 파일 (waveform file)의 오류를 가리키는 정도입니다. 각 칩 회사는 이를 해결하기 위해 자체적인 도구와 인프라 (infra)를 구축합니다. 이것이 저희 공동 창업자 중 한 명인 Kay의 이전 직장에서의 업무 전체였습니다. 하지만 그들은 개발 도구 (devtools)가 아니라 칩 자체를 연구하고 싶어 합니다! 그들이 고안해낸 해결책들은 종종 불충분하고 답답합니다. 이것이 저희가 SiLogy를 시작한 이유입니다.

SiLogy는 전체 디지털 검증 (digital verification) 워크플로우를 관리하기 위한 웹 앱입니다. ("디지털 검증 (Digital verification)"이란 설계의 로직 (logic)을 테스트하는 것을 의미하며, 칩의 물리적 설계 (physical design) 이전의 모든 단계를 포함합니다. 이는 검증 단계에서 가장 시간이 많이 소요되는 단계입니다.)

저희는 세 가지 기능을 결합합니다:

테스트 오케스트레이션 (Test orchestration) 및 실행: 저희 제품의 핵심은 인기 있는 오픈 소스 시뮬레이터 (open-source simulator)인 Verilator를 Docker 컨테이너에서 실행하는 CI 도구입니다. 레포지토리 (repo)에 푸시하거나 UI에서 수동으로 작업을 트리거하면, 저희가 종속성 (dependencies)을 설치하고 바이너리 (binaries)를 Docker 이미지로 컴파일한 다음 테스트를 실행합니다. 또한 UI를 사용하여 사용자 정의 인자 (custom arguments)와 함께 단일 테스트를 다시 실행할 수도 있습니다.

테스트 결과 및 통계 (Test results and statistics): 웹 앱에서 각 테스트의 로그를 보여줍니다. 앱 내에서 파형 (waveform) 파일도 볼 수 있도록 작업 중입니다. 또한 각 테스트 스위트 (test suite) 내에서 통과 및 실패한 테스트를 추적하고 있으며, 관리자들을 만족시킬 수 있도록 테스트 트렌드 (test trends)를 멋지게 시각화하는 작업도 진행 중입니다. :)

협업 (Collaboration): 곧 Google Docs에서처럼 로그나 파형 파일 내의 특정 위치로 링크를 보내고 댓글을 남길 수 있는 기능이 추가될 예정입니다.

범용 CI 도구들과 달리, 저희는 검증 워크플로우 (verification workflows)와의 긴밀한 통합에 집중합니다. 어설션 (assertion)이 실패하면, 해당 오류가 발생한 소스 코드를 보여줍니다. 현재 파형 보기 (waveform viewing) 기능을 열심히 개발 중이며, 곧 버튼 클릭 한 번으로 실패한 테스트로부터 파형을 생성할 수 있게 될 것입니다.

저희의 로드맵에는 주요 상용 시뮬레이터인 VCS, Xcelium, Questa에 대한 지원이 포함되어 있습니다. 또한 Buck2를 기반으로 한 테스트 생성 (test gen) 프레임워크를 작업 중이며, 이를 통해 포스트 커밋 (post-commit) 실행을 위한 테스트를 정적으로 선언하거나, 야간 회귀 테스트 (nightly regressions)를 위해 수천 개의 테스트를 프로그래밍 방식으로 생성할 수 있게 될 것입니다.

저희는 개인, 스타트업, 연구소 대상 할인을 포함한 시트 (seats) 판매를 계획하고 있습니다 (현재 가격 책정 작업 중). 지금은 HN 커뮤니티가 저희가 설계 검증 (design verification)의 미래라고 믿는 이 서비스를 직접 체험해 볼 수 있도록 게스트 등록을 개방하고 있습니다. 저희가 알고 있는 많은 것들은 이 커뮤니티 덕분이며, 어떠한 피드백이라도 주신다면 정말 감사하겠습니다. <3
이메일 주소를 제공하고 싶지 않다면