diff --git a/design/project/project/target/config-classes/$3efa49120411a81128e0$.class b/design/project/project/target/config-classes/$11a24688b8328723cd4a$.class similarity index 84% rename from design/project/project/target/config-classes/$3efa49120411a81128e0$.class rename to design/project/project/target/config-classes/$11a24688b8328723cd4a$.class index c3aa75e0..21314f4d 100644 Binary files a/design/project/project/target/config-classes/$3efa49120411a81128e0$.class and b/design/project/project/target/config-classes/$11a24688b8328723cd4a$.class differ diff --git a/design/project/project/target/config-classes/$3efa49120411a81128e0.cache b/design/project/project/target/config-classes/$11a24688b8328723cd4a.cache similarity index 100% rename from design/project/project/target/config-classes/$3efa49120411a81128e0.cache rename to design/project/project/target/config-classes/$11a24688b8328723cd4a.cache diff --git a/design/project/project/target/config-classes/$11a24688b8328723cd4a.class b/design/project/project/target/config-classes/$11a24688b8328723cd4a.class new file mode 100644 index 00000000..e7de5a66 Binary files /dev/null and b/design/project/project/target/config-classes/$11a24688b8328723cd4a.class differ diff --git a/design/project/project/target/config-classes/$3efa49120411a81128e0.class b/design/project/project/target/config-classes/$3efa49120411a81128e0.class deleted file mode 100644 index e5a84dbe..00000000 Binary files a/design/project/project/target/config-classes/$3efa49120411a81128e0.class and /dev/null differ diff --git a/design/project/target/config-classes/$038ec53698ebab1c85ce.class b/design/project/target/config-classes/$038ec53698ebab1c85ce.class deleted file mode 100644 index ac2cbef9..00000000 Binary files a/design/project/target/config-classes/$038ec53698ebab1c85ce.class and /dev/null differ diff --git a/design/project/target/config-classes/$be053b1df493ee514940$.class b/design/project/target/config-classes/$04b0ea8a85f2d3c5b201$.class similarity index 87% rename from design/project/target/config-classes/$be053b1df493ee514940$.class rename to design/project/target/config-classes/$04b0ea8a85f2d3c5b201$.class index 207706c9..d79a0ee0 100644 Binary files a/design/project/target/config-classes/$be053b1df493ee514940$.class and b/design/project/target/config-classes/$04b0ea8a85f2d3c5b201$.class differ diff --git a/design/project/target/config-classes/$038ec53698ebab1c85ce.cache b/design/project/target/config-classes/$04b0ea8a85f2d3c5b201.cache similarity index 100% rename from design/project/target/config-classes/$038ec53698ebab1c85ce.cache rename to design/project/target/config-classes/$04b0ea8a85f2d3c5b201.cache diff --git a/design/project/target/config-classes/$04b0ea8a85f2d3c5b201.class b/design/project/target/config-classes/$04b0ea8a85f2d3c5b201.class new file mode 100644 index 00000000..882fa41e Binary files /dev/null and b/design/project/target/config-classes/$04b0ea8a85f2d3c5b201.class differ diff --git a/design/project/target/config-classes/$038ec53698ebab1c85ce$.class b/design/project/target/config-classes/$0852019624a9baefe513$.class similarity index 88% rename from design/project/target/config-classes/$038ec53698ebab1c85ce$.class rename to design/project/target/config-classes/$0852019624a9baefe513$.class index 7b69e0ea..4f4a083e 100644 Binary files a/design/project/target/config-classes/$038ec53698ebab1c85ce$.class and b/design/project/target/config-classes/$0852019624a9baefe513$.class differ diff --git a/design/project/target/config-classes/$2fea30f6e8a4954f8452.cache b/design/project/target/config-classes/$0852019624a9baefe513.cache similarity index 100% rename from design/project/target/config-classes/$2fea30f6e8a4954f8452.cache rename to design/project/target/config-classes/$0852019624a9baefe513.cache diff --git a/design/project/target/config-classes/$0852019624a9baefe513.class b/design/project/target/config-classes/$0852019624a9baefe513.class new file mode 100644 index 00000000..086c9e8a Binary files /dev/null and b/design/project/target/config-classes/$0852019624a9baefe513.class differ diff --git a/design/project/target/config-classes/$7abad9fcbff8f602d02b$.class b/design/project/target/config-classes/$0a951d39e75735de8e65$.class similarity index 91% rename from design/project/target/config-classes/$7abad9fcbff8f602d02b$.class rename to design/project/target/config-classes/$0a951d39e75735de8e65$.class index c62bc625..37130e9f 100644 Binary files a/design/project/target/config-classes/$7abad9fcbff8f602d02b$.class and b/design/project/target/config-classes/$0a951d39e75735de8e65$.class differ diff --git a/design/project/target/config-classes/$74751247fcc16cb200eb.cache b/design/project/target/config-classes/$0a951d39e75735de8e65.cache similarity index 100% rename from design/project/target/config-classes/$74751247fcc16cb200eb.cache rename to design/project/target/config-classes/$0a951d39e75735de8e65.cache diff --git a/design/project/target/config-classes/$0a951d39e75735de8e65.class b/design/project/target/config-classes/$0a951d39e75735de8e65.class new file mode 100644 index 00000000..b3354fba Binary files /dev/null and b/design/project/target/config-classes/$0a951d39e75735de8e65.class differ diff --git a/design/project/target/config-classes/$2fea30f6e8a4954f8452$.class b/design/project/target/config-classes/$196903bbd62aff04c011$.class similarity index 83% rename from design/project/target/config-classes/$2fea30f6e8a4954f8452$.class rename to design/project/target/config-classes/$196903bbd62aff04c011$.class index c2ea76da..9d01afe7 100644 Binary files a/design/project/target/config-classes/$2fea30f6e8a4954f8452$.class and b/design/project/target/config-classes/$196903bbd62aff04c011$.class differ diff --git a/design/project/target/config-classes/$7abad9fcbff8f602d02b.cache b/design/project/target/config-classes/$196903bbd62aff04c011.cache similarity index 100% rename from design/project/target/config-classes/$7abad9fcbff8f602d02b.cache rename to design/project/target/config-classes/$196903bbd62aff04c011.cache diff --git a/design/project/target/config-classes/$196903bbd62aff04c011.class b/design/project/target/config-classes/$196903bbd62aff04c011.class new file mode 100644 index 00000000..25c06c1f Binary files /dev/null and b/design/project/target/config-classes/$196903bbd62aff04c011.class differ diff --git a/design/project/target/config-classes/$8ac055b128ae9678aa8c$.class b/design/project/target/config-classes/$23bedd6bbac4e1c6419d$.class similarity index 94% rename from design/project/target/config-classes/$8ac055b128ae9678aa8c$.class rename to design/project/target/config-classes/$23bedd6bbac4e1c6419d$.class index 216ad3da..12ccb7fd 100644 Binary files a/design/project/target/config-classes/$8ac055b128ae9678aa8c$.class and b/design/project/target/config-classes/$23bedd6bbac4e1c6419d$.class differ diff --git a/design/project/target/config-classes/$8ac055b128ae9678aa8c.cache b/design/project/target/config-classes/$23bedd6bbac4e1c6419d.cache similarity index 100% rename from design/project/target/config-classes/$8ac055b128ae9678aa8c.cache rename to design/project/target/config-classes/$23bedd6bbac4e1c6419d.cache diff --git a/design/project/target/config-classes/$8ac055b128ae9678aa8c.class b/design/project/target/config-classes/$23bedd6bbac4e1c6419d.class similarity index 67% rename from design/project/target/config-classes/$8ac055b128ae9678aa8c.class rename to design/project/target/config-classes/$23bedd6bbac4e1c6419d.class index 4d6d41de..a06c83ca 100644 Binary files a/design/project/target/config-classes/$8ac055b128ae9678aa8c.class and b/design/project/target/config-classes/$23bedd6bbac4e1c6419d.class differ diff --git a/design/project/target/config-classes/$2fea30f6e8a4954f8452.class b/design/project/target/config-classes/$2fea30f6e8a4954f8452.class deleted file mode 100644 index 868e9d82..00000000 Binary files a/design/project/target/config-classes/$2fea30f6e8a4954f8452.class and /dev/null differ diff --git a/design/project/target/config-classes/$74751247fcc16cb200eb$.class b/design/project/target/config-classes/$306d8bedb9f082dd0f38$.class similarity index 83% rename from design/project/target/config-classes/$74751247fcc16cb200eb$.class rename to design/project/target/config-classes/$306d8bedb9f082dd0f38$.class index 719ec9db..7f25c2af 100644 Binary files a/design/project/target/config-classes/$74751247fcc16cb200eb$.class and b/design/project/target/config-classes/$306d8bedb9f082dd0f38$.class differ diff --git a/design/project/target/config-classes/$adfda071a41c399a80ff.cache b/design/project/target/config-classes/$306d8bedb9f082dd0f38.cache similarity index 100% rename from design/project/target/config-classes/$adfda071a41c399a80ff.cache rename to design/project/target/config-classes/$306d8bedb9f082dd0f38.cache diff --git a/design/project/target/config-classes/$306d8bedb9f082dd0f38.class b/design/project/target/config-classes/$306d8bedb9f082dd0f38.class new file mode 100644 index 00000000..907d8755 Binary files /dev/null and b/design/project/target/config-classes/$306d8bedb9f082dd0f38.class differ diff --git a/design/project/target/config-classes/$c410925bbafa1acbe23b$.class b/design/project/target/config-classes/$62b2b6adc434dee94f5a$.class similarity index 68% rename from design/project/target/config-classes/$c410925bbafa1acbe23b$.class rename to design/project/target/config-classes/$62b2b6adc434dee94f5a$.class index a4185a22..77cbf1b8 100644 Binary files a/design/project/target/config-classes/$c410925bbafa1acbe23b$.class and b/design/project/target/config-classes/$62b2b6adc434dee94f5a$.class differ diff --git a/design/project/target/config-classes/$ae1e6ce58c4f75585500.cache b/design/project/target/config-classes/$62b2b6adc434dee94f5a.cache similarity index 100% rename from design/project/target/config-classes/$ae1e6ce58c4f75585500.cache rename to design/project/target/config-classes/$62b2b6adc434dee94f5a.cache diff --git a/design/project/target/config-classes/$62b2b6adc434dee94f5a.class b/design/project/target/config-classes/$62b2b6adc434dee94f5a.class new file mode 100644 index 00000000..0ebe5503 Binary files /dev/null and b/design/project/target/config-classes/$62b2b6adc434dee94f5a.class differ diff --git a/design/project/target/config-classes/$ae1e6ce58c4f75585500$.class b/design/project/target/config-classes/$6c52c7359b327f3d10d8$.class similarity index 85% rename from design/project/target/config-classes/$ae1e6ce58c4f75585500$.class rename to design/project/target/config-classes/$6c52c7359b327f3d10d8$.class index d0c3ab76..86c69605 100644 Binary files a/design/project/target/config-classes/$ae1e6ce58c4f75585500$.class and b/design/project/target/config-classes/$6c52c7359b327f3d10d8$.class differ diff --git a/design/project/target/config-classes/$be053b1df493ee514940.cache b/design/project/target/config-classes/$6c52c7359b327f3d10d8.cache similarity index 100% rename from design/project/target/config-classes/$be053b1df493ee514940.cache rename to design/project/target/config-classes/$6c52c7359b327f3d10d8.cache diff --git a/design/project/target/config-classes/$6c52c7359b327f3d10d8.class b/design/project/target/config-classes/$6c52c7359b327f3d10d8.class new file mode 100644 index 00000000..bad463d6 Binary files /dev/null and b/design/project/target/config-classes/$6c52c7359b327f3d10d8.class differ diff --git a/design/project/target/config-classes/$74751247fcc16cb200eb.class b/design/project/target/config-classes/$74751247fcc16cb200eb.class deleted file mode 100644 index 8ff9a1d3..00000000 Binary files a/design/project/target/config-classes/$74751247fcc16cb200eb.class and /dev/null differ diff --git a/design/project/target/config-classes/$7abad9fcbff8f602d02b.class b/design/project/target/config-classes/$7abad9fcbff8f602d02b.class deleted file mode 100644 index b2d3cfe1..00000000 Binary files a/design/project/target/config-classes/$7abad9fcbff8f602d02b.class and /dev/null differ diff --git a/design/project/target/config-classes/$adfda071a41c399a80ff.class b/design/project/target/config-classes/$adfda071a41c399a80ff.class deleted file mode 100644 index 6b53d075..00000000 Binary files a/design/project/target/config-classes/$adfda071a41c399a80ff.class and /dev/null differ diff --git a/design/project/target/config-classes/$ae1e6ce58c4f75585500.class b/design/project/target/config-classes/$ae1e6ce58c4f75585500.class deleted file mode 100644 index 9975eb63..00000000 Binary files a/design/project/target/config-classes/$ae1e6ce58c4f75585500.class and /dev/null differ diff --git a/design/project/target/config-classes/$be053b1df493ee514940.class b/design/project/target/config-classes/$be053b1df493ee514940.class deleted file mode 100644 index cb66dc77..00000000 Binary files a/design/project/target/config-classes/$be053b1df493ee514940.class and /dev/null differ diff --git a/design/project/target/config-classes/$c410925bbafa1acbe23b.class b/design/project/target/config-classes/$c410925bbafa1acbe23b.class deleted file mode 100644 index 56c7050e..00000000 Binary files a/design/project/target/config-classes/$c410925bbafa1acbe23b.class and /dev/null differ diff --git a/design/project/target/config-classes/$db621a6635b8326c35bd$.class b/design/project/target/config-classes/$db0ff82aa16445f1f5f0$.class similarity index 83% rename from design/project/target/config-classes/$db621a6635b8326c35bd$.class rename to design/project/target/config-classes/$db0ff82aa16445f1f5f0$.class index dde160c3..7d346984 100644 Binary files a/design/project/target/config-classes/$db621a6635b8326c35bd$.class and b/design/project/target/config-classes/$db0ff82aa16445f1f5f0$.class differ diff --git a/design/project/target/config-classes/$c410925bbafa1acbe23b.cache b/design/project/target/config-classes/$db0ff82aa16445f1f5f0.cache similarity index 100% rename from design/project/target/config-classes/$c410925bbafa1acbe23b.cache rename to design/project/target/config-classes/$db0ff82aa16445f1f5f0.cache diff --git a/design/project/target/config-classes/$db0ff82aa16445f1f5f0.class b/design/project/target/config-classes/$db0ff82aa16445f1f5f0.class new file mode 100644 index 00000000..5571d005 Binary files /dev/null and b/design/project/target/config-classes/$db0ff82aa16445f1f5f0.class differ diff --git a/design/project/target/config-classes/$db621a6635b8326c35bd.class b/design/project/target/config-classes/$db621a6635b8326c35bd.class deleted file mode 100644 index a14ee096..00000000 Binary files a/design/project/target/config-classes/$db621a6635b8326c35bd.class and /dev/null differ diff --git a/design/project/target/config-classes/$f65a60e666342859167b$.class b/design/project/target/config-classes/$e1b3d700190c784e124b$.class similarity index 85% rename from design/project/target/config-classes/$f65a60e666342859167b$.class rename to design/project/target/config-classes/$e1b3d700190c784e124b$.class index cc7d1d2e..35828bda 100644 Binary files a/design/project/target/config-classes/$f65a60e666342859167b$.class and b/design/project/target/config-classes/$e1b3d700190c784e124b$.class differ diff --git a/design/project/target/config-classes/$db621a6635b8326c35bd.cache b/design/project/target/config-classes/$e1b3d700190c784e124b.cache similarity index 100% rename from design/project/target/config-classes/$db621a6635b8326c35bd.cache rename to design/project/target/config-classes/$e1b3d700190c784e124b.cache diff --git a/design/project/target/config-classes/$e1b3d700190c784e124b.class b/design/project/target/config-classes/$e1b3d700190c784e124b.class new file mode 100644 index 00000000..de0cb0ad Binary files /dev/null and b/design/project/target/config-classes/$e1b3d700190c784e124b.class differ diff --git a/design/project/target/config-classes/$f65a60e666342859167b.class b/design/project/target/config-classes/$f65a60e666342859167b.class deleted file mode 100644 index 479c9621..00000000 Binary files a/design/project/target/config-classes/$f65a60e666342859167b.class and /dev/null differ diff --git a/design/project/target/config-classes/$adfda071a41c399a80ff$.class b/design/project/target/config-classes/$f8acbb999b9697e8aaa5$.class similarity index 85% rename from design/project/target/config-classes/$adfda071a41c399a80ff$.class rename to design/project/target/config-classes/$f8acbb999b9697e8aaa5$.class index eafdf76a..49a395a3 100644 Binary files a/design/project/target/config-classes/$adfda071a41c399a80ff$.class and b/design/project/target/config-classes/$f8acbb999b9697e8aaa5$.class differ diff --git a/design/project/target/config-classes/$f65a60e666342859167b.cache b/design/project/target/config-classes/$f8acbb999b9697e8aaa5.cache similarity index 100% rename from design/project/target/config-classes/$f65a60e666342859167b.cache rename to design/project/target/config-classes/$f8acbb999b9697e8aaa5.cache diff --git a/design/project/target/config-classes/$f8acbb999b9697e8aaa5.class b/design/project/target/config-classes/$f8acbb999b9697e8aaa5.class new file mode 100644 index 00000000..bf07a427 Binary files /dev/null and b/design/project/target/config-classes/$f8acbb999b9697e8aaa5.class differ diff --git a/design/project/target/streams/compile/_global/_global/compileOutputs/previous b/design/project/target/streams/compile/_global/_global/compileOutputs/previous index f0829540..b347b117 100644 --- a/design/project/target/streams/compile/_global/_global/compileOutputs/previous +++ b/design/project/target/streams/compile/_global/_global/compileOutputs/previous @@ -1 +1 @@ -["sbt.Task[scala.collection.Seq[java.nio.file.Path]]",["/home/users/scratch/komal.javed.data/Quasar/quasar_2.0/design/project/target/streams/compile/compileOutputs/_global/streams/inc_compile_2.12.zip"]] \ No newline at end of file +["sbt.Task[scala.collection.Seq[java.nio.file.Path]]",["/home/users/scratch/komal.javed.data/Quasar/quasar2/design/project/target/streams/compile/compileOutputs/_global/streams/inc_compile_2.12.zip"]] \ No newline at end of file diff --git a/design/project/target/streams/compile/exportedProducts/_global/streams/export b/design/project/target/streams/compile/exportedProducts/_global/streams/export index 67df6090..bace10da 100644 --- a/design/project/target/streams/compile/exportedProducts/_global/streams/export +++ b/design/project/target/streams/compile/exportedProducts/_global/streams/export @@ -1 +1 @@ -/home/users/scratch/komal.javed.data/Quasar/quasar_2.0/design/project/target/scala-2.12/sbt-1.0/classes +/home/users/scratch/komal.javed.data/Quasar/quasar2/design/project/target/scala-2.12/sbt-1.0/classes diff --git a/design/project/target/streams/runtime/dependencyClasspath/_global/streams/export b/design/project/target/streams/runtime/dependencyClasspath/_global/streams/export index 67df6090..bace10da 100644 --- a/design/project/target/streams/runtime/dependencyClasspath/_global/streams/export +++ b/design/project/target/streams/runtime/dependencyClasspath/_global/streams/export @@ -1 +1 @@ -/home/users/scratch/komal.javed.data/Quasar/quasar_2.0/design/project/target/scala-2.12/sbt-1.0/classes +/home/users/scratch/komal.javed.data/Quasar/quasar2/design/project/target/scala-2.12/sbt-1.0/classes diff --git a/design/project/target/streams/runtime/exportedProducts/_global/streams/export b/design/project/target/streams/runtime/exportedProducts/_global/streams/export index 67df6090..bace10da 100644 --- a/design/project/target/streams/runtime/exportedProducts/_global/streams/export +++ b/design/project/target/streams/runtime/exportedProducts/_global/streams/export @@ -1 +1 @@ -/home/users/scratch/komal.javed.data/Quasar/quasar_2.0/design/project/target/scala-2.12/sbt-1.0/classes +/home/users/scratch/komal.javed.data/Quasar/quasar2/design/project/target/scala-2.12/sbt-1.0/classes diff --git a/design/project/target/streams/runtime/fullClasspath/_global/streams/export b/design/project/target/streams/runtime/fullClasspath/_global/streams/export index 67df6090..bace10da 100644 --- a/design/project/target/streams/runtime/fullClasspath/_global/streams/export +++ b/design/project/target/streams/runtime/fullClasspath/_global/streams/export @@ -1 +1 @@ -/home/users/scratch/komal.javed.data/Quasar/quasar_2.0/design/project/target/scala-2.12/sbt-1.0/classes +/home/users/scratch/komal.javed.data/Quasar/quasar2/design/project/target/scala-2.12/sbt-1.0/classes diff --git a/design/project/target/streams/runtime/internalDependencyClasspath/_global/streams/export b/design/project/target/streams/runtime/internalDependencyClasspath/_global/streams/export index 67df6090..bace10da 100644 --- a/design/project/target/streams/runtime/internalDependencyClasspath/_global/streams/export +++ b/design/project/target/streams/runtime/internalDependencyClasspath/_global/streams/export @@ -1 +1 @@ -/home/users/scratch/komal.javed.data/Quasar/quasar_2.0/design/project/target/scala-2.12/sbt-1.0/classes +/home/users/scratch/komal.javed.data/Quasar/quasar2/design/project/target/scala-2.12/sbt-1.0/classes diff --git a/design/target/scala-2.12/quasar_2.12-3.3.0.jar b/design/target/scala-2.12/quasar_2.12-3.3.0.jar index 4ded2539..4723cf8a 100644 Binary files a/design/target/scala-2.12/quasar_2.12-3.3.0.jar and b/design/target/scala-2.12/quasar_2.12-3.3.0.jar differ diff --git a/verif/LEC/config.py b/verif/LEC/config.py index eaf3263f..9389fd7e 100644 --- a/verif/LEC/config.py +++ b/verif/LEC/config.py @@ -1,39 +1,43 @@ +# Load Configurations for LEC of Golden and Revised Design + import re infile= open("./design/snapshots/default/param.vh",'r') params = [] -lines = infile.readlines() +lines = infile.readlines() # Read Param.vh file. for line in lines: patern_1=re.match(r'(.*):(.*)' , line ) if ((patern_1)): - lesson_group2=patern_1.group(1) - splittedl = lesson_group2.split() - split_data='' - for x in splittedl: - split_data=split_data+" "+x - lesson_group3=patern_1.group(2) - splittedl2 = lesson_group3.split() - split_data2='' - for x in splittedl2: - split_data2=split_data2+" "+x + # Group string to the left side of colon + patern_group1=patern_1.group(1) + split_bef_col = patern_group1.split() + bef_col='' + print("split_bef_col = ",split_bef_col) + for parametr in split_bef_col: + bef_col=bef_col+" "+parametr + # Group string to the right side of colon + patern_group2=patern_1.group(2) + split_after_col = patern_group2.split() + after_col='' + for strng in split_after_col: + after_col=after_col+strng + else: continue - params.append(split_data+" = " + split_data2) + # concatenate the string obtained before and after colon + params.append(bef_col+" = " + after_col) -#writing to a file +# Writing configurations to file filename2 = "./verif/LEC/LEC_RTL/Golden_RTL/parameter.sv" -#w+ tells python we are opening the file to write into it outfile = open(filename2, 'w+') outfile.write("#(parameter"+"\n") outfile.write("\t"+" AWIDTH = 7,"+"\n") outfile.write("\t"+" TAG = 1'h1,"+"\n") -for x in params: - if ("DCCM_INDEX_BITS") in x: - y="// " + "DCCM_INDEX_BITS = 4'hC ," - outfile.write("\t"+str(y)+"\n") +for parameters in params: + if ("DCCM_INDEX_BITS") in parameters: + commented=" //" + parameters + outfile.write("\t"+str(commented)+"\n") else: - outfile.write("\t"+str(x)+"\n") + outfile.write("\t"+str(parameters)+"\n") outfile.write(")"+"\n") outfile.close() #Close file -print("Done...!") - - +print("\nConfiguration file for LEC is updated successfully.\n") \ No newline at end of file diff --git a/verif/LEC/formality_work/run_me.fms b/verif/LEC/formality_work/run_me.fms index 851d4025..1c5f4018 100755 --- a/verif/LEC/formality_work/run_me.fms +++ b/verif/LEC/formality_work/run_me.fms @@ -1,6 +1,6 @@ # Set Search Path for Golden/Implementation Design - set search_path "./verif/LEC ./verif/LEC/LEC_RTL/Golden_RTL ./verif/LEC/LEC_RTL/generated_rtl" + set search_path "./verif/LEC ./verif/LEC/LEC_RTL/Golden_RTL ./verif/LEC/LEC_RTL/Imp_BB_RTL" # Set LEC_ROOT to presentt working directory set LEC_ROOT [pwd]/verif/LEC @@ -70,17 +70,17 @@ if {![file isdirectory $fm_path_r]} { } # Loading verilog implementation file read_sverilog -i " \ - $LEC_ROOT/LEC_RTL/BB_RTL/pkt.sv - $LEC_ROOT/LEC_RTL/BB_RTL/beh_lib.sv - $LEC_ROOT/LEC_RTL/BB_RTL/mem_lib.sv - $LEC_ROOT/LEC_RTL/BB_RTL/ifu_ic_mem.sv - $LEC_ROOT/LEC_RTL/BB_RTL/gated_latch.sv - $LEC_ROOT/LEC_RTL/BB_RTL/ifu_iccm_mem.sv - $LEC_ROOT/LEC_RTL/BB_RTL/lsu_dccm_mem.sv - $LEC_ROOT/LEC_RTL/BB_RTL/mem.sv - $LEC_ROOT/LEC_RTL/BB_RTL/dmi_jtag_to_core_sync.sv - $LEC_ROOT/LEC_RTL/BB_RTL/rvjtag_tap.sv - $LEC_ROOT/LEC_RTL/BB_RTL/dmi_wrapper.sv + $LEC_ROOT/LEC_RTL/Imp_BB_RTL/pkt.sv + $LEC_ROOT/LEC_RTL/Imp_BB_RTL/beh_lib.sv + $LEC_ROOT/LEC_RTL/Imp_BB_RTL/mem_lib.sv + $LEC_ROOT/LEC_RTL/Imp_BB_RTL/ifu_ic_mem.sv + $LEC_ROOT/LEC_RTL/Imp_BB_RTL/gated_latch.sv + $LEC_ROOT/LEC_RTL/Imp_BB_RTL/ifu_iccm_mem.sv + $LEC_ROOT/LEC_RTL/Imp_BB_RTL/lsu_dccm_mem.sv + $LEC_ROOT/LEC_RTL/Imp_BB_RTL/mem.sv + $LEC_ROOT/LEC_RTL/Imp_BB_RTL/dmi_jtag_to_core_sync.sv + $LEC_ROOT/LEC_RTL/Imp_BB_RTL/rvjtag_tap.sv + $LEC_ROOT/LEC_RTL/Imp_BB_RTL/dmi_wrapper.sv ./generated_rtl/quasar_wrapper.sv @@ -93,25 +93,25 @@ if {![file isdirectory $fm_path_r]} { set_black_box i:/WORK/mem_DCCM_BANK_BITS* # Setting User Match on input ports - source $LEC_ROOT/setup_files/Input_ports_1.3.fms + source $LEC_ROOT/setup_files/Input_ports_2.0.fms # Setting User Match on output ports - source $LEC_ROOT/setup_files/Output_ports_1.3.fms + source $LEC_ROOT/setup_files/Output_ports_2.0.fms # Setting User Match on input Black Box Pins - source $LEC_ROOT/setup_files/BB_input_pins_1.3.fms + source $LEC_ROOT/setup_files/BB_input_pins_2.0.fms # Setting User Match on output Black Box Pins - source $LEC_ROOT/setup_files/BB_output_pins_1.3.fms + source $LEC_ROOT/setup_files/BB_output_pins_2.0.fms # Setting User Match on Flip Flops - source $LEC_ROOT/setup_files/DFF_1.3.fms + source $LEC_ROOT/setup_files/DFF_2.0.fms # Setting up constants potentially constant registers - source $LEC_ROOT/setup_files/Constant_1.3.fms + source $LEC_ROOT/setup_files/Constant_2.0.fms # Setting up dont verify points - source $LEC_ROOT/setup_files/Dont_verify_points_1.3.fms + source $LEC_ROOT/setup_files/Dont_verify_points_2.0.fms if {[verify] != 1} { set verification_failing_points_limit 500 diff --git a/verif/LEC/setup_files/BB_input_pins_1.3.fms b/verif/LEC/setup_files/BB_input_pins_2.0.fms similarity index 100% rename from verif/LEC/setup_files/BB_input_pins_1.3.fms rename to verif/LEC/setup_files/BB_input_pins_2.0.fms diff --git a/verif/LEC/setup_files/BB_output_pins_1.3.fms b/verif/LEC/setup_files/BB_output_pins_2.0.fms similarity index 100% rename from verif/LEC/setup_files/BB_output_pins_1.3.fms rename to verif/LEC/setup_files/BB_output_pins_2.0.fms diff --git a/verif/LEC/setup_files/Constant_1.3.fms b/verif/LEC/setup_files/Constant_2.0.fms similarity index 100% rename from verif/LEC/setup_files/Constant_1.3.fms rename to verif/LEC/setup_files/Constant_2.0.fms diff --git a/verif/LEC/setup_files/DFF_1.3.fms b/verif/LEC/setup_files/DFF_2.0.fms similarity index 100% rename from verif/LEC/setup_files/DFF_1.3.fms rename to verif/LEC/setup_files/DFF_2.0.fms diff --git a/verif/LEC/setup_files/Dont_verify_points_1.3.fms b/verif/LEC/setup_files/Dont_verify_points_2.0.fms similarity index 100% rename from verif/LEC/setup_files/Dont_verify_points_1.3.fms rename to verif/LEC/setup_files/Dont_verify_points_2.0.fms diff --git a/verif/LEC/setup_files/Functional_match_1.3.fms b/verif/LEC/setup_files/Functional_match_2.0.fms similarity index 100% rename from verif/LEC/setup_files/Functional_match_1.3.fms rename to verif/LEC/setup_files/Functional_match_2.0.fms diff --git a/verif/LEC/setup_files/Input_ports_1.3.fms b/verif/LEC/setup_files/Input_ports_2.0.fms similarity index 100% rename from verif/LEC/setup_files/Input_ports_1.3.fms rename to verif/LEC/setup_files/Input_ports_2.0.fms diff --git a/verif/LEC/setup_files/Output_ports_1.3.fms b/verif/LEC/setup_files/Output_ports_2.0.fms similarity index 100% rename from verif/LEC/setup_files/Output_ports_1.3.fms rename to verif/LEC/setup_files/Output_ports_2.0.fms