krlhBlupine/iBioSim
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

load verilog synthesis property

Browse source
This commit is contained in:
Tramy Nguyen 2019-09-25 13:26:16 -06:00
parent beb12214bf
commit e3fb409ec2
10 changed files with 9976 additions and 10251 deletions
Download patch file Download diff file Expand all files Collapse all files

10
dataModels/src/main/java/edu/utah/ece/async/ibiosim/dataModels/util/GlobalConstants.java
View file

@ -193,7 +193,13 @@ public class GlobalConstants {
public static final String RDF_FILE_EXTENSION = ".rdf";
public static final String VERILOG_FILE_EXTENTION = ".v";
public static final String SBOL_SYNTH_PROPERTIES_EXTENSION = ".sbolsynth.properties";
public static final String SBOL_SYNTH_ATACS_PROPERTY = "synthesis.atacs";
public static final String SBOL_SYNTH_YOSYS_NAND= "NAND";
public static final String SBOL_SYNTH_YOSYS_NOR = "NOR";
public static final String SBOL_SYNTH_YOSYS_PROPERTY = "synthesis.yosys";
public static final String SBOL_SYNTH_SPEC_PROPERTY = "synthesis.spec";
public static final String SBOL_SYNTH_SPEC_PATH_PROPERTY = "synthesis.specPath";
public static final String SBOL_SYNTH_TESTBENCH_PROPERTY = "synthes.testbench";
public static final String SBOL_SYNTH_LIBS_PROPERTY = "synthesis.libraries";
public static final String SBOL_SYNTH_LIBS_PREFERENCE = "biosim." + SBOL_SYNTH_LIBS_PROPERTY;
public static final String SBOL_SYNTH_LIBS_DEFAULT = "";
@ -204,7 +210,9 @@ public class GlobalConstants {
public static final String SBOL_SYNTH_GREEDY_BB = "Greedy Branch and Bound";
public static final String SBOL_SYNTH_GREEDY = "Greedy";
public static final String SBOL_SYNTH_EXHAUSTIVE = "Exhaustive";
public static final String SBOL_SYNTH_STRUCTURAL_METHODS = SBOL_SYNTH_EXHAUST_BB + "," + SBOL_SYNTH_GREEDY_BB + "," + SBOL_SYNTH_GREEDY + "," + SBOL_SYNTH_EXHAUSTIVE;
public static final String SBOL_SYNTH_STRUCTURAL_METHODS = SBOL_SYNTH_EXHAUST_BB + "," + SBOL_SYNTH_GREEDY_BB;
public static final String SBOL_SYNTH_ATACS_ATOMIC_GATES = "Atomic Gates";
public static final String SBOL_SYNTH_ATACS_GC_GATES = "gC Gates";
public static final String SBOL_SYNTH_NUM_SOLNS_PROPERTY = "synthesis.numsolutions";
public static final String SBOL_SYNTH_NUM_SOLNS_PREFERENCE = "biosim." + SBOL_SYNTH_NUM_SOLNS_PROPERTY;