Escaped identifiers in RTL files and in Verific data structures

>>> This page is under construction <<<

Verific data structures: No escaped identifier

In netlist outputs and in pretty-print outputs, identifiers are escaped based on the naming rules of the language format.

Verilog: starts with a backslash and ends with a space character

'foo' is the same object as '\foo '

The escaping characters '\' and ' ' are not part of the name!

So, with AddSignal() when you define the name, you don't need to escape it.

But when you refer to an escaped id, you need to escape it.

VHDL: enclosed in a pair backslashes

'\foo\' and 'foo' are too different objects