[sv-cc] Proposal 318 (2 utility functions)

A new Mantis item (# 318) proposes that we add two DPI utility functions
to svdpi.h and svdpi.c:
        . svUsesLogicCanonicalForm(),
        . svUsesBitCanonicalForm().

What:
These boolean functions report whether the vendor uses canonical format
for the actual format
of 2 and 4-state types respectively.

Why:
a. This allows DPI users to avoid unnecessary format conversions when
the formats are identical.
b. It supports writing concise C code that handles both scenarios
(formats identical or not).

The proposal tries to combine practical ideas voiced separately by
Francoise and Doug.
The Mantis description and proposed LRM changes include two coding
examples.

Please consider the proposal (and let me know if the code examples are
clear or not).

Ralph
 
Received on Mon Nov 22 10:42:22 2004