Some more updates

ruwayd99 · Dec 24, 2023 · 0252299 · 0252299
1 parent 6ccb9d9
commit 0252299
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/README.md b/README.md
@@ -1,6 +1,6 @@
 # Formal Verification for 4 bit counter with overflow
 
-This repository contains system verilog files for a counter, for the assertions to verify the module and a top module that combines everything. I will explain every file one by one
+This repository contains system verilog files for a counter, for the assertions to verify the module and a testbench module that combines everything. I will explain every file one by one. 
 
 # 4-Bit Counter with Overflow (counter.sv)