Yosys : Verilog 합성 도구를위한 오픈 소스 프레임 워크

요시스 쇼_rtl

지난 주 Yosys의 새 버전 0.8을 출시 한 W. Clifford가 발표했습니다.

Yosys에 대해 들어 보지 못한 분들을 위해이것은 RTL 합성 도구를위한 프레임 워크입니다.. 현재 카운트 광범위한 Verilog 호환성 다양한 애플리케이션 도메인에 대한 기본 합성 알고리즘 세트를 제공합니다.

이 새 릴리스에는 많은 것들이 추가되었습니다.하지만 릴리스 노트에서 볼 수있는 주요 정보는 Yosys의 개발이 매우 활발하다는 것입니다.

FPGA의 "무료 스위스 군용 칼"이 되겠다는 Yosys의 목표는 오늘날 거의 필수 불가결 한 것으로 간주 될 수 있습니다.

Yosys Open SYnthesis Suite 정보

요시스 기존 패스를 결합하여 합성 작업을 수행하도록 조정할 수 있습니다. (알고리즘) Yosys C ++ 코드베이스를 확장 할 때 합성 스크립트를 사용하고 필요에 따라 추가 패스를 추가합니다.

Yosys는 ISC 라이선스 (MIT 라이선스 또는 2 절 BSD 라이선스와 유사한 GPL 호환 라이선스)에 따라 라이선스가 부여 된 무료 소프트웨어입니다.

FPGA / ASIC 개발 프로세스에서 합성은 시뮬레이션 된 하드웨어 모델을 실제 회로를 유도 할 수있는 "RTL 넷리스트"로 변환하는 단계입니다.

show_coarse

Verilog 정보

Verilog 디지털 회로의 시뮬레이션을 설명하기위한 하드웨어 모델링 언어 (Hardware Description Language HDL)입니다.

이 Verilog 모델은 모델링 된 구성 요소의 "물리적"실현을위한 사양 역할을합니다.

HDL 합성은 HDL 코드를 서로 연결된 디지털 구성 요소로 구성된 "전자 방식"으로 변환하는 것으로 볼 수 있습니다. 이를 "RTL 네트워크 목록"(로그 전송 수준)이라고합니다.

Yosys는 Verilog 합성을위한 유일한 무료 소프트웨어가 아닙니다. (VTR 소프트웨어 제품군에서 ODIN II를 사용할 수도 있습니다.)

그러나 의심 할 여지없이 자유 소프트웨어는 가장 최근에 논의되고 개발이 가장 활발한 소프트웨어입니다.

사실, Yosys는 이제 다음과 같은 저렴한 FPGA를 많이 대상으로합니다. CoolRunner-II, ECP5, MAX10, Cyclone IV 및 특히 ICE40.

ICE40은이 FPGA의 전체 개발 체인이 시작 되었기 때문에 목록에서 약간 특별합니다.

물론 FPGA는 Yosys와 호환되므로 Verilog 합성을 수행 할 수 있습니다., arachnepnr을 사용한 라우팅 위치 및 icepack / iceprog를 사용한 구성 파일 (bitstream) 생성도 포함됩니다.

icetime으로 시간을 확인할 수도 있습니다.

show_cmos

새 버전의 Yosys 정보

  • 이 새로운 Yosys 릴리스에서는 다음과 같은 새로운 기능이 발표되었습니다.
  • Chisel3에서 사용하는 FIRRTL 언어는 넷리스트를 생성하기위한 가능한 백엔드입니다.
  • yosys-smtb의 공식 검증 엔진 지원은 거의 안정적인 것으로 간주 될 수 있습니다.
  • 지원되는 FPGA (및 기타 ASIC) 목록은 매우 길다.
  • 설립자의 독점 소프트웨어 (BLIF, EDIF, BTOR, SMT-LIB, RTL Verilog, FIRRTL)에 다시 통합 할 수있는«netlist»형식

Linux에 Yosys를 설치하는 방법은 무엇입니까?

그 사람들을 위해 이 도구를 사용해 볼 수있는 데 관심이 있습니다., 시스템에서 설치를 수행 할 수 있습니다. 이렇게하려면 아래에서 공유하는 지침을 따라야합니다.

우분투 사용자 및 그 파생물은 간단한 설치를 즐길 수 있습니다.. 시스템에 다음 리포지토리를 추가하면됩니다.

먼저 Ctrl + ALT + T로 터미널을 열고 다음 명령을 실행해야합니다.

sudo add-apt-repository ppa:saltmakrell/ppa

이제이 작업을 완료하여 패키지 및 리포지토리 목록을 다음으로 업데이트해야합니다.

sudo apt-get update 

마지막으로 다음과 같이 응용 프로그램을 설치합니다.

sudo apt-get install yosys

나머지 Linux 배포판의 경우 도구를 컴파일해야합니다.. 이를 위해 GIT 저장소의 소스 코드를 복제해야합니다.

git clone https://github.com/cliffordwolf/yosys.git

다음을 사용하여 빌드 설정을 구성합니다.

make config-clang

vi Makefile

vi Makefile.conf

마지막으로 빌드, 테스트 및 설치 :

make

make test

sudo make install

이에 대한 자세한 정보를 얻고 Yosys 사용에 대한 문서를 찾으려면 다음을 수행 할 수 있습니다. 다음 링크를 방문하십시오.


코멘트를 남겨주세요

귀하의 이메일 주소는 공개되지 않습니다. 필수 필드가 표시되어 있습니다 *

*

*

  1. 데이터 책임자: AB Internet Networks 2008 SL
  2. 데이터의 목적 : 스팸 제어, 댓글 관리.
  3. 합법성 : 귀하의 동의
  4. 데이터 전달 : 법적 의무에 의한 경우를 제외하고 데이터는 제 XNUMX 자에게 전달되지 않습니다.
  5. 데이터 저장소 : Occentus Networks (EU)에서 호스팅하는 데이터베이스
  6. 권리 : 귀하는 언제든지 귀하의 정보를 제한, 복구 및 삭제할 수 있습니다.