.В Филе Ектенсион

3 врсте датотека користе наставак .в .

• 1. Верилог изворни код
• 2. Субамплед Рав ИУВ Имаге
• 3. Цок изворни код

Тип фајла 1 Верилог изворног кода датотеке

Шта је В датотека?

Датотека са екстензијом В датотеке може бити датотека изворног кода написана на језику описа хардвера ВерилогаКатегоријаРастерске сликеФорматБинари Кс

Бинари

Овај фајл се чува у бинарном формату, што захтева да програм чита његов садржај.

.В Филе Ассоциатион 2

Сирова "В" сликовна датотека створена од стране ппмтоиувсплит, Уник-базираног програма који се користи за раздвајање Портабле ПикМап сликаКатегоријаДевелопер ФилесФорматТект Кс

Текст

Ова датотека се чува у формату обичног текста. Садржај ове датотеке можете отворити и прегледати помоћу уређивача текста.

.В Филе Ассоциатион 3

Датотека програмера коју користи Цок, апликација која се користи за развој математичких доказа; сачуван у текстуалном формату и садржи изворни код изграђен на језику Галлина, који се заснива на експресивном формалном језику који се зове рачун индуктивних конструкција (ЦИЦ); користи се за чување математичких доказа. Више информација

Програмери специфицирају изразе у В фајловима користећи Галлина "народни језик", који је синтакса, или језик команди, за Галлинин језик. Једном када су В датотеке написане, оне се могу компајлирати и изводити са ИД-ом Цок Прооф Ассистант, који има име програма ЦокИДЕ.

НАПОМЕНА: Развој за Цок, који је претходно одржавао Тхе Цок Девелопмент Теам, сада одржава АДТ Цок. АДТ значи "Акција за технолошки развој".

Програми који отварају В датотеке