Man de VASY

alliance/share/man/man1/vasy.1

@@ -0,0 +1,61 @@
+.\"   $Id: vasy.1,v 1.1 1999/11/26 13:55:57 syf Exp $
+.\" @(#)Labo.l 2.2 95/09/24 UPMC; Author: Jacomme L.
+.pl -.4
+.TH VASY 1 "November 26, 1999" "ASIM/LIP6" "CAO\-VLSI Reference Manual"
+.SH NAME
+.TP
+VASY \- VHDL Analyzer for Synthesis
+.so man1/alc_origin.1
+.SH SYNOPSIS
+.TP
+\f4vasy [-I input_format] \-V|v|a|s input_name [output_name]
+.br
+.SH DESCRIPTION
+.br
+\fBVASY\fp is a VHDL Analyzer for Synthesis.
+\fBVASY\fp performs a semantic analysis of a VHDL RTL description 
+\fBinput_name\fP (with a VHDL subset much more extended than the Alliance one)
+and identifies with precision all the memorizing elements and tristate
+buffers.
+.br
+After this analysis, \fBVASY\fp drives an equivalent description
+\fBoutput_name\fP (in Verilog or VHDL format) accepted by most of
+synthesis tools.
+.br
+
+.SH ENVIRONMENT VARIABLES
+.br
+.TP 10
+\f4MBK_WORK_LIB\fR(1)
+indicates the path to the read/write directory for the session.
+.br
+
+.SH OPTIONS
+.TP 10
+\f4\-I\fP
+Specifies the VHDL input format such as Alliance VHDL format \fBvbe\fP(5) or
+industrial VHDL format \fBvhd\fP.
+.TP 10
+\f4\-v\fP
+Drives an equivalent description in \fBVerilog\fP format.
+.TP 10
+\f4\-a\fP
+Drives an equivalent description in Alliance VHDL format \fBvbe\fP(5)
+.TP 10
+\f4\-s\fP
+Drives an equivalent VHDL description (with the extention \fB.syn\fP)
+accepted by most of industrial synthesis tools.
+.TP 10
+\f4\-V\fP
+Verbose mode on.
+Each step of the analysis is displayed on the standard output.
+.ti 7
+
+.SH SEE ALSO
+.BR vbe (5),
+.BR vhdl (5),
+.BR asimut (1),
+.BR MBK_WORK_LIB (1).
+
+.so man1/alc_bug_report.1
+