diff --git a/bfpcompiler/.Xil/Vivado-33785-lilith/elab.rtd b/bfpcompiler/.Xil/Vivado-33785-lilith/elab.rtd deleted file mode 100644 index c24923d..0000000 Binary files a/bfpcompiler/.Xil/Vivado-33785-lilith/elab.rtd and /dev/null differ diff --git a/bfpcompiler/.Xil/Vivado-33785-lilith/realtime/bfpu.tcl b/bfpcompiler/.Xil/Vivado-33785-lilith/realtime/bfpu.tcl deleted file mode 100644 index ad3e883..0000000 --- a/bfpcompiler/.Xil/Vivado-33785-lilith/realtime/bfpu.tcl +++ /dev/null @@ -1,114 +0,0 @@ -# -# Synthesis run script generated by Vivado -# - -namespace eval rt { - variable rc -} -set rt::rc [catch { - uplevel #0 { - set ::env(BUILTIN_SYNTH) true - source $::env(HRT_TCL_PATH)/rtSynthPrep.tcl - rt::HARTNDb_resetJobStats - rt::HARTNDb_resetSystemStats - rt::HARTNDb_startSystemStats - rt::HARTNDb_startJobStats - set rt::cmdEcho 0 - rt::set_parameter writeXmsg true - rt::set_parameter enableParallelHelperSpawn true - set ::env(RT_TMP) "./.Xil/Vivado-33785-lilith/realtime/tmp" - if { [ info exists ::env(RT_TMP) ] } { - file delete -force $::env(RT_TMP) - file mkdir $::env(RT_TMP) - } - - rt::delete_design - - rt::set_parameter datapathDensePacking false - set rt::partid xc7a100tcsg324-1 - file delete -force synth_hints.os - - set rt::multiChipSynthesisFlow false - set rt::enableVHDL2008 1 - source $::env(SYNTH_COMMON)/common.tcl - set rt::defaultWorkLibName xil_defaultlib - - set rt::useElabCache false - if {$rt::useElabCache == false} { - rt::read_vhdl -lib xil_defaultlib { - /home/nick/Documents/Programming/Brainfuck/BPFU/fpga/src/programCounter.vhd - /home/nick/Documents/Programming/Brainfuck/BPFU/fpga/src/bfpu.vhd - } - rt::read_vhdl -vhdl2008 -lib xil_defaultlib { - /home/nick/Documents/Programming/Brainfuck/BPFU/fpga/src/alu.vhd - /home/nick/Documents/Programming/Brainfuck/BPFU/fpga/src/branch.vhd - /home/nick/Documents/Programming/Brainfuck/BPFU/fpga/src/cellMemory.vhd - /home/nick/Documents/Programming/Brainfuck/BPFU/fpga/src/instructionMemory.vhd - /home/nick/Documents/Programming/Brainfuck/BPFU/fpga/src/memoryPointer.vhd - } - rt::filesetChecksum - } - rt::set_parameter usePostFindUniquification false - set rt::top bfpu - rt::set_parameter enableIncremental true - rt::set_parameter markDebugPreservationLevel "enable" - set rt::reportTiming false - rt::set_parameter elaborateOnly true - rt::set_parameter elaborateRtl true - rt::set_parameter eliminateRedundantBitOperator false - rt::set_parameter dataflowBusHighlighting false - rt::set_parameter generateDataflowBusNetlist false - rt::set_parameter dataFlowViewInElab false - rt::set_parameter busViewFixBrokenConnections false - rt::set_parameter elaborateRtlOnlyFlow true - rt::set_parameter writeBlackboxInterface true - rt::set_parameter merge_flipflops true - rt::set_parameter srlDepthThreshold 3 - rt::set_parameter rstSrlDepthThreshold 4 -# MODE: - rt::set_parameter webTalkPath {} - rt::set_parameter synthDebugLog false - rt::set_parameter printModuleName false - rt::set_parameter enableSplitFlowPath "./.Xil/Vivado-33785-lilith/" - set ok_to_delete_rt_tmp true - if { [rt::get_parameter parallelDebug] } { - set ok_to_delete_rt_tmp false - } - if {$rt::useElabCache == false} { - set oldMIITMVal [rt::get_parameter maxInputIncreaseToMerge]; rt::set_parameter maxInputIncreaseToMerge 1000 - set oldCDPCRL [rt::get_parameter createDfgPartConstrRecurLimit]; rt::set_parameter createDfgPartConstrRecurLimit 1 - $rt::db readXRFFile - rt::run_rtlelab -module $rt::top - rt::set_parameter maxInputIncreaseToMerge $oldMIITMVal - rt::set_parameter createDfgPartConstrRecurLimit $oldCDPCRL - } - - set rt::flowresult [ source $::env(SYNTH_COMMON)/flow.tcl ] - rt::HARTNDb_stopJobStats - if { $rt::flowresult == 1 } { return -code error } - - - set hsKey [rt::get_parameter helper_shm_key] - if { $hsKey != "" && [info exists ::env(BUILTIN_SYNTH)] && [rt::get_parameter enableParallelHelperSpawn] } { - $rt::db killSynthHelper $hsKey - } - rt::set_parameter helper_shm_key "" - if { [ info exists ::env(RT_TMP) ] } { - if { [info exists ok_to_delete_rt_tmp] && $ok_to_delete_rt_tmp } { - file delete -force $::env(RT_TMP) - } - } - - source $::env(HRT_TCL_PATH)/rtSynthCleanup.tcl - } ; #end uplevel -} rt::result] - -if { $rt::rc } { - $rt::db resetHdlParse - set hsKey [rt::get_parameter helper_shm_key] - if { $hsKey != "" && [info exists ::env(BUILTIN_SYNTH)] && [rt::get_parameter enableParallelHelperSpawn] } { - $rt::db killSynthHelper $hsKey - } - source $::env(HRT_TCL_PATH)/rtSynthCleanup.tcl - return -code "error" $rt::result -} diff --git a/bfpcompiler/.Xil/Vivado-33785-lilith/realtime/dupFiles.rpt b/bfpcompiler/.Xil/Vivado-33785-lilith/realtime/dupFiles.rpt deleted file mode 100644 index abb94af..0000000 --- a/bfpcompiler/.Xil/Vivado-33785-lilith/realtime/dupFiles.rpt +++ /dev/null @@ -1 +0,0 @@ -CRC performance measure: elapsed=00:00:00s;;memory_peak=8164.695MB;;memory_gain=0.000MB