Yosys: מסגרת קוד פתוח לכלי סינתזת Verilog

Yosys show_rtl

שבוע שעבר הודעה נמסרה על ידי W. Clifford שהוציא את הגרסה החדשה 0.8 של Yosys.

למי שלא שמע על יוסיס אני יכול להגיד לך שזו מסגרת לכלי סינתזה של RTL. נכון לעכשיו נחשב עם תאימות רחבה של Verilog ומספק מערך בסיסי של אלגוריתמי סינתזה לתחומי יישומים שונים.

דברים רבים נוספו במהדורה החדשה הזו, אך המידע העיקרי שניתן לראות בהערת השחרור הוא שהתפתחותו של יוסיס פעילה מאוד.

מטרתו של יוסיס להפוך ל"סכין הצבא השוויצרית החופשית "של ה- FPGA יכולה להיחשב כמעט הכרחית כיום.

אודות חבילת SYnthesis Open של Yosys

יוסיס ניתן להתאים לביצוע כל עבודת סינתזה על ידי שילוב מעברים קיימים (אלגוריתמים) באמצעות סקריפטים של סינתזה והוספת מעברים נוספים לפי הצורך בהרחבת בסיס הקוד של Yosys C ++.

Yosys הינה תוכנה חופשית המורשית ברישיון ISC (רישיון תואם GPL הדומה מבחינת רישיון MIT או רישיון BSD בן 2 סעיפים).

בתהליך הפיתוח של FPGA / ASIC, סינתזה היא השלב של המרת מודל החומרה המדומה ל"רשת RTL "שממנה ניתן להפיק את המעגל בפועל.

שואו גס

על ורילוג

ורילוג היא שפת דוגמנות חומרה (Hardware Description Language HDL) לתיאור סימולציה של מעגלים דיגיטליים.

מודל Verilog זה משמש מפרט למימוש "פיזי" של הרכיב המודל.

ניתן לראות בסינתזת HDL המרה של קוד HDL ל"תכנית אלקטרונית "המורכבת מרכיבים דיגיטליים המחוברים זה לזה. זה נקרא "רשימת הרשת של RTL" (רמת העברת יומן).

יוסיס היא לא התוכנה החופשית היחידה לסינתזת Verilog (אנו יכולים לחשוב גם על שימוש ב- ODIN II בחבילת התוכנה VTR).

אך, ללא ספק, תוכנה חופשית היא זו שעליה דיברו לאחרונה ופיתוחה הפעיל ביותר.

למעשה, Yosys עכשיו מטרות הרבה FPGAs זולים כמו CoolRunner-II, ECP5, MAX10, Cyclone IV ובמיוחד ה- ICE40.

ה- ICE40 מעט מיוחד ברשימה, שכן עבור ה- FPGA הזה הושקה כל שרשרת הפיתוח.

כמובן אנחנו יכולים לעשות סינתזה של Verilog מכיוון שה- FPGA תואם ל- Yosys, אך גם מיקום הניתוב עם arachnepnr, כמו גם יצירת קובץ התצורה (bitstream) עם icepack / iceprog.

אפשר גם לבדוק את השעות עם זמן קרח.

show_cmos

על הגרסה החדשה של יוסיס

  • במהדורה החדשה הזו של Yosys הוכרזו על הפונקציות החדשות, שניתן להדגיש את הדברים הבאים:
  • שפת ה- FIRRTL בה משתמשת Chisel3 היא backend אפשרי להפקת הרשימה.
  • התמיכה במנוע האימות הרשמי של yosys-smtb יכולה כמעט להיחשב יציבה.
  • רשימת ה- FPGA הנתמכת (ו- ASIC אחרים) ארוכה ללא תקנה;
  • כמו גם הפורמטים «netlist» המאפשרים שילוב מחדש בתוכנות הקנייניות של המייסדים: BLIF, EDIF, BTOR, SMT-LIB, RTL Verilog, FIRRTL

כיצד להתקין את Yosys בלינוקס?

עבור מי מעוניינים להיות מסוגלים לנסות את הכלי הזה, הם יכולים לבצע את ההתקנה במערכות שלהם. לשם כך עליהם לבצע את ההוראות המשותפות להלן.

כדי מי שמשתמשים באובונטו ונגזרים ממנו יכולים ליהנות מהתקנה פשוטה. ניתן לעשות זאת על ידי הוספת המאגר הבא למערכת שלך.

ראשית עלינו לפתוח מסוף עם Ctrl + ALT + T ולבצע בו את הפקודה הבאה:

sudo add-apt-repository ppa:saltmakrell/ppa

לאחר שהדבר נעשה, עלינו לעדכן כעת את רשימת החבילות והמאגרים שלנו ב:

sudo apt-get update 

ולבסוף אנו מתקינים את היישום עם:

sudo apt-get install yosys

בשאר הפצות לינוקס עלינו לאסוף את הכלי. לשם כך עלינו לשכפל את קוד המקור של מאגר 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. מסירת הנתונים: הנתונים לא יועברו לצדדים שלישיים אלא בהתחייבות חוקית.
  5. אחסון נתונים: מסד נתונים המתארח על ידי Occentus Networks (EU)
  6. זכויות: בכל עת תוכל להגביל, לשחזר ולמחוק את המידע שלך.