Andrew Broad's Website
Computer Science
PhD Project
Experimental Results
EDIF 3 0 0 / CFI DR

First Model

Second Model

Name-Thesaurus

{hierarchymodel, cfidrinstconcepts, cfidrcellconcepts, cfidrportconcepts, cfidrportinstconcepts,}
{instance, cfidrinst,}
{instanceports, portinsts,}
{cell, cfidrcell,}
{containinglibrary, owner, instantiatedcluster,}
{viewgroups, views,}
{masterport, cfidrportscalar,}
{inputmasterport, inputinstanceport, cfidrinput,}
{outputmasterport, outputinstanceport, cfidroutput,}
{bidirectionalmasterport, bidirectionalinstanceport, cfidrio,}
{unspecifieddirectionmasterport, unspecifieddirectioninstanceport, cfidrundefinedportdirection,}
{masterportbundle, cfidrportbundle,}
{memberports, ports,}
{instanceport, cfidrportinstscalar,}
{instanceportbundle, cfidrportinstbundle,}

{librarymodel, cfidrlibconcepts,}
{library, cfidrlib,}

{logicalconnectivitymodel, cfidrnetconcepts,}
{signalgroup, cfidrnetbundle,}
{members, nets,}
{signal, cfidrnetscalar,}

Experimental Results

The CCUS suffers gigantic quadratic explosion due to the abundance of type_hlcs, domain_rules_hlcs and non_nulls. So I decided to run this experiment with these three HLC-classes disabled (i.e. with type_hlc-optional.filc, type_hlc+non_null-attr.filc, non_null-exists.filc, domain_rules_hlc.filc and propagate_from_defined_type.filc excluded from the case-library).

Detailed results suppressed because the models are private.