2020 */
2121int infer_and_mark_constant_pins (AtomNetlist& netlist, e_const_gen_inference const_gen_inference_method, const LogicalModels& models, int verbosity);
2222
23- // /@brief Marks all primtive output pins which have no combinationally connected inputs as constant pins
23+ // /@brief Marks all primitive output pins which have no combinationally connected inputs as constant pins
2424int mark_undriven_primitive_outputs_as_constant (AtomNetlist& netlist, int verbosity);
2525
26- // /@brief Marks all primtive output pins of blk which have only constant inputs as constant pins
26+ // /@brief Marks all primitive output pins of blk which have only constant inputs as constant pins
2727int infer_and_mark_block_pins_constant (AtomNetlist& netlist, AtomBlockId blk, e_const_gen_inference const_gen_inference_method, const LogicalModels& models, int verbosity);
2828int infer_and_mark_block_combinational_outputs_constant (AtomNetlist& netlist, AtomBlockId blk, e_const_gen_inference const_gen_inference_method, int verbosity);
2929int infer_and_mark_block_sequential_outputs_constant (AtomNetlist& netlist, AtomBlockId blk, e_const_gen_inference const_gen_inference_method, const LogicalModels& models, int verbosity);
@@ -129,7 +129,7 @@ void print_netlist_as_blif(FILE* f, const AtomNetlist& netlist, const LogicalMod
129129
130130 // Artificial buffers
131131 for (auto buf_pair : artificial_buffer_connections_required) {
132- fprintf (f, " #Artificially inserted primary-output assigment buffer\n " );
132+ fprintf (f, " #Artificially inserted primary-output assignment buffer\n " );
133133 fprintf (f, " .names %s %s\n " , buf_pair.first .c_str (), buf_pair.second .c_str ());
134134 fprintf (f, " 1 1\n " );
135135 fprintf (f, " \n " );
@@ -194,7 +194,7 @@ void print_netlist_as_blif(FILE* f, const AtomNetlist& netlist, const LogicalMod
194194 auto type = " re" ;
195195
196196 // Latch initial value
197- int init_val = 3 ; // Unkown or unspecified
197+ int init_val = 3 ; // Unknown or unspecified
198198 // The initial value is stored as a single value in the truth table
199199 const auto & so_cover = netlist.block_truth_table (blk_id);
200200 if (so_cover.size () == 1 ) {
@@ -849,7 +849,7 @@ bool remove_buffer_lut(AtomNetlist& netlist, AtomBlockId blk, const LogicalModel
849849 // We now need to determine the name of the 'new' net
850850 //
851851 // We need to be careful about this name since a net pin could be
852- // a Primary-Input/Primary-Output, and we don't want to change PI/PO names (for equivalance checking)
852+ // a Primary-Input/Primary-Output, and we don't want to change PI/PO names (for equivalence checking)
853853 //
854854 // Check if we have any PI/POs in the new net's pins
855855 // Note that the driver can only (potentially) be an INPAD, and the sinks only (potentially) OUTPADs
@@ -873,10 +873,10 @@ bool remove_buffer_lut(AtomNetlist& netlist, AtomBlockId blk, const LogicalModel
873873 auto output_net_name = netlist.net_name (output_net);
874874
875875 if ((driver_is_pi || po_in_input_sinks) && !po_in_output_sinks) {
876- // Must use the input name to perserve primary-input or primary-output name
876+ // Must use the input name to preserve primary-input or primary-output name
877877 new_net_name = input_net_name;
878878 } else if (!(driver_is_pi || po_in_input_sinks) && po_in_output_sinks) {
879- // Must use the output name to perserve primary-output name
879+ // Must use the output name to preserve primary-output name
880880 new_net_name = output_net_name;
881881 } else {
882882 new_net_name = input_net_name;
@@ -1077,7 +1077,7 @@ size_t sweep_blocks(AtomNetlist& netlist, const LogicalModels& models, int verbo
10771077
10781078 AtomBlockType type = netlist.block_type (blk_id);
10791079
1080- // Don't remove inpads/outpads here, we have seperate sweep functions for these
1080+ // Don't remove inpads/outpads here, we have separate sweep functions for these
10811081 if (type == AtomBlockType::INPAD || type == AtomBlockType::OUTPAD) continue ;
10821082
10831083 // We remove any blocks with no fanout
0 commit comments