PatternsSpecification(design_name, design_id, pattern_id) {
  IjtagRetargetingOptions {
    tck_period : 20ns;
  }
  Patterns(patterns_name) {
  }
}

PatternsSpecification(design_name, design_id, pattern_id) {
  ClockPeriods {
    aclk : 20ns;
    bclk : 20ns;
  }
  Patterns(patterns_name) {
  }
}