AR# 12807: 6.1i PrimeTime - Does Xilinx plan to support model checking?
6.1i PrimeTime - Does Xilinx plan to support model checking?
Keywords: PrimeTime, model, checking, 4.1i, 5.1i
General Description: Does Xilinx plan to support model checking?
Model checking is an early adopter technology, and each vendor has its own proprietary property description language. This technology may be adopted more quickly when a single standard language is established to describe the design properties.
Since model checking works at the RTL level and is silicon-technology independent, please contact your formal verification tool vendors for model-checking support.
For related PrimeTime information, please also see the following Answer Records: