Translation

SIMSYNCH can translate its register-transfer-level designs to MACHXL or Verilog formats. The bulk of the work is performed by the files `scm2mach' and `scm2vrlg'. The file `run.scm' defines translate, which drives the conversion.

Function: translate design target-language

The symbol design should correspond to a file named `design.scm', which contains the definitions.

The symbol target-language can be:

machxl

MACHXL 2 is a format devised by AMD for their PLDs. MACHXL 3, 4, and 5 are an unrelated commercial product. MACHXL 2 was available for free at one time. translate creates a file nameed `design.pds' with the MACHXL definitions.

verilog

Verilog is a popular High level Design Language. Translate creates a file named `design.v' with the Verilog definitions; and `design.acf' with pin-name assignments. The acf format is used by the Altera MAXPLUS2 Version 8 fitter. ACF is not yet supported.

SIMSYNCH translates the following syntaxes. Remember that you are limited to this set only for signals which will be translated for the benefit of a logic compiler.

and

One vectorized expression can appear as the last argument to and.

or

Is recommended for booleans only.

number-or

Use number-or for combining clauses which return only vectorized values or #f.

if

The form is (if <test> <consequent> <alternate>).

case

casev

casev is an extension of standard Scheme case: Each clause of a case statement must begin with a list of literal datums, the corresponding list in a casev statement may contain either literal datums or the names of symbolic constants preceded by a comma. A casev statement is equivalent to a case statement in which all symbolic constants preceded by commas have been replaced by the values of the constants. This use of comma, (or, equivalently, unquote) is similar to that of quasiquote except that the unquoted expressions must be symbolic constants. Symbolic constants are defined using defconst, their values are substituted in the head of each casev clause during macro expansion. In practice defconst constants should be defined before use.

Go to the first, previous, next, last section, table of contents.