תוֹכֶן

• סוג קובץ 1Vililog קוד מקור קובץ
• טקסט
• מהו קובץ V?
• סוג קובץ 2Subsampled Raw YUV תמונה
• בינארי
• .V קובץ האגודה 2
• סוג קובץ קובץ מקור 3Coq קובץ
• טקסט
• .V קובץ האגודה 3
• על V קבצים

סוג קובץ 1Vililog קוד מקור קובץ

מפתח	אקסלרה
פופולריות	3.6 (25 קולות)
קטגוריה	קבצי מפתח
פורמט	טקסט X טקסט קובץ זה נשמר בתבנית טקסט רגיל. ניתן לפתוח ולהציג את התוכן של קובץ זה באמצעות עורך טקסט.

מהו קובץ V?

קובץ עם סיומת קובץ V עשוי להיות קובץ קוד מקור שנכתב בשפת תיאור החומרה של Verilog (HDL). הוא מציין מודל של מערכת אלקטרונית. קובצי V מכילים בדרך כלל את קוד המקור של Verilog 2005, אך הם עשויים גם להשתמש באחד מהסטנדרטים של Verilog הישנים, כגון Verilog-95 או Verilog 2001. מידע נוסף

Verilog 2005 כבר הוחלף על ידי SystemVerilog, אשר בונה את הסטנדרט הקודם, אבל מוסיף תכונות חדשות עיצוב דוגמנות. קבצי המקור של SystemVerilog מכילים סיומת קובץ .SV.

הערה: קבצי המקור Verilog נשמרים בפורמט טקסט רגיל ניתן לפתוח עורך טקסט כגון Notepad + +.

הורדה חינם ולהציג קבצי V. עם File Viewer Plus. תוכניות הפותחות קבצי V

Windows

File Viewer Plus פנקס רשימות + + Xilinx ISE עיצוב Suite איקרוס 2005 Verilog מנתח קיידנס מערכות עיצוב incisive סינטיפיקציה מנטור גרפיקה

מק

איקרוס

לינוקס

Xilinx ISE עיצוב Suite 2005 Verilog מנתח איקרוס

עודכן לאחרונה 11/27/2018

סוג קובץ 2Subsampled Raw YUV תמונה

מפתח	N / A
פופולריות	3.3 (9 קולות)
קטגוריה	קבצי תמונה סריקה
פורמט	X בינארי בינארי קובץ זה נשמר בתבנית בינארית, המחייבת תוכנית ספציפית לקריאת התוכן שלה.

.V קובץ האגודה 2

Raw "V" קובץ תמונה שנוצרו על ידי ppmtoyuvsplit, תוכנית מבוססת יוניקס המשמש לפצל תמונות PixMap Portable (קבצי PPM) לתוך .Y, .U, ו V קבצים; מאחסן את ה "V" chrominance, או צבע, רכיב עבור התמונה; עשוי להיות משוחזר בחזרה לקובץ PPM ​​המקורי באמצעות השירות yuvsplittoppm. עוד מידע

קבצי V לאחסן נתוני תמונה בפורמט הנדרש על ידי Codec MPEG סטנפורד.

הערה: את yuvsplittoppm ו ppmtoyuvsplit כלי שורת הפקודה הם חלק nppbm מבוססי יוניקס חבילת גרפיקה.

תוכניות הפותחות קבצי V

Windows

Windows Media Player עם חבילת YUV גאוני אפל עם QuickTime YUV codec

מק	אפל עם QuickTime YUV codec

לינוקס

yuvsplittoppm ppmtoyuvsplit

עדכון 5/26/2010

סוג קובץ קובץ מקור 3Coq קובץ

מפתח	ADT Coq
פופולריות	2.9 (7 קולות)
קטגוריה	קבצי מפתח
פורמט	טקסט X טקסט קובץ זה נשמר בתבנית טקסט רגיל. ניתן לפתוח ולהציג את התוכן של קובץ זה באמצעות עורך טקסט.

.V קובץ האגודה 3

קובץ מפתח המשמש את Coq, יישום המשמש לפיתוח הוכחות מתמטיות; נשמר בתבנית טקסט והוא מכיל קוד מקור שנבנה בשפה Gallina, המבוססת על שפה רשמית אקספרסיבית הנקראת "חשבון של קונסטרוקציות אינדוקטיביות" (CIC); המשמש לאחסון הוכחות מתמטיות. עוד מידע

מפתחים מציינים ביטויים בקבצי V באמצעות Gallina "vernacular", שהוא התחביר או שפת הפקודות, עבור שפת גלינה. לאחר קבצים V נכתבים, הם יכולים להיות הידור ולהפעיל עם Coq הוכחה עוזר IDE, אשר יש את שם התוכנית CoqIDE.

הערה: הפיתוח עבור Coq, אשר היה מתוחזק בעבר על ידי צוות פיתוח Coq, נשמרת כעת על ידי ADT Coq. ADT מייצג "פעולה לפיתוח טכנולוגי".

תוכניות הפותחות קבצי V

Windows

קוקיד

מק

קוקיד

לינוקס

קוקיד

עודכן בתאריך 12/6/2010

על V קבצים

המטרה שלנו היא לעזור לך להבין מה קובץ עם סיומת * .v הוא וכיצד לפתוח אותו.

כל סוגי הקבצים, תיאורי פורמטים של קבצים ותוכניות המופיעות בדף זה נבדקו בנפרד על ידי צוות FileInfo. אנו שואפים לדיוק של 100% ורק מפרסמים מידע על פורמטים של קבצים שבחנו ואומתנו.

אם תרצה להציע לך תוספות או עדכונים בדף זה, הודע לנו על כך.