User-Defined Primitives
Kluwer Academic Publishers eBooks · 2005
The user-defined primitives represent an advanced capability in the language for specifying combinational and sequential logic primitives. The specifications are efficient and compact and allow for the reduction of pessimism with respect to the x value.