example0_i-a_t-0.1.v
    .data_in_security_level(rdata_security_level),
========================================================
example1_i-a_t-0.1.v
    .data_in_security_level(rdata_security_level),
========================================================
example2_i-a_t-0.1.v
    .data_in_security_level(rdata_security_level),
========================================================
example3_i-a_t-0.1.v
    .data_in_security_level(rdata_security_level),
========================================================
example4_i-a_t-0.1.v
    .data_in_security_level(rdata_security_level),
========================================================
example5_i-a_t-0.1.v
    .data_in_security_level(rdata_security_level),
========================================================
example6_i-a_t-0.1.v
    .data_in_security_level(rdata_security_level),
========================================================
example7_i-a_t-0.1.v
    .data_in_security_level(rdata_security_level),
========================================================
example8_i-a_t-0.1.v
    .data_in_security_level(rdata_security_level),
========================================================
example9_i-a_t-0.1.v
    .data_in_security_level(rdata_security_level),
========================================================
example10_i-a_t-0.1.v
    .data_in_security_level(rdata_security_level),
========================================================
example11_i-a_t-0.1.v
    .data_in_security_level(rdata_security_level),
========================================================
example12_i-a_t-0.1.v
    .data_in_security_level(rdata_security_level),
========================================================
example13_i-a_t-0.1.v
    .data_in_security_level(rdata_security_level),
========================================================
example14_i-a_t-0.1.v
    .data_in_security_level(rdata_security_level),
========================================================
example15_i-a_t-0.1.v
    .data_in_security_level(rdata_security_level),
========================================================
example16_i-a_t-0.1.v
    .data_in_security_level(rdata_security_level),
========================================================
example17_i-a_t-0.1.v
    .data_in_security_level(rdata_security_level),
========================================================
example18_i-a_t-0.1.v
    .data_in_security_level(rdata_security_level),
========================================================
example19_i-a_t-0.1.v
    .data_in_security_level(rdata_security_level),
========================================================
example0_i-a_t-0.3.v
    .data_in_security_level(rdata_security_level),
========================================================
example1_i-a_t-0.3.v
    .data_in_security_level(rdata_security_level),
========================================================
example2_i-a_t-0.3.v
    .data_in_security_level(rdata_security_level),
========================================================
example3_i-a_t-0.3.v
    .data_in_security_level(rdata_security_level),
========================================================
example4_i-a_t-0.3.v
    .data_in_security_level(rdata_security_level),
========================================================
example5_i-a_t-0.3.v
    .data_in_security_level(rdata_security_level),
========================================================
example6_i-a_t-0.3.v
    .data_in_security_level(rdata_security_level),
========================================================
example7_i-a_t-0.3.v
    .data_in_security_level(rdata_security_level),
========================================================
example8_i-a_t-0.3.v
    .data_in_security_level(rdata_security_level),
========================================================
example9_i-a_t-0.3.v
    .data_in_security_level(rdata_security_level),
========================================================
example10_i-a_t-0.3.v
    .data_in_security_level(rdata_security_level),
========================================================
example11_i-a_t-0.3.v
    .data_in_security_level(rdata_security_level),
========================================================
example12_i-a_t-0.3.v
    .data_in_security_level(rdata_security_level),
========================================================
example13_i-a_t-0.3.v
    .data_in_security_level(rdata_security_level),
========================================================
example14_i-a_t-0.3.v
    .data_in_security_level(rdata_security_level),
========================================================
example15_i-a_t-0.3.v
    .data_in_security_level(rdata_security_level),
========================================================
example16_i-a_t-0.3.v
    .data_in_security_level(rdata_security_level),
========================================================
example17_i-a_t-0.3.v
    .data_in_security_level(rdata_security_level),
========================================================
example18_i-a_t-0.3.v
    .data_in_security_level(rdata_security_level),
========================================================
example19_i-a_t-0.3.v
    .data_in_security_level(rdata_security_level),
========================================================
example0_i-a_t-0.5.v
    .data_in_security_level(rdata_security_level),
========================================================
example1_i-a_t-0.5.v
    .data_in_security_level(rdata_security_level),
========================================================
example2_i-a_t-0.5.v
    .data_in_security_level(rdata_security_level),
========================================================
example3_i-a_t-0.5.v
    .data_in_security_level(rdata_security_level),
========================================================
example4_i-a_t-0.5.v
    .data_in_security_level(rdata_security_level),
========================================================
example5_i-a_t-0.5.v
    .data_in_security_level(rdata_security_level),
========================================================
example6_i-a_t-0.5.v
    .data_in_security_level(rdata_security_level),
========================================================
example7_i-a_t-0.5.v
    .data_in_security_level(rdata_security_level),
========================================================
example8_i-a_t-0.5.v
    .data_in_security_level(rdata_security_level),
========================================================
example9_i-a_t-0.5.v
    .data_in_security_level(rdata_security_level),
========================================================
example10_i-a_t-0.5.v
    .data_in_security_level(rdata_security_level),
========================================================
example11_i-a_t-0.5.v
    .data_in_security_level(rdata_security_level),
========================================================
example12_i-a_t-0.5.v
    .data_in_security_level(rdata_security_level),
========================================================
example13_i-a_t-0.5.v
    .data_in_security_level(rdata_security_level),
========================================================
example14_i-a_t-0.5.v
    .data_in_security_level(rdata_security_level),
========================================================
example15_i-a_t-0.5.v
    .data_in_security_level(rdata_security_level),
========================================================
example16_i-a_t-0.5.v
    .data_in_security_level(rdata_security_level),
========================================================
example17_i-a_t-0.5.v
    .data_in_security_level(rdata_security_level),
========================================================
example18_i-a_t-0.5.v
    .data_in_security_level(rdata_security_level),
========================================================
example19_i-a_t-0.5.v
    .data_in_security_level(rdata_security_level),
========================================================
example0_i-a_t-0.7.v
    .data_in_security_level(rdata_security_level),
========================================================
example1_i-a_t-0.7.v
    .data_in_security_level(rdata_security_level),
========================================================
example2_i-a_t-0.7.v
    .data_in_security_level(rdata_security_level),
========================================================
example3_i-a_t-0.7.v
    .data_in_security_level(rdata_security_level),
========================================================
example4_i-a_t-0.7.v
    .data_in_security_level(rdata_security_level),
========================================================
example5_i-a_t-0.7.v
    .data_in_security_level(rdata_security_level),
========================================================
example6_i-a_t-0.7.v
    .data_in_security_level(rdata_security_level),
========================================================
example7_i-a_t-0.7.v
    .data_in_security_level(rdata_security_level),
========================================================
example8_i-a_t-0.7.v
     FIX:
========================================================
example9_i-a_t-0.7.v
    .data_in_security_level(rdata_security_level),
========================================================
example10_i-a_t-0.7.v
    .data_in_security_level(rdata_security_level),
========================================================
example11_i-a_t-0.7.v
    .data_in_security_level(rdata_security_level),
========================================================
example12_i-a_t-0.7.v
    .data_in_security_level(rdata_security_level),
========================================================
example13_i-a_t-0.7.v
    .data_in_security_level(rdata_security_level),
========================================================
example14_i-a_t-0.7.v
    .data_in_security_level(rdata_security_level),
========================================================
example15_i-a_t-0.7.v
    .data_in_security_level(rdata_security_level),
========================================================
example16_i-a_t-0.7.v
    .data_in_security_level(rdata_security_level),
========================================================
example17_i-a_t-0.7.v
    .data_in_security_level(rdata_security_level),
========================================================
example18_i-a_t-0.7.v
    .data_in_security_level(rdata_security_level),
========================================================
example19_i-a_t-0.7.v
    .data_in_security_level(rdata_security_level),
========================================================
example0_i-a_t-0.9.v
    .data_in_security_level(rdata_security_level),
========================================================
example1_i-a_t-0.9.v
    .data_in_security_level(rdata_security_level),
========================================================
example2_i-a_t-0.9.v
    .data_in_security_level(rdata_security_level),
========================================================
example3_i-a_t-0.9.v
    .data_in_security_level(rdata_security_level),
========================================================
example4_i-a_t-0.9.v
 BUG:
========================================================
example5_i-a_t-0.9.v
    .data_in_security_level(rdata_security_level),
========================================================
example6_i-a_t-0.9.v
    .data_in_security_level(rdata_security_level),
========================================================
example7_i-a_t-0.9.v
    .data_in_security_level(rdata_security_level),
========================================================
example8_i-a_t-0.9.v
    .data_in_security_level(rdata_security_level),
========================================================
example9_i-a_t-0.9.v
    .data_in_security_level(rdata_security_level),
========================================================
example10_i-a_t-0.9.v
    .data_in_security_level(rdata_security_level),
========================================================
example11_i-a_t-0.9.v
    .data_in_security_level(rdata_security_level),
========================================================
example12_i-a_t-0.9.v
    .data_in_security_level(0), Copy-and-paste error or typo grounds data_in_security_level (in this example 0=secure, 1=non-secure) effectively promoting all data to "secure",
========================================================
example13_i-a_t-0.9.v
    .data_in_security_level(rdata_security_level),
========================================================
example14_i-a_t-0.9.v
    .data_in_security_level(rdata_security_level),
========================================================
example15_i-a_t-0.9.v
    .data_in_security_level(rdata_security_level),
========================================================
example16_i-a_t-0.9.v
    .data_in_security_level(rdata_security_level),
========================================================
example17_i-a_t-0.9.v
    .data_in_security_level(rdata_security_level),
========================================================
example18_i-a_t-0.9.v
    .data_in_security_level(rdata_security_level),
========================================================
example19_i-a_t-0.9.v
    .data_in_security_level(rdata_security_level),
========================================================
example0_i-b_t-0.1.v
    .data_in_security_level(rdata_security_level),
========================================================
example1_i-b_t-0.1.v
    .data_in_security_level(rdata_security_level),
========================================================
example2_i-b_t-0.1.v
    .data_in_security_level(rdata_security_level),
========================================================
example3_i-b_t-0.1.v
    .data_in_security_level(rdata_security_level),
========================================================
example4_i-b_t-0.1.v
    .data_in_security_level(rdata_security_level),
========================================================
example5_i-b_t-0.1.v
    .data_in_security_level(rdata_security_level),
========================================================
example6_i-b_t-0.1.v
    .data_in_security_level(rdata_security_level),
========================================================
example7_i-b_t-0.1.v
    .data_in_security_level(rdata_security_level),
========================================================
example8_i-b_t-0.1.v
    .data_in_security_level(rdata_security_level),
========================================================
example9_i-b_t-0.1.v
    .data_in_security_level(rdata_security_level),
========================================================
example10_i-b_t-0.1.v
    .data_in_security_level(rdata_security_level),
========================================================
example11_i-b_t-0.1.v
    .data_in_security_level(rdata_security_level),
========================================================
example12_i-b_t-0.1.v
    .data_in_security_level(rdata_security_level),
========================================================
example13_i-b_t-0.1.v
    .data_in_security_level(rdata_security_level),
========================================================
example14_i-b_t-0.1.v
    .data_in_security_level(rdata_security_level),
========================================================
example15_i-b_t-0.1.v
    .data_in_security_level(rdata_security_level),
========================================================
example16_i-b_t-0.1.v
    .data_in_security_level(rdata_security_level),
========================================================
example17_i-b_t-0.1.v
    .data_in_security_level(rdata_security_level),
========================================================
example18_i-b_t-0.1.v
    .data_in_security_level(rdata_security_level),
========================================================
example19_i-b_t-0.1.v
    .data_in_security_level(rdata_security_level),
========================================================
example0_i-b_t-0.3.v
    .data_in_security_level(rdata_security_level),
========================================================
example1_i-b_t-0.3.v
    .data_in_security_level(rdata_security_level),
========================================================
example2_i-b_t-0.3.v
    .data_in_security_level(rdata_security_level),
========================================================
example3_i-b_t-0.3.v
    .data_in_security_level(rdata_security_level),
========================================================
example4_i-b_t-0.3.v
    .data_in_security_level(rdata_security_level),
========================================================
example5_i-b_t-0.3.v
    .data_in_security_level(rdata_security_level),
========================================================
example6_i-b_t-0.3.v
    .data_in_security_level(rdata_security_level),
========================================================
example7_i-b_t-0.3.v
    .data_in_security_level(rdata_security_level),
========================================================
example8_i-b_t-0.3.v
    .data_in_security_level(rdata_security_level),
========================================================
example9_i-b_t-0.3.v
    .data_in_security_level(rdata_security_level),
========================================================
example10_i-b_t-0.3.v
    .data_in_security_level(rdata_security_level),
========================================================
example11_i-b_t-0.3.v
    .data_in_security_level(rdata_security_level),
========================================================
example12_i-b_t-0.3.v
    .data_in_security_level(rdata_security_level),
========================================================
example13_i-b_t-0.3.v
    .data_in_security_level(rdata_security_level),
========================================================
example14_i-b_t-0.3.v
    .data_in_security_level(rdata_security_level),
========================================================
example15_i-b_t-0.3.v
    .data_in_security_level(rdata_security_level),
========================================================
example16_i-b_t-0.3.v
    .data_in_security_level(rdata_security_level),
========================================================
example17_i-b_t-0.3.v
    .data_in_security_level(rdata_security_level),
========================================================
example18_i-b_t-0.3.v
    .data_in_security_level(rdata_security_level),
========================================================
example19_i-b_t-0.3.v
    .data_in_security_level(rdata_security_level),
========================================================
example0_i-b_t-0.5.v
    .data_in_security_level(rdata_security_level),
========================================================
example1_i-b_t-0.5.v
    .data_in_security_level(rdata_security_level),
========================================================
example2_i-b_t-0.5.v
    .data_in_security_level(rdata_security_level),
========================================================
example3_i-b_t-0.5.v
    .data_in_security_level(rdata_security_level),
========================================================
example4_i-b_t-0.5.v
    .data_in_security_level(rdata_security_level),
========================================================
example5_i-b_t-0.5.v
    .data_in_security_level(rdata_security_level),
========================================================
example6_i-b_t-0.5.v
    .data_in_security_level(rdata_security_level),
========================================================
example7_i-b_t-0.5.v
    .data_in_security_level(rdata_security_level),
========================================================
example8_i-b_t-0.5.v
    .data_in_security_level(rdata_security_level),
========================================================
example9_i-b_t-0.5.v
    .data_in_security_level(rdata_security_level),
========================================================
example10_i-b_t-0.5.v
    .data_in_security_level(rdata_security_level),
========================================================
example11_i-b_t-0.5.v
    .data_in_security_level(rdata_security_level),
========================================================
example12_i-b_t-0.5.v
    .data_in_security_level(rdata_security_level),
========================================================
example13_i-b_t-0.5.v
    .data_in_security_level(rdata_security_level),
========================================================
example14_i-b_t-0.5.v
    .data_in_security_level(rdata_security_level),
========================================================
example15_i-b_t-0.5.v
    .data_in_security_level(rdata_security_level),
========================================================
example16_i-b_t-0.5.v
    .data_in_security_level(rdata_security_level),
========================================================
example17_i-b_t-0.5.v
    .data_in_security_level(rdata_security_level),
========================================================
example18_i-b_t-0.5.v
    .data_in_security_level(rdata_security_level),
========================================================
example19_i-b_t-0.5.v
    .data_in_security_level(rdata_security_level),
========================================================
example0_i-b_t-0.7.v
    .data_in_security_level(rdata_security_level),
========================================================
example1_i-b_t-0.7.v
    .data_in_security_level(rdata_security_level),
========================================================
example2_i-b_t-0.7.v
    .data_in_security_level(rdata_security_level),
========================================================
example3_i-b_t-0.7.v
    .data_in_security_level(rdata_security_level),
========================================================
example4_i-b_t-0.7.v
    .data_in_security_level(rdata_security_level),
========================================================
example5_i-b_t-0.7.v
    .data_in_security_level( rdata_security_level ),
========================================================
example6_i-b_t-0.7.v
    .data_in_security_level(rdata_security_level),
========================================================
example7_i-b_t-0.7.v
    .data_in_security_level(rdata_security_level),
========================================================
example8_i-b_t-0.7.v
    .data_in_security_level(rdata_security_level),
========================================================
example9_i-b_t-0.7.v
    .data_in_security_level(rdata_security_level),
========================================================
example10_i-b_t-0.7.v
    .data_in_security_level(rdata_security_level),
========================================================
example11_i-b_t-0.7.v
    .data_in_security_level(rdata_security_level),
========================================================
example12_i-b_t-0.7.v
    .data_in_security_level(rdata_security_level),
========================================================
example13_i-b_t-0.7.v
    .data_in_security_level(rdata_security_level),
========================================================
example14_i-b_t-0.7.v
    .data_in_security_level(rdata_security_level),
========================================================
example15_i-b_t-0.7.v
    .data_in_security_level(rdata_security_level),
========================================================
example16_i-b_t-0.7.v
    .data_in_security_level(rdata_security_level),
========================================================
example17_i-b_t-0.7.v
    .data_in_security_level(rdata_security_level),
========================================================
example18_i-b_t-0.7.v
    .data_in_security_level(rdata_security_level),
========================================================
example19_i-b_t-0.7.v
    .data_in_security_level(rdata_security_level),
========================================================
example0_i-b_t-0.9.v
    .data_in_security_level(rdata_security_level),
========================================================
example1_i-b_t-0.9.v
    .data_in_security_level(rdata_security_level),
========================================================
example2_i-b_t-0.9.v
    .data_in_security_level(rdata_security_level),
========================================================
example3_i-b_t-0.9.v
    .data_in_security_level(rdata_security_level),
========================================================
example4_i-b_t-0.9.v

========================================================
example5_i-b_t-0.9.v
     Isolate the error in the intent of copying and pasting
========================================================
example6_i-b_t-0.9.v
    .data_in_security_level(rdata_security_level),
========================================================
example7_i-b_t-0.9.v
    .data_in_security_level(rdata_security_level),
========================================================
example8_i-b_t-0.9.v
    .data_in_security_level(rdata_security_level),
========================================================
example9_i-b_t-0.9.v
    .data_in_security_level(rdata_security_level),
========================================================
example10_i-b_t-0.9.v
    .data_in_security_level(rdata_security_level),
========================================================
example11_i-b_t-0.9.v
    .data_in_security_level(rdata_security_level),
========================================================
example12_i-b_t-0.9.v
    .data_in_security_level(rdata_security_level),
========================================================
example13_i-b_t-0.9.v

========================================================
example14_i-b_t-0.9.v
 BUG FIX: Reroute signal data_in_security_level to secure
========================================================
example15_i-b_t-0.9.v
    .data_in_security_level(rdata_security_level),
========================================================
example16_i-b_t-0.9.v
    .data_in_security_level(rdata_security_level),
========================================================
example17_i-b_t-0.9.v
    .data_in_security_level(rdata_security_level),
========================================================
example18_i-b_t-0.9.v
    .data_in_security_level(rdata_security_level),  rdata_security_level is a data port from the caller
========================================================
example19_i-b_t-0.9.v
    .data_in_security_level(rdata_security_level),
========================================================
example0_i-c_t-0.1.v
    .data_in_security_level(rdata_security_level),
========================================================
example1_i-c_t-0.1.v
    .data_in_security_level(rdata_security_level),
========================================================
example2_i-c_t-0.1.v
    .data_in_security_level(rdata_security_level),
========================================================
example3_i-c_t-0.1.v
    .data_in_security_level(rdata_security_level),
========================================================
example4_i-c_t-0.1.v
    .data_in_security_level(rdata_security_level),
========================================================
example5_i-c_t-0.1.v
    .data_in_security_level(rdata_security_level),
========================================================
example6_i-c_t-0.1.v
    .data_in_security_level(rdata_security_level),
========================================================
example7_i-c_t-0.1.v
    .data_in_security_level(rdata_security_level),
========================================================
example8_i-c_t-0.1.v
    .data_in_security_level(rdata_security_level),
========================================================
example9_i-c_t-0.1.v
    .data_in_security_level(rdata_security_level),
========================================================
example10_i-c_t-0.1.v
    .data_in_security_level(rdata_security_level),
========================================================
example11_i-c_t-0.1.v
    .data_in_security_level(rdata_security_level),
========================================================
example12_i-c_t-0.1.v
    .data_in_security_level(rdata_security_level),
========================================================
example13_i-c_t-0.1.v
    .data_in_security_level(rdata_security_level),
========================================================
example14_i-c_t-0.1.v
    .data_in_security_level(rdata_security_level),
========================================================
example15_i-c_t-0.1.v
    .data_in_security_level(rdata_security_level),
========================================================
example16_i-c_t-0.1.v
    .data_in_security_level(rdata_security_level),
========================================================
example17_i-c_t-0.1.v
    .data_in_security_level(rdata_security_level),
========================================================
example18_i-c_t-0.1.v
    .data_in_security_level(rdata_security_level),
========================================================
example19_i-c_t-0.1.v
    .data_in_security_level(rdata_security_level),
========================================================
example0_i-c_t-0.3.v
    .data_in_security_level(rdata_security_level),
========================================================
example1_i-c_t-0.3.v
    .data_in_security_level(rdata_security_level),
========================================================
example2_i-c_t-0.3.v
    .data_in_security_level(rdata_security_level),
========================================================
example3_i-c_t-0.3.v
    .data_in_security_level(rdata_security_level),
========================================================
example4_i-c_t-0.3.v
    .data_in_security_level(rdata_security_level),
========================================================
example5_i-c_t-0.3.v
    .data_in_security_level(rdata_security_level),
========================================================
example6_i-c_t-0.3.v
    .data_in_security_level(rdata_security_level),
========================================================
example7_i-c_t-0.3.v
    .data_in_security_level(rdata_security_level),
========================================================
example8_i-c_t-0.3.v
    .data_in_security_level(rdata_security_level),
========================================================
example9_i-c_t-0.3.v
    .data_in_security_level(rdata_security_level),
========================================================
example10_i-c_t-0.3.v
    .data_in_security_level(rdata_security_level),
========================================================
example11_i-c_t-0.3.v
    .data_in_security_level(rdata_security_level),
========================================================
example12_i-c_t-0.3.v
    .data_in_security_level(rdata_security_level),
========================================================
example13_i-c_t-0.3.v
    .data_in_security_level(rdata_security_level),
========================================================
example14_i-c_t-0.3.v
    .data_in_security_level(rdata_security_level),
========================================================
example15_i-c_t-0.3.v
    .data_in_security_level(rdata_security_level),
========================================================
example16_i-c_t-0.3.v
    .data_in_security_level(rdata_security_level),
========================================================
example17_i-c_t-0.3.v
    .data_in_security_level(rdata_security_level),
========================================================
example18_i-c_t-0.3.v
    .data_in_security_level(rdata_security_level),
========================================================
example19_i-c_t-0.3.v
    .data_in_security_level(rdata_security_level),
========================================================
example0_i-c_t-0.5.v
    .data_in_security_level(rdata_security_level),
========================================================
example1_i-c_t-0.5.v
    .data_in_security_level(rdata_security_level),
========================================================
example2_i-c_t-0.5.v
    .data_in_security_level(rdata_security_level),
========================================================
example3_i-c_t-0.5.v
    .data_in_security_level(rdata_security_level),
========================================================
example4_i-c_t-0.5.v
    .data_in_security_level(rdata_security_level),
========================================================
example5_i-c_t-0.5.v
    .data_in_security_level(rdata_security_level),
========================================================
example6_i-c_t-0.5.v
    .data_in_security_level(rdata_security_level),
========================================================
example7_i-c_t-0.5.v
    .data_in_security_level(rdata_security_level),
========================================================
example8_i-c_t-0.5.v
.data_in_security_level(rdata_security_level),
========================================================
example9_i-c_t-0.5.v
    .data_in_security_level(rdata_security_level),
========================================================
example10_i-c_t-0.5.v
    .data_in_security_level(rdata_security_level),
========================================================
example11_i-c_t-0.5.v
    .data_in_security_level(rdata_security_level),
========================================================
example12_i-c_t-0.5.v
    .data_in_security_level(rdata_security_level),
========================================================
example13_i-c_t-0.5.v
    .data_in_security_level(rdata_security_level),
========================================================
example14_i-c_t-0.5.v
    .data_in_security_level(rdata_security_level),
========================================================
example15_i-c_t-0.5.v
    .data_in_security_level(rdata_security_level),
========================================================
example16_i-c_t-0.5.v
    .data_in_security_level(rdata_security_level),
========================================================
example17_i-c_t-0.5.v
    .data_in_security_level(rdata_security_level),
========================================================
example18_i-c_t-0.5.v
    .data_in_security_level(rdata_security_level),
========================================================
example19_i-c_t-0.5.v
    .data_in_security_level(rdata_security_level),
========================================================
example0_i-c_t-0.7.v
    .data_in_security_level(rdata_security_level),
========================================================
example1_i-c_t-0.7.v
    .data_in_security_level(rdata_security_level),
========================================================
example2_i-c_t-0.7.v
    .data_in_security_level(rdata_security_level),
========================================================
example3_i-c_t-0.7.v
    .data_in_security_level(rdata_security_level),
========================================================
example4_i-c_t-0.7.v
    .data_in_security_level(rdata_security_level),
========================================================
example5_i-c_t-0.7.v
    .data_in_security_level(rdata_security_level),
========================================================
example6_i-c_t-0.7.v
    .data_in_security_level(rdata_security_level),
========================================================
example7_i-c_t-0.7.v
    .data_in_security_level(rdata_security_level),
========================================================
example8_i-c_t-0.7.v
    .data_in_security_level(rdata_security_level),
========================================================
example9_i-c_t-0.7.v
    .data_in_security_level(rdata_security_level),
========================================================
example10_i-c_t-0.7.v
    .data_in_security_level(rdata_security_level),
========================================================
example11_i-c_t-0.7.v
    .data_in_security_level(rdata_security_level),
========================================================
example12_i-c_t-0.7.v
    .data_in_security_level(rdata_security_level),
========================================================
example13_i-c_t-0.7.v
    .data_in_security_level(rdata_security_level),
========================================================
example14_i-c_t-0.7.v
    .data_in_security_level(rdata_security_level),
========================================================
example15_i-c_t-0.7.v
    .data_in_security_level(rdata_security_level),
========================================================
example16_i-c_t-0.7.v
    .data_in_security_level(rdata_security_level)
========================================================
example17_i-c_t-0.7.v
    .data_in_security_level(rdata_security_level),
========================================================
example18_i-c_t-0.7.v
.data_in_security_level(rdata_security_level),
========================================================
example19_i-c_t-0.7.v
    .data_in_security_level(rdata_security_level),
========================================================
example0_i-c_t-0.9.v
    .data_in_security_level(rdata_security_level),
========================================================
example1_i-c_t-0.9.v
    .data_in_security_level(rdata_security_level)
========================================================
example2_i-c_t-0.9.v
    .data_in_security_level(rdata_security_level),
========================================================
example3_i-c_t-0.9.v
    .data_in_security_level(rdata_security_level),
========================================================
example4_i-c_t-0.9.v
    .data_in_security_level(rdata_security_level),    
========================================================
example5_i-c_t-0.9.v
    .data_in_security_level(rdata_security_level),
========================================================
example6_i-c_t-0.9.v
    .data_in_security_level(rdata_security_level),
========================================================
example7_i-c_t-0.9.v
    .data_in_security_level(rdata_security_level),
========================================================
example8_i-c_t-0.9.v
    .data_in_security_level(rdata_security_level),
========================================================
example9_i-c_t-0.9.v
    .data_in_security_level(rdata_security_level),
========================================================
example10_i-c_t-0.9.v
    .data_in_security_level(rdata_security_level),
========================================================
example11_i-c_t-0.9.v
    .data_in_security_level(rdata_security_level),
========================================================
example12_i-c_t-0.9.v
    .data_in_security_level(rdata_security_level),
========================================================
example13_i-c_t-0.9.v

========================================================
example14_i-c_t-0.9.v
    .data_in_security_level(rdata_security_level),
========================================================
example15_i-c_t-0.9.v
    .data_in_security_level(rdata_security_level),
========================================================
example16_i-c_t-0.9.v
    .data_in_security_level(rdata_security_level),
========================================================
example17_i-c_t-0.9.v
    .data_in_security_level(rdata_security_level),
========================================================
example18_i-c_t-0.9.v
    .data_in_security_level(rdata_security_level),
========================================================
example19_i-c_t-0.9.v
    .data_in_security_level(rdata_security_level),
========================================================
example0_i-d_t-0.1.v
    .data_in_security_level(rdata_security_level),
========================================================
example1_i-d_t-0.1.v
    .data_in_security_level(rdata_security_level),
========================================================
example2_i-d_t-0.1.v
    .data_in_security_level(rdata_security_level),
========================================================
example3_i-d_t-0.1.v
    .data_in_security_level(rdata_security_level),
========================================================
example4_i-d_t-0.1.v
    .data_in_security_level(rdata_security_level),
========================================================
example5_i-d_t-0.1.v
    .data_in_security_level(rdata_security_level),
========================================================
example6_i-d_t-0.1.v
    .data_in_security_level(rdata_security_level),
========================================================
example7_i-d_t-0.1.v
    .data_in_security_level(rdata_security_level),
========================================================
example8_i-d_t-0.1.v
    .data_in_security_level(rdata_security_level),
========================================================
example9_i-d_t-0.1.v
    .data_in_security_level(rdata_security_level),
========================================================
example10_i-d_t-0.1.v
    .data_in_security_level(rdata_security_level),
========================================================
example11_i-d_t-0.1.v
    .data_in_security_level(rdata_security_level),
========================================================
example12_i-d_t-0.1.v
    .data_in_security_level(rdata_security_level),
========================================================
example13_i-d_t-0.1.v
    .data_in_security_level(rdata_security_level),
========================================================
example14_i-d_t-0.1.v
    .data_in_security_level(rdata_security_level),
========================================================
example15_i-d_t-0.1.v
    .data_in_security_level(rdata_security_level),
========================================================
example16_i-d_t-0.1.v
    .data_in_security_level(rdata_security_level),
========================================================
example17_i-d_t-0.1.v
    .data_in_security_level(rdata_security_level),
========================================================
example18_i-d_t-0.1.v
    .data_in_security_level(rdata_security_level),
========================================================
example19_i-d_t-0.1.v
    .data_in_security_level(rdata_security_level),
========================================================
example0_i-d_t-0.3.v
    .data_in_security_level(rdata_security_level),
========================================================
example1_i-d_t-0.3.v
    .data_in_security_level(rdata_security_level),
========================================================
example2_i-d_t-0.3.v
    .data_in_security_level(rdata_security_level),
========================================================
example3_i-d_t-0.3.v
    .data_in_security_level(rdata_security_level),
========================================================
example4_i-d_t-0.3.v
    .data_in_security_level(rdata_security_level),
========================================================
example5_i-d_t-0.3.v
    .data_in_security_level(rdata_security_level),
========================================================
example6_i-d_t-0.3.v
    .data_in_security_level(rdata_security_level),
========================================================
example7_i-d_t-0.3.v
    .data_in_security_level(rdata_security_level),
========================================================
example8_i-d_t-0.3.v
    .data_in_security_level(rdata_security_level),
========================================================
example9_i-d_t-0.3.v
    .data_in_security_level(rdata_security_level),
========================================================
example10_i-d_t-0.3.v
    .data_in_security_level(rdata_security_level),
========================================================
example11_i-d_t-0.3.v
    .data_in_security_level(rdata_security_level),
========================================================
example12_i-d_t-0.3.v
    .data_in_security_level(rdata_security_level),
========================================================
example13_i-d_t-0.3.v
    .data_in_security_level(rdata_security_level),
========================================================
example14_i-d_t-0.3.v
    .data_in_security_level(rdata_security_level),
========================================================
example15_i-d_t-0.3.v
    .data_in_security_level(rdata_security_level),
========================================================
example16_i-d_t-0.3.v
    .data_in_security_level(rdata_security_level),
========================================================
example17_i-d_t-0.3.v
    .data_in_security_level(rdata_security_level),
========================================================
example18_i-d_t-0.3.v
    .data_in_security_level(rdata_security_level),
========================================================
example19_i-d_t-0.3.v
    .data_in_security_level(rdata_security_level),
========================================================
example0_i-d_t-0.5.v
    .data_in_security_level(rdata_security_level),
========================================================
example1_i-d_t-0.5.v
    .data_in_security_level(rdata_security_level),
========================================================
example2_i-d_t-0.5.v
    .data_in_security_level(rdata_security_level),
========================================================
example3_i-d_t-0.5.v
    .data_in_security_level(rdata_security_level),
========================================================
example4_i-d_t-0.5.v
    .data_in_security_level(rdata_security_level),
========================================================
example5_i-d_t-0.5.v
    .data_in_security_level(rdata_security_level),
========================================================
example6_i-d_t-0.5.v
    .data_in_security_level(rdata_security_level),
========================================================
example7_i-d_t-0.5.v
    .data_in_security_level(rdata_security_level),
========================================================
example8_i-d_t-0.5.v
    .data_in_security_level(rdata_security_level),
========================================================
example9_i-d_t-0.5.v
    .data_in_security_level(rdata_security_level),
========================================================
example10_i-d_t-0.5.v
    .data_in_security_level(rdata_security_level),
========================================================
example11_i-d_t-0.5.v
    .data_in_security_level(rdata_security_level),
========================================================
example12_i-d_t-0.5.v
    .data_in_security_level(rdata_security_level),
========================================================
example13_i-d_t-0.5.v
    .data_in_security_level(rdata_security_level),
========================================================
example14_i-d_t-0.5.v
    .data_in_security_level(rdata_security_level),
========================================================
example15_i-d_t-0.5.v
    .data_in_security_level(rdata_security_level),
========================================================
example16_i-d_t-0.5.v
    .data_in_security_level(rdata_security_level),
========================================================
example17_i-d_t-0.5.v
    .data_in_security_level(rdata_security_level),
========================================================
example18_i-d_t-0.5.v
    .data_in_security_level(rdata_security_level),
========================================================
example19_i-d_t-0.5.v
.data_in_security_level(rdata_security_level),
========================================================
example0_i-d_t-0.7.v
    .data_in_security_level(rdata_security_level),
========================================================
example1_i-d_t-0.7.v
    .data_in_security_level(rdata_security_level),
========================================================
example2_i-d_t-0.7.v
    .data_in_security_level(rdata_security_level),
========================================================
example3_i-d_t-0.7.v
    .data_in_security_level(rdata_security_level),
========================================================
example4_i-d_t-0.7.v
    .data_in_security_level(rdata_security_level),
========================================================
example5_i-d_t-0.7.v
    .data_in_security_level(rdata_security_level),
========================================================
example6_i-d_t-0.7.v
  explicitly assigning data_in_security_level from rdata_security_level
========================================================
example7_i-d_t-0.7.v
    .data_in_security_level(rdata_security_level),
========================================================
example8_i-d_t-0.7.v
    .data_in_security_level(rdata_security_level),
========================================================
example9_i-d_t-0.7.v
    .data_in_security_level(rdata_security_level),
========================================================
example10_i-d_t-0.7.v
    .data_in_security_level(rdata_security_level),
========================================================
example11_i-d_t-0.7.v
    .data_in_security_level(rdata_security_level),
========================================================
example12_i-d_t-0.7.v
.data_in_security_level(rdata_security_level),
========================================================
example13_i-d_t-0.7.v
    .data_in_security_level(rdata_security_level),
========================================================
example14_i-d_t-0.7.v
    .data_in_security_level(rdata_security_level),
========================================================
example15_i-d_t-0.7.v
    .data_in_security_level(rdata_security_level),
========================================================
example16_i-d_t-0.7.v
    .data_in_security_level(rdata_security_level),
========================================================
example17_i-d_t-0.7.v
    .data_in_security_level(rdata_security_level),
========================================================
example18_i-d_t-0.7.v
    .data_in_security_level(rdata_security_level),
========================================================
example19_i-d_t-0.7.v
    .data_in_security_level(rdata_security_level),
========================================================
example0_i-d_t-0.9.v
    .data_in_security_level(rdata_security_level),
========================================================
example1_i-d_t-0.9.v
.data_in_security_level(rdata_security_level),
========================================================
example2_i-d_t-0.9.v
    .data_in_security_level(rdata_security_level),
========================================================
example3_i-d_t-0.9.v
    .data_in_security_level(rdata_security_level),
========================================================
example4_i-d_t-0.9.v
    .data_in_security_level(rdata_security_level),
========================================================
example5_i-d_t-0.9.v
    .data_in_security_level(rdata_security_level),
========================================================
example6_i-d_t-0.9.v
    .data_in_security_level(rdata_security_level),
========================================================
example7_i-d_t-0.9.v
    .data_in_security_level(rdata_security_level),
========================================================
example8_i-d_t-0.9.v
    .data_in_security_level(rdata_security_level),
========================================================
example9_i-d_t-0.9.v
    .data_in_security_level(rdata_security_level),
========================================================
example10_i-d_t-0.9.v
    .data_in_security_level(rdata_security_level),
========================================================
example11_i-d_t-0.9.v
    .data_in_security_level(rdata_security_level),
========================================================
example12_i-d_t-0.9.v
.data_in_security_level(rdata_security_level),
========================================================
example13_i-d_t-0.9.v
    .data_in_security_level(rdata_security_level),
========================================================
example14_i-d_t-0.9.v
    .data_in_security_level(rdata_security_level),
========================================================
example15_i-d_t-0.9.v
 Connect to input security level 0 
========================================================
example16_i-d_t-0.9.v
.data_in_security_level(rdata_security_level),
========================================================
example17_i-d_t-0.9.v
    .data_in_security_level(rdata_security_level),
========================================================
example18_i-d_t-0.9.v
    .data_in_security_level(rdata_security_level),
========================================================
example19_i-d_t-0.9.v
    .data_in_security_level(rdata_security_level),
========================================================
example0_i-e_t-0.1.v
    .data_in_security_level(data_security_level),
========================================================
example1_i-e_t-0.1.v
    .data_in_security_level(data_in_security_level),
========================================================
example2_i-e_t-0.1.v
    .data_in_security_level(data_security_level),
========================================================
example3_i-e_t-0.1.v
    .data_in_security_level(data_security_level),
========================================================
example4_i-e_t-0.1.v
    .data_in_security_level(data_security_level),
========================================================
example5_i-e_t-0.1.v
    .data_in_security_level(data_in_security_level),
========================================================
example6_i-e_t-0.1.v
    .data_in_security_level(data_security_level),
========================================================
example7_i-e_t-0.1.v
    .data_in_security_level(rdata_security_level),
========================================================
example8_i-e_t-0.1.v
    .data_in_security_level(data_security_level),
========================================================
example9_i-e_t-0.1.v
    .data_in_security_level(data_security_level),
========================================================
example10_i-e_t-0.1.v
    .data_in_security_level(data_security_level),
========================================================
example11_i-e_t-0.1.v
    .data_in_security_level(data_security_level),
========================================================
example12_i-e_t-0.1.v
    .data_in_security_level(data_security_level),
========================================================
example13_i-e_t-0.1.v
    .data_in_security_level(data_in_security_level),
========================================================
example14_i-e_t-0.1.v
    .data_in_security_level(data_security_level),
========================================================
example15_i-e_t-0.1.v
    .data_in_security_level(data_security_level),
========================================================
example16_i-e_t-0.1.v
    .data_in_security_level(rdata_security_level),
========================================================
example17_i-e_t-0.1.v
    .data_in_security_level(data_security_level),
========================================================
example18_i-e_t-0.1.v
    .data_in_security_level(data_in_security_level),
========================================================
example19_i-e_t-0.1.v
    .data_in_security_level(data_security_level),
========================================================
example0_i-e_t-0.3.v
    .data_in_security_level(data_security_level),
========================================================
example1_i-e_t-0.3.v
    .data_in_security_level(rdata_security_level),
========================================================
example2_i-e_t-0.3.v
    .data_in_security_level(data_security_level),
========================================================
example3_i-e_t-0.3.v
    .data_in_security_level(data_security_level),
========================================================
example4_i-e_t-0.3.v
    .data_in_security_level(data_in_security_level),
========================================================
example5_i-e_t-0.3.v
    .data_in_security_level(data_in_security_level),
========================================================
example6_i-e_t-0.3.v
    .data_in_security_level(rdata_security_level),
========================================================
example7_i-e_t-0.3.v
    .data_in_security_level(data_security_level),
========================================================
example8_i-e_t-0.3.v
    .data_in_security_level(data_in_security_level),
========================================================
example9_i-e_t-0.3.v
    .data_in_security_level(data_in_security_level),
========================================================
example10_i-e_t-0.3.v
    .data_in_security_level(data_in_security_level),
========================================================
example11_i-e_t-0.3.v
    .data_in_security_level(rdata_security_level),
========================================================
example12_i-e_t-0.3.v
    .data_in_security_level(data_security_level),
========================================================
example13_i-e_t-0.3.v
    .data_in_security_level(rdata_security_level),
========================================================
example14_i-e_t-0.3.v
    .data_in_security_level(rdata_security_level),
========================================================
example15_i-e_t-0.3.v
    .data_in_security_level(rdata_security_level),
========================================================
example16_i-e_t-0.3.v
    .data_in_security_level(rdata_security_level),
========================================================
example17_i-e_t-0.3.v
    .data_in_security_level(data_in_security_level),
========================================================
example18_i-e_t-0.3.v
    .data_in_security_level(data_in_security_level),
========================================================
example19_i-e_t-0.3.v
    .data_in_security_level(rdata_security_level),
========================================================
example0_i-e_t-0.5.v
    .data_in_security_level(data_in_security_level),
========================================================
example1_i-e_t-0.5.v
    .data_in_security_level(rdata_security_level),
========================================================
example2_i-e_t-0.5.v
    .data_in_security_level(rdata_security_level),
========================================================
example3_i-e_t-0.5.v
    .data_in_security_level(data_in_security_level),
========================================================
example4_i-e_t-0.5.v
    .data_in_security_level(data_security_level),
========================================================
example5_i-e_t-0.5.v
    .data_in_security_level(data_security_level),
========================================================
example6_i-e_t-0.5.v
    .data_in_security_level(rdata_security_level),
========================================================
example7_i-e_t-0.5.v
    .data_in_security_level(data_in_security_level),
========================================================
example8_i-e_t-0.5.v
    .data_in_security_level(rdata_security_level),
========================================================
example9_i-e_t-0.5.v
    .data_in_security_level(data_security_level),
========================================================
example10_i-e_t-0.5.v
    .data_in_security_level(data_security_level),
========================================================
example11_i-e_t-0.5.v
    .data_in_security_level(rdata_security_level),
========================================================
example12_i-e_t-0.5.v
    .data_in_security_level(data_security_level),
========================================================
example13_i-e_t-0.5.v
    .data_in_security_level(data_security_level),
========================================================
example14_i-e_t-0.5.v
    .data_in_security_level(data_in_security_level),
========================================================
example15_i-e_t-0.5.v
    .data_in_security_level(rdata_security_level),
========================================================
example16_i-e_t-0.5.v
    .data_in_security_level(data_security_level),
========================================================
example17_i-e_t-0.5.v
    .data_in_security_level(data_security_level),
========================================================
example18_i-e_t-0.5.v
    .data_in_security_level(rdata_security_level),
========================================================
example19_i-e_t-0.5.v
    .data_in_security_level(data_security_level),
========================================================
example0_i-e_t-0.7.v
    .data_in_security_level(data_in_security_level),
========================================================
example1_i-e_t-0.7.v
    .data_in_security_level(data_security_level)
========================================================
example2_i-e_t-0.7.v
    .data_in_security_level(data_security_level),
========================================================
example3_i-e_t-0.7.v
    .data_in_security_level(data_in_security_level),
========================================================
example4_i-e_t-0.7.v
    .data_in_security_level(rdata_security_level),
========================================================
example5_i-e_t-0.7.v
    .data_in_security_level(data_security_level),
========================================================
example6_i-e_t-0.7.v
    .data_in_security_level(data_security_level),
========================================================
example7_i-e_t-0.7.v
    .data_in_security_level(data_security_level),
========================================================
example8_i-e_t-0.7.v
    .data_in_security_level(rdata_security_level),
========================================================
example9_i-e_t-0.7.v
    .data_in_security_level(rdata_security_level),
========================================================
example10_i-e_t-0.7.v
    .data_in_security_level(rdata_security_level),
========================================================
example11_i-e_t-0.7.v
    .data_in_security_level(data_security_level),
========================================================
example12_i-e_t-0.7.v
    .data_in_security_level(data_out_security_level),
========================================================
example13_i-e_t-0.7.v
    .data_in_security_level(data_in_security_level),
========================================================
example14_i-e_t-0.7.v
    .data_in_security_level(rdata_security_level),
========================================================
example15_i-e_t-0.7.v
      .data_in_security_level(rdata_security_level),
========================================================
example16_i-e_t-0.7.v
    .data_in_security_level(rdata_security_level),
========================================================
example17_i-e_t-0.7.v
    .data_in_security_level(rdata_security_level),
========================================================
example18_i-e_t-0.7.v
    .data_in_security_level(rdata_security_level),
========================================================
example19_i-e_t-0.7.v
    .data_out(data_out)
========================================================
example0_i-e_t-0.9.v
    .data_in_security_level(data_in_security_level),
========================================================
example1_i-e_t-0.9.v
    .data_in_security_level(data_security_level),
========================================================
example2_i-e_t-0.9.v
    .data_in_security_level(rdata_security_level),
========================================================
example3_i-e_t-0.9.v
    .data_in_security_level(data_in_security_level),
========================================================
example4_i-e_t-0.9.v
    .data_in_security_level(rdata_security_level),
========================================================
example5_i-e_t-0.9.v
    .data_in_security_level(rdata_security_level),
========================================================
example6_i-e_t-0.9.v
    .data_in_security_level(data_in_security_level),
========================================================
example7_i-e_t-0.9.v
    .data_in_security_level(rdata_security_level),
========================================================
example8_i-e_t-0.9.v
    .data_in_security_level(rdata_security_level),
========================================================
example9_i-e_t-0.9.v
    .data_in_security_level(rdata_security_level)
========================================================
example10_i-e_t-0.9.v
    .data_in_security_level(rdata_security_level),
========================================================
example11_i-e_t-0.9.v
    .data_in_security_level(data_in_security_level),
========================================================
example12_i-e_t-0.9.v
    .data_in_security_level(data_security_level);
========================================================
example13_i-e_t-0.9.v
    .data_in_security_level(rdata_security_level),
========================================================
example14_i-e_t-0.9.v
    .data_in_security_level(rdata_security_level),
========================================================
example15_i-e_t-0.9.v
    .data_in_security_level(data_in_security_level),
========================================================
example16_i-e_t-0.9.v
    .data_in_security_level(data_security_level),
========================================================
example17_i-e_t-0.9.v
    .data_in_security_level(rdata_security_level),
========================================================
example18_i-e_t-0.9.v
    .data_in_security_level(data_security_level),
========================================================
example19_i-e_t-0.9.v
    .data_in_security_level(rdata_security_level),
========================================================
