Fixes typos

chaseruskin · Jun 20, 2024 · 2b50a66 · 2b50a66
1 parent cdab3ad
commit 2b50a66
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/README.md b/README.md
@@ -4,7 +4,7 @@ Vertex is a simulation-based functional verification framework for digital hardw
 
 Vertex leverages _file I/O_ and _software programming languages_ to verify hardware designs in their native hardware description language.
 
-The verifying hardware with Vertex is separated into 3 steps: 
+Verifying hardware with Vertex is separated into 3 steps: 
 
 1. Model the hardware design in software to generate input vectors and expected output vectors
 

diff --git a/docs/src/index.md b/docs/src/index.md
@@ -4,7 +4,7 @@ _Vertex_ is a simulation-based functional verification framework for digital har
 
 Vertex leverages _file I/O_ and _software programming languages_ to verify hardware designs in their native hardware description language.
 
-The verifying hardware with Vertex is separated into 3 steps: 
+Verifying hardware with Vertex is separated into 3 steps: 
 
 1. Model the hardware design in software to generate input vectors and expected output vectors