Updated LEC scripts
This commit is contained in:
komaljaved-lm
parent
46a5cc2d86
commit
902f4046fc
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
|
|
@ -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"]]
|
["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"]]
|
||||||
|
|
@ -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
|
||||||
|
|
|
||||||
|
|
@ -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
|
||||||
|
|
|
||||||
|
|
@ -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
|
||||||
|
|
|
||||||
|
|
@ -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
|
||||||
|
|
|
||||||
|
|
@ -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
|
||||||
|
|
|
||||||
Binary file not shown.
|
|
@ -1,39 +1,43 @@
|
||||||
|
# Load Configurations for LEC of Golden and Revised Design
|
||||||
|
|
||||||
import re
|
import re
|
||||||
infile= open("./design/snapshots/default/param.vh",'r')
|
infile= open("./design/snapshots/default/param.vh",'r')
|
||||||
params = []
|
params = []
|
||||||
lines = infile.readlines()
|
lines = infile.readlines() # Read Param.vh file.
|
||||||
for line in lines:
|
for line in lines:
|
||||||
patern_1=re.match(r'(.*):(.*)' , line )
|
patern_1=re.match(r'(.*):(.*)' , line )
|
||||||
if ((patern_1)):
|
if ((patern_1)):
|
||||||
lesson_group2=patern_1.group(1)
|
# Group string to the left side of colon
|
||||||
splittedl = lesson_group2.split()
|
patern_group1=patern_1.group(1)
|
||||||
split_data=''
|
split_bef_col = patern_group1.split()
|
||||||
for x in splittedl:
|
bef_col=''
|
||||||
split_data=split_data+" "+x
|
print("split_bef_col = ",split_bef_col)
|
||||||
lesson_group3=patern_1.group(2)
|
for parametr in split_bef_col:
|
||||||
splittedl2 = lesson_group3.split()
|
bef_col=bef_col+" "+parametr
|
||||||
split_data2=''
|
# Group string to the right side of colon
|
||||||
for x in splittedl2:
|
patern_group2=patern_1.group(2)
|
||||||
split_data2=split_data2+" "+x
|
split_after_col = patern_group2.split()
|
||||||
|
after_col=''
|
||||||
|
for strng in split_after_col:
|
||||||
|
after_col=after_col+strng
|
||||||
|
|
||||||
else:
|
else:
|
||||||
continue
|
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"
|
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 = open(filename2, 'w+')
|
||||||
outfile.write("#(parameter"+"\n")
|
outfile.write("#(parameter"+"\n")
|
||||||
outfile.write("\t"+" AWIDTH = 7,"+"\n")
|
outfile.write("\t"+" AWIDTH = 7,"+"\n")
|
||||||
outfile.write("\t"+" TAG = 1'h1,"+"\n")
|
outfile.write("\t"+" TAG = 1'h1,"+"\n")
|
||||||
for x in params:
|
for parameters in params:
|
||||||
if ("DCCM_INDEX_BITS") in x:
|
if ("DCCM_INDEX_BITS") in parameters:
|
||||||
y="// " + "DCCM_INDEX_BITS = 4'hC ,"
|
commented=" //" + parameters
|
||||||
outfile.write("\t"+str(y)+"\n")
|
outfile.write("\t"+str(commented)+"\n")
|
||||||
else:
|
else:
|
||||||
outfile.write("\t"+str(x)+"\n")
|
outfile.write("\t"+str(parameters)+"\n")
|
||||||
outfile.write(")"+"\n")
|
outfile.write(")"+"\n")
|
||||||
outfile.close() #Close file
|
outfile.close() #Close file
|
||||||
print("Done...!")
|
print("\nConfiguration file for LEC is updated successfully.\n")
|
||||||
|
|
||||||
|
|
||||||
|
|
@ -1,6 +1,6 @@
|
||||||
|
|
||||||
# Set Search Path for Golden/Implementation Design
|
# 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 to presentt working directory
|
||||||
set LEC_ROOT [pwd]/verif/LEC
|
set LEC_ROOT [pwd]/verif/LEC
|
||||||
|
|
@ -70,17 +70,17 @@ if {![file isdirectory $fm_path_r]} {
|
||||||
}
|
}
|
||||||
# Loading verilog implementation file
|
# Loading verilog implementation file
|
||||||
read_sverilog -i " \
|
read_sverilog -i " \
|
||||||
$LEC_ROOT/LEC_RTL/BB_RTL/pkt.sv
|
$LEC_ROOT/LEC_RTL/Imp_BB_RTL/pkt.sv
|
||||||
$LEC_ROOT/LEC_RTL/BB_RTL/beh_lib.sv
|
$LEC_ROOT/LEC_RTL/Imp_BB_RTL/beh_lib.sv
|
||||||
$LEC_ROOT/LEC_RTL/BB_RTL/mem_lib.sv
|
$LEC_ROOT/LEC_RTL/Imp_BB_RTL/mem_lib.sv
|
||||||
$LEC_ROOT/LEC_RTL/BB_RTL/ifu_ic_mem.sv
|
$LEC_ROOT/LEC_RTL/Imp_BB_RTL/ifu_ic_mem.sv
|
||||||
$LEC_ROOT/LEC_RTL/BB_RTL/gated_latch.sv
|
$LEC_ROOT/LEC_RTL/Imp_BB_RTL/gated_latch.sv
|
||||||
$LEC_ROOT/LEC_RTL/BB_RTL/ifu_iccm_mem.sv
|
$LEC_ROOT/LEC_RTL/Imp_BB_RTL/ifu_iccm_mem.sv
|
||||||
$LEC_ROOT/LEC_RTL/BB_RTL/lsu_dccm_mem.sv
|
$LEC_ROOT/LEC_RTL/Imp_BB_RTL/lsu_dccm_mem.sv
|
||||||
$LEC_ROOT/LEC_RTL/BB_RTL/mem.sv
|
$LEC_ROOT/LEC_RTL/Imp_BB_RTL/mem.sv
|
||||||
$LEC_ROOT/LEC_RTL/BB_RTL/dmi_jtag_to_core_sync.sv
|
$LEC_ROOT/LEC_RTL/Imp_BB_RTL/dmi_jtag_to_core_sync.sv
|
||||||
$LEC_ROOT/LEC_RTL/BB_RTL/rvjtag_tap.sv
|
$LEC_ROOT/LEC_RTL/Imp_BB_RTL/rvjtag_tap.sv
|
||||||
$LEC_ROOT/LEC_RTL/BB_RTL/dmi_wrapper.sv
|
$LEC_ROOT/LEC_RTL/Imp_BB_RTL/dmi_wrapper.sv
|
||||||
./generated_rtl/quasar_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*
|
set_black_box i:/WORK/mem_DCCM_BANK_BITS*
|
||||||
|
|
||||||
# Setting User Match on input ports
|
# 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
|
# 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
|
# 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
|
# 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
|
# 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
|
# 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
|
# 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} {
|
if {[verify] != 1} {
|
||||||
set verification_failing_points_limit 500
|
set verification_failing_points_limit 500
|
||||||
|
|
|
||||||
Loading…
Reference in New Issue