Printer friendly

What does COI stand for?

COI stands for Cone of Influence (symbolic model checking procedure)

This definition appears somewhat frequently and is found in the following Acronym Finder categories:

  • Information technology (IT) and computers
  • Science, medicine, engineering, etc.

See other definitions of COI

Other Resources:
We have 147 other meanings of COI in our Acronym Attic

Samples in periodicals archive:

0 release include: -- Formal model checking performance and capacity improvements -- Selective Cone Refinement, allowing interactive pruning of the cone of influence for model checking -- Support for both Accellera PSL and SystemVerilog for user-written assertions -- Production release of the @Verifier-ZX option, utilizing the IBM RuleBase formal solver engines -- Distributed model checking with automatic clustering algorithms for use with both Solaris and Linux based load sharing / queuing software -- Patent-pending Assertion Studio is included with @Verifier licenses to create the fastest path to assertion proficiency for either the PSL or SystemVerilog assertion developer The @Designer, Version 4.