def_genpat(3) - Linux man page

Name

DEF_GENPAT, GENPAT Package

Synopsys

DEF_GENPAT ("ident");

Parameters

ident

Output file's name without extension.

Description

Gives the output file's name.

Example

DEF_GENPAT ("my_file");
Declares the output file's name as my_file.<VH_PATSFX>, usually my_file.pat.

See Also

SAV_GENPAT(3), genpat(1), pat(5)