diff --git a/frontends/ast/simplify.cc b/frontends/ast/simplify.cc
index b524fadfd..8bb40cb6b 100644
--- a/frontends/ast/simplify.cc
+++ b/frontends/ast/simplify.cc
@@ -1109,10 +1109,24 @@ bool AstNode::simplify(bool const_fold, int stage, int width_hint, bool sign_hin
 			if (child->type == AST_IMPORT) {
 				// Find the package in the design
 				AstNode *package_node = nullptr;
+				
+				// First look in current_ast->children (for packages in same file)
 				for (auto &design_child : current_ast->children) {
-					if (design_child->type == AST_PACKAGE && design_child->str == child->str) {
-						package_node = design_child;
-						break;
+					if (design_child->type == AST_PACKAGE) {
+						if (design_child->str == child->str) {
+							package_node = design_child;
+							break;
+						}
+					}
+				}
+				
+				// If not found, look in design->verilog_packages (for packages from other files)
+				if (!package_node && simplify_design_context != nullptr) {
+					for (auto &design_package : simplify_design_context->verilog_packages) {
+						if (design_package->str == child->str) {
+							package_node = design_package;
+							break;
+						}
 					}
 				}
 				
diff --git a/tests/verilog/package_import_separate.sv b/tests/verilog/package_import_separate.sv
new file mode 100644
index 000000000..b2e5bb803
--- /dev/null
+++ b/tests/verilog/package_import_separate.sv
@@ -0,0 +1,13 @@
+package config_pkg;
+  localparam integer
+    DATA_WIDTH = 8,
+    ADDR_WIDTH = 4;
+    
+  localparam logic [2:0]
+    IDLE = 3'b000,
+    START = 3'b001,
+    DATA = 3'b010,
+    ODD_PARITY = 3'b011,
+    STOP = 3'b100,
+    DONE = 3'b101;
+endpackage 
\ No newline at end of file
diff --git a/tests/verilog/package_import_separate.ys b/tests/verilog/package_import_separate.ys
new file mode 100644
index 000000000..0dff75897
--- /dev/null
+++ b/tests/verilog/package_import_separate.ys
@@ -0,0 +1,5 @@
+read_verilog -sv package_import_separate.sv
+read_verilog -sv package_import_separate_module.sv
+hierarchy -check
+proc
+opt -full 
\ No newline at end of file
diff --git a/tests/verilog/package_import_separate_module.sv b/tests/verilog/package_import_separate_module.sv
new file mode 100644
index 000000000..f940553b3
--- /dev/null
+++ b/tests/verilog/package_import_separate_module.sv
@@ -0,0 +1,19 @@
+import config_pkg::*;
+
+module top;
+  logic [DATA_WIDTH-1:0] data;
+  logic [ADDR_WIDTH-1:0] addr;
+  logic [2:0] state;
+  
+  always_comb begin
+    case (state)
+      IDLE: data = 8'h00;
+      START: data = 8'h01;
+      DATA: data = 8'h02;
+      ODD_PARITY: data = 8'h03;
+      STOP: data = 8'h04;
+      DONE: data = 8'h05;
+      default: data = 8'hFF;
+    endcase
+  end
+endmodule 
\ No newline at end of file