DEF_GENPAT(3)

DEF_GENPAT3

Synopsys

DEF_GENPAT ("ident");

Parameters

ident

Output file's name without extension.

Overview

Gives the output file's name.

Examples

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

Releases

Unchanged in 4 releases since Debian 7 (Wheezy).

  1. 7–10

From alliance 5.1.1-3 in Debian 10 (Buster). Parsed by carta from the page's man source.