diff --git a/PExpr.h b/PExpr.h
index fa44c70b5..5b014de8a 100644
--- a/PExpr.h
+++ b/PExpr.h
@@ -83,7 +83,7 @@ class PExpr : public LineInfo {
 	// without changing the result. This allows the expression width to
 	// be pruned when not all bits of the result are used.
 	//
-	// Normally mode should be initialised to SIZED before starting to
+	// Normally mode should be initialized to SIZED before starting to
 	// test the width of an expression. In SIZED mode the expression
 	// width will be calculated strictly according to the IEEE standard
 	// rules for expression width.
@@ -111,7 +111,7 @@ class PExpr : public LineInfo {
 	// this case because coercing an operand to a different type means
 	// that the expression no longer obeys the normal rules of arithmetic.
 	//
-	// If mode is initialised to EXPAND instead of SIZED, the expression
+	// If mode is initialized to EXPAND instead of SIZED, the expression
 	// width will be calculated as the minimum width necessary to avoid
 	// arithmetic overflow or underflow, even if it contains no unsized
 	// literals. mode will be changed LOSSLESS or UPSIZE as described
@@ -553,7 +553,7 @@ class PENewClass : public PExpr {
 				  width_mode_t&mode);
 	// Note that class (new) expressions only appear in context
 	// that uses this form of the elaborate_expr method. In fact,
-	// the type argument is going to be a netclas_t object.
+	// the type argument is going to be a netclass_t object.
       virtual NetExpr*elaborate_expr(Design*des, NetScope*scope,
 				     ivl_type_t type, unsigned flags) const;
 
@@ -578,7 +578,7 @@ class PENewCopy : public PExpr {
 				  width_mode_t&mode);
 	// Note that class (new) expressions only appear in context
 	// that uses this form of the elaborate_expr method. In fact,
-	// the type argument is going to be a netclas_t object.
+	// the type argument is going to be a netclass_t object.
       virtual NetExpr*elaborate_expr(Design*des, NetScope*scope,
 				     ivl_type_t type, unsigned flags) const;
 
diff --git a/PTask.cc b/PTask.cc
index d8ce68ccc..75e68bc22 100644
--- a/PTask.cc
+++ b/PTask.cc
@@ -41,7 +41,7 @@ void PTaskFunc::set_this(class_type_t*type, PWire*this_wire)
       assert(this_type_ == 0);
       this_type_ = type;
 
-	// Push a synthetis argument that is the "this" value.
+	// Push a synthethis argument that is the "this" value.
       if (ports_==0)
 	    ports_ = new vector<pform_tf_port_t>;
 
diff --git a/compiler.h b/compiler.h
index 5da8790fc..6e4bf1cdf 100644
--- a/compiler.h
+++ b/compiler.h
@@ -92,7 +92,7 @@ extern bool warn_inf_loop;
 extern bool warn_sens_entire_vec;
 extern bool warn_sens_entire_arr;
 
-/* Warn about level-appropriate anochronisms. */
+/* Warn about level-appropriate anachronisms. */
 extern bool warn_anachronisms;
 
 /* This is true if verbose output is requested. */
diff --git a/elab_expr.cc b/elab_expr.cc
index f26b3354e..9230289da 100644
--- a/elab_expr.cc
+++ b/elab_expr.cc
@@ -183,7 +183,7 @@ NetExpr* PExpr::elaborate_expr(Design*des, NetScope*, unsigned, unsigned) const
 }
 
 /*
- * For now, assuse that assignment patterns are for dynamic
+ * For now, assume that assignment patterns are for dynamic
  * objects. This is not really true as this expression type, fully
  * supported, can assign to packed arrays and structs, unpacked arrays
  * and dynamic arrays.
@@ -727,7 +727,7 @@ unsigned PEBLeftWidth::test_width(Design*des, NetScope*scope, width_mode_t&mode)
 
       if ((mode >= EXPAND) && type_is_vectorable(expr_type_)) {
               // We need to make our best guess at the right operand
-              // value, to minimise the calculated width. This is
+              // value, to minimize the calculated width. This is
               // particularly important for the power operator...
 
               // Start off by assuming the maximum value for the
@@ -4672,7 +4672,7 @@ NetExpr* PENewArray::elaborate_expr(Design*des, NetScope*scope,
 
       if (dynamic_cast<PEAssignPattern*> (init_)) {
 	      // Special case: the initial value expression is an
-	      // array_pattern. Elaborate the expresion like the
+	      // array_pattern. Elaborate the expression like the
 	      // r-value to an assignment to array.
 	    init_val = init_->elaborate_expr(des, scope, ntype, flags);
 
@@ -4923,7 +4923,7 @@ NetExpr* PENumber::elaborate_expr(Design*des, NetScope*, ivl_type_t ntype, unsig
       }
 
 	// Special case: If the context type is REAL, then cast the
-	// vector value to a real and rethrn a NetECReal.
+	// vector value to a real and return a NetECReal.
       if (ntype->base_type() == IVL_VT_REAL) {
 	    verireal val (value_->as_long());
 	    NetECReal*tmp = new NetECReal(val);
@@ -5317,7 +5317,7 @@ NetExpr* PEUnary::elaborate_expr(Design*des, NetScope*scope,
 
 			/*
 			 * **** Valid use of operator ***
-			 * For REAL variables draw_unary_real() is ivoked during
+			 * For REAL variables draw_unary_real() is invoked during
 			 * evaluation and for LOGIC/BOOLEAN draw_unary_expr()
 			 * is called for evaluation.
 			 */
diff --git a/elab_lval.cc b/elab_lval.cc
index 13edb26c0..70802ac9f 100644
--- a/elab_lval.cc
+++ b/elab_lval.cc
@@ -413,7 +413,7 @@ NetAssign_* PEIdent::elaborate_lval_method_class_member_(Design*des,
 
 	    } else {
 
-		    // Mark this property as initilized. This is used
+		    // Mark this property as initialized. This is used
 		    // to know that we have initialized the constant
 		    // object so the next assignment will be marked as
 		    // illegal.
@@ -421,7 +421,7 @@ NetAssign_* PEIdent::elaborate_lval_method_class_member_(Design*des,
 
 		  if (debug_elaborate) {
 			cerr << get_fileline() << ": PEIdent::elaborate_lval_method_class_member_: "
-			     << "Found initilzers for property " << class_type->get_prop_name(pidx) << endl;
+			     << "Found initialzers for property " << class_type->get_prop_name(pidx) << endl;
 		  }
 	    }
       }
@@ -1074,7 +1074,7 @@ bool PEIdent::elaborate_lval_net_packed_member_(Design*des, NetScope*scope,
 	    use_width = lwid;
       }
 
-	// The dimenions in the expression must match the packed
+	// The dimensions in the expression must match the packed
 	// dimensions that are declared for the variable. For example,
 	// if foo is a packed array of struct, then this expression
 	// must be "b[n][m]" with the right number of dimensions to
diff --git a/elab_net.cc b/elab_net.cc
index 69f0a857e..c81f0646f 100644
--- a/elab_net.cc
+++ b/elab_net.cc
@@ -538,7 +538,7 @@ NetNet* PEIdent::elaborate_lnet_common_(Design*des, NetScope*scope,
 	      // the dimensions of the signal at this point. (The sig
 	      // has a packed dimension for the packed struct size.)
 	      // For example, if the path_=a[<m>][<n>].member, then
-	      // sig must have 3 packed dimenions: one for the struct
+	      // sig must have 3 packed dimensions: one for the struct
 	      // members and two actual packed dimensions.
 	    ivl_assert(*this, path_prefix.back().index.size()+1 == sig->packed_dimensions());
 
diff --git a/elaborate.cc b/elaborate.cc
index ffd497a03..a1567ea74 100644
--- a/elaborate.cc
+++ b/elaborate.cc
@@ -1187,7 +1187,7 @@ void PGModule::elaborate_mod_(Design*des, Module*rmod, NetScope*scope) const
 			delete pins[pidx];
 			pins_fromwc[pidx] = false;
 
-		    // If I already explicitely bound something to
+		    // If I already explicitly bound something to
 		    // this port, then the pins array will already
 		    // have a pointer value where I want to place this
 		    // expression.
@@ -5226,7 +5226,7 @@ bool Module::elaborate(Design*des, NetScope*scope) const
 	// the signals so that the tasks can reference them.
       elaborate_tasks(des, scope, tasks);
 
-	// Elaboate class definitions.
+	// Elaborate class definitions.
       elaborate_classes(des, scope, classes);
 
 	// Get all the gates of the module and elaborate them by
@@ -5396,7 +5396,7 @@ bool PGenerate::elaborate_direct_(Design*des, NetScope*container) const
 	    }
 
 	      // Special case: If this is a case generate scheme, then
-	      // the PGenerate object (item) does not acctually
+	      // the PGenerate object (item) does not actually
 	      // contain anything. Instead scan the case items, which
 	      // are listed as sub-schemes of the item.
 	    if (item->scheme_type == PGenerate::GS_CASE) {
diff --git a/ivl_target.h b/ivl_target.h
index cf5b9b3aa..70b5b9db2 100644
--- a/ivl_target.h
+++ b/ivl_target.h
@@ -24,7 +24,7 @@
 
 /* Re the _CLASS define: clang++ wants this to be class to match the
  * definition, but clang (the C) compiler needs it to be a struct
- * since class is not defined in C. They are effecively both pointers
+ * since class is not defined in C. They are effectively both pointers
  * to an object so everything works out. */
 
 #ifdef __cplusplus
@@ -777,7 +777,7 @@ extern unsigned ivl_event_lineno(ivl_event_t net);
  *
  * ivl_expr_net_type
  *    This is used in some cases to carry more advanced type
- *    descriptions. Over the long run, all type informatino will be
+ *    descriptions. Over the long run, all type information will be
  *    moved into the ivl_type_t type description method.
  *
  * ivl_expr_width
@@ -846,9 +846,9 @@ extern unsigned ivl_event_lineno(ivl_event_t net);
  * conversion from signal units to vector units, so the result of
  * ivl_expr_oper1 should range from 0 to ivl_expr_width().
  *
- * This exprsesion is also used to implement string substrings. If the
+ * This expression is also used to implement string substrings. If the
  * sub-expression (oper1) is IVL_VT_STRING, then the base expression
- * (oper2) is a charaster address, with 0 the first address of the
+ * (oper2) is a character address, with 0 the first address of the
  * string, 1 the second, and so on. This is OPPOSITE how a part select
  * of a string cast to a vector works, to be aware. The size of the
  * expression is an even multiple of 8, and is 8 times the number of
@@ -1326,7 +1326,7 @@ extern unsigned    ivl_lpm_lineno(ivl_lpm_t net);
  * repeated to get the desired width. The ivl core assures that the
  * input vector is exactly ivl_lpm_width() / ivl_lpm_size() bits.
  *
- * - Sign Exend (IVL_LPM_SIGN_EXT)
+ * - Sign Extend (IVL_LPM_SIGN_EXT)
  * This node takes a single input and generates a single output. The
  * input must be signed, and the output will be a vector sign extended
  * to the desired width. The ivl_lpm_width() value is the output
diff --git a/netlist.cc b/netlist.cc
index 0bd8ca28a..6e0a3db5a 100644
--- a/netlist.cc
+++ b/netlist.cc
@@ -808,7 +808,7 @@ long NetNet::sb_to_idx(const list<long>&indices, long sb) const
       else
 	    acc_off = pcur->get_lsb() - sb;
 
-	// The acc_off is the possition within the innermost
+	// The acc_off is the position within the innermost
 	// dimension. If this is a multi-dimension packed array then
 	// we need to add in the canonical address of the current slice.
       if (! indices.empty()) {
diff --git a/netlist.h b/netlist.h
index f02970b86..513409ec5 100644
--- a/netlist.h
+++ b/netlist.h
@@ -626,7 +626,7 @@ class NetNet  : public NetObj, public PortType {
 
     public:
 	// This form is the more generic form of the constructor. For
-	// now, the unpacked type is not burried into an ivl_type_s object.
+	// now, the unpacked type is not buried into an ivl_type_s object.
       explicit NetNet(NetScope*s, perm_string n, Type t,
 		      const std::list<netrange_t>&unpacked,
 		      ivl_type_t type);
@@ -683,7 +683,7 @@ class NetNet  : public NetObj, public PortType {
       const std::vector<netrange_t>& unpacked_dims() const { return unpacked_dims_; }
 
 	/* The vector_width returns the bit width of the packed array,
-	   vector or scaler that is this NetNet object.  */
+	   vector or scalar that is this NetNet object.  */
       inline unsigned long vector_width() const { return slice_width(0); }
 
 	/* Given a prefix of indices, figure out how wide the
@@ -716,7 +716,7 @@ class NetNet  : public NetObj, public PortType {
 	   indices. (Currently only one array index is supported.) */
       inline unsigned unpacked_dimensions() const { return unpacked_dims_.size(); }
 
-	/* This methor returns 0 for scalars, but vectors and other
+	/* This method returns 0 for scalars, but vectors and other
 	   PACKED arrays have packed dimensions. */
       inline size_t packed_dimensions() const { return slice_dims_.size(); }
 
@@ -2636,7 +2636,7 @@ class NetAssign_ {
 	// expression idx.
       NexusSet* nex_input(bool rem_out = true);
 
-	// Figuring out nex_output to proces ultimately comes down to
+	// Figuring out nex_output to process ultimately comes down to
 	// this method.
       void nex_output(NexusSet&);
 
@@ -2646,7 +2646,7 @@ class NetAssign_ {
       void dump_lval(ostream&o) const;
 
     private:
-	// Nested l-value. If this is set, sig_ mut NOT be setl
+	// Nested l-value. If this is set, sig_ must NOT be set!
       NetAssign_*nest_;
       NetNet *sig_;
 	// Memory word index
@@ -4109,7 +4109,7 @@ class NetENull : public NetExpr {
 };
 
 /*
- * The NetEProperty represents a SystemVerilog properrty select of a
+ * The NetEProperty represents a SystemVerilog property select of a
  * class object. In SV, the expression would look like "a.b", where
  * the "a" is the signal (the NetNet) and "b" is the property name.
  */
diff --git a/nettypes.h b/nettypes.h
index 8b0d15c99..5729602eb 100644
--- a/nettypes.h
+++ b/nettypes.h
@@ -46,13 +46,13 @@ class ivl_type_s {
       virtual bool get_signed() const;
 
 	// Return true if "that" type is compatible with this
-	// type. Compatibile means the types are essentially the same.
+	// type. Compatible means the types are essentially the same.
       bool type_compatible(ivl_type_t that) const;
 
       virtual std::ostream& debug_dump(std::ostream&) const;
 
     private:
-	// The "type_compatibile" method uses this virtual method to
+	// The "type_compatible" method uses this virtual method to
 	// invoke type-specific tests of compatibility. This should
 	// only be called by the type_compatible method above.
       virtual bool test_compatibility(ivl_type_t that) const;
diff --git a/netvector.h b/netvector.h
index d95e7bc23..8e2148c18 100644
--- a/netvector.h
+++ b/netvector.h
@@ -41,7 +41,7 @@ class netvector_t : public ivl_type_s {
       explicit netvector_t(ivl_variable_type_t type, long msb, long lsb,
 			   bool signed_flag =false);
 
-	// Special case: scaler object--no packed dimenions at all.
+	// Special case: scalar object--no packed dimensions at all.
       explicit netvector_t(ivl_variable_type_t type);
 
       ~netvector_t();
diff --git a/parse_misc.h b/parse_misc.h
index 8d1431542..7887818c0 100644
--- a/parse_misc.h
+++ b/parse_misc.h
@@ -97,7 +97,7 @@ extern data_type_t* pform_test_type_identifier(const char*txt);
 extern data_type_t* pform_test_type_identifier(PPackage*pkg, const char*txt);
 
 /*
- * Test if this identigier is a package name. The pform needs to help
+ * Test if this identifier is a package name. The pform needs to help
  * the lexor here because the parser detects packages and saves them.
  */
 extern PPackage* pform_test_package_identifier(const char*txt);
diff --git a/pform.cc b/pform.cc
index c9e716f08..f2d360521 100644
--- a/pform.cc
+++ b/pform.cc
@@ -2378,7 +2378,7 @@ void pform_makewire(const vlltype&li,
 }
 
 /*
- * This should eventually repliace the form above that takes a
+ * This should eventually replace the form above that takes a
  * net_decl_assign_t argument.
  */
 void pform_makewire(const struct vlltype&li,
diff --git a/symbol_search.cc b/symbol_search.cc
index 5bf69af84..c0d2f9494 100644
--- a/symbol_search.cc
+++ b/symbol_search.cc
@@ -88,7 +88,7 @@ bool symbol_search(const LineInfo*li, Design*des, NetScope*scope,
 		  return false;
 
 	      // The prefix is found to be a scope, so switch to that
-	      // scoke, set the hier_path to turn of upwards searches,
+	      // scope, set the hier_path to turn of upwards searches,
 	      // and continue our search for the tail.
 	    if (recurse.is_scope()) {
 		  scope = recurse.scope;
diff --git a/vvp/class_type.h b/vvp/class_type.h
index 5c4b4831b..16b673045 100644
--- a/vvp/class_type.h
+++ b/vvp/class_type.h
@@ -56,7 +56,7 @@ class class_type : public __vpiHandle {
       void finish_setup(void);
 
     public:
-	// Constructures and destructors for making instances.
+	// Constructors and destructors for making instances.
       inst_t instance_new() const;
       void instance_delete(inst_t) const;