
1.27. VASY 55
Alliance. We run SYF on the mips seq.fsm file already created in that tutorial. We will run SYF as follows.
% syf -o -V mips_seq mips_seqs
@@@@ @ @@@@ @@@@ @@@@@@@@@
@ @@ @@ @ @@ @
@@ @ @@ @ @@ @
@@@ @@ @ @@
@@@@ @@ @@ @
@@@@ @@ @@@@@@
@@@ @@ @@ @
@ @@ @@ @@
@@ @@ @@ @@
@@@ @ @@ @@
@ @@@@ @@@@@@ @@@@@@
FSM Synthesizer
Alliance CAD System 5.0 20040928, syf 5.0
Copyright (c) 1995-2005, ASIM/LIP6/UPMC
Author(s): Ludovic Jacomme and Chaker Sarwary
--> Compile FSM file mips_seq
--> Check FSM figure outputs
--> Simplify FSM figure
--> Verify FSM figure
--> Identify reset conditions
--> Name : mips_seq
--> States : 99
--> Inputs : 32
--> Outputs : 47
--> Edges : 353
--> Stacks : 0
--> Encode FSM figure
--> One hot encoding
--> Translate FSM to BEH
--> Simplify BEH figure
--> Literals : 5019
--> Save BEH file mips_seqs
This generate using a one-hot encoding the file mips seqs.vbe that can be used to synthesize the corresponding
design in Alliance.
1.27 VASY
VASY (VHDL Analyzer for sYnthesis) is a tool that converts a VHDL description to a s ynthesizable equivalent
description usable by Alliance or other synthesis tools. VASY could handle a VHDL subset larger than the
one supported in Alliance. VASY can generate an output in VHDL or verilog format. We use VASY with the
following command.
vasy [-VpavsoipSHL] [-C num] [-E num] [-I format] [-P file] filename [outname]
The options available in VASY are shown in Table 1.26.
1.28 X2Y
X2Y is a netlist format converter. It is a tool used with the following command.
% x2y informat outformat infile outfile
There are no options in the X2Yy tool. The formats handled in X2Y are shown in Table 1.27.
Comentários a estes Manuais