diff --git a/.github/workflows/build-posix-cmake.yml b/.github/workflows/build-posix-cmake.yml
index f8ccde47d..50f9ef902 100644
--- a/.github/workflows/build-posix-cmake.yml
+++ b/.github/workflows/build-posix-cmake.yml
@@ -44,6 +44,10 @@ jobs:
       run: |
         cmake --build build
 
+    - name: Run Unit Tests
+      run: |
+        ctest --output-on-failure
+
     - name: Test Executable
       run: |
         ./build/abc -c "r i10.aig; b; ps; b; rw -l; rw -lz; b; rw -lz; b; ps; cec"
diff --git a/CMakeLists.txt b/CMakeLists.txt
index db9d724f2..bbb153e64 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -114,3 +114,17 @@ add_library(libabc-pic EXCLUDE_FROM_ALL ${ABC_SRC})
 abc_properties(libabc-pic PUBLIC)
 set_property(TARGET libabc-pic PROPERTY POSITION_INDEPENDENT_CODE ON)
 set_property(TARGET libabc-pic PROPERTY OUTPUT_NAME abc-pic)
+
+if(NOT DEFINED ABC_SKIP_TESTS)
+    enable_testing()
+    include(FetchContent)
+    FetchContent_Declare(
+    googletest
+    DOWNLOAD_EXTRACT_TIMESTAMP TRUE
+    # Specify the commit you depend on and update it regularly.
+    URL "https://github.com/google/googletest/archive/refs/tags/v1.14.0.zip"
+    )
+    FetchContent_MakeAvailable(googletest)
+    include(GoogleTest)
+    add_subdirectory(test)
+endif()
\ No newline at end of file
diff --git a/test/CMakeLists.txt b/test/CMakeLists.txt
new file mode 100644
index 000000000..5a187fcac
--- /dev/null
+++ b/test/CMakeLists.txt
@@ -0,0 +1 @@
+add_subdirectory(gia)
\ No newline at end of file
diff --git a/test/gia/gia_test.cc b/test/gia/gia_test.cc
new file mode 100644
index 000000000..a6b288f79
--- /dev/null
+++ b/test/gia/gia_test.cc
@@ -0,0 +1,54 @@
+#include "gtest/gtest.h"
+
+#include "aig/gia/gia.h"
+
+ABC_NAMESPACE_IMPL_START
+
+TEST(GiaTest, CanAllocateGiaManager) {
+  Gia_Man_t* aig_manager =  Gia_ManStart(100);
+
+  EXPECT_TRUE(aig_manager != nullptr);
+  Gia_ManStop(aig_manager);
+}
+
+TEST(GiaTest, CanAddACi) {
+  Gia_Man_t* aig_manager =  Gia_ManStart(100);
+  Gia_ManAppendCi(aig_manager);
+
+  EXPECT_EQ(Gia_ManCiNum(aig_manager), 1);
+  Gia_ManStop(aig_manager);
+}
+
+TEST(GiaTest, CanAddACo) {
+  Gia_Man_t* aig_manager =  Gia_ManStart(100);
+  int input1 = Gia_ManAppendCi(aig_manager);
+  Gia_ManAppendCo(aig_manager, input1);
+
+  EXPECT_EQ(Gia_ManCiNum(aig_manager), 1);
+  EXPECT_EQ(Gia_ManCoNum(aig_manager), 1);
+  Gia_ManStop(aig_manager);
+}
+
+TEST(GiaTest, CanAddAnAndGate) {
+  Gia_Man_t* aig_manager =  Gia_ManStart(100);
+
+  int input1 = Gia_ManAppendCi(aig_manager);
+  int input2 = Gia_ManAppendCi(aig_manager);
+
+  int and_output = Gia_ManAppendAnd(aig_manager, input1, input2);
+  Gia_ManAppendCo(aig_manager, and_output);
+
+  Vec_Wrd_t* stimulus = Vec_WrdAlloc(2);
+  Vec_WrdPush(stimulus, /*A*/1);
+  Vec_WrdPush(stimulus, /*B*/1);
+  Vec_Wrd_t* output = Gia_ManSimPatSimOut(aig_manager, stimulus, /*fouts*/1);
+
+  EXPECT_EQ(Gia_ManCiNum(aig_manager), 2);
+  EXPECT_EQ(Gia_ManCoNum(aig_manager), 1);
+  // A = 1, B = 1 -> A & B == 1
+  EXPECT_EQ(Vec_WrdGetEntry(output, 0), 1);
+  Vec_WrdFree(output);
+  Gia_ManStop(aig_manager);
+}
+
+ABC_NAMESPACE_IMPL_END