assume() does not work for initial statement

For https://i.imgur.com/NCUjYmr.png , why doesn't the signal "reset" assumed to be '1' initially ? Anyone have any idea why the assume does not work ?

Solution

I found the solution. I am in temporal induction where it starts at a state which is not the initial state of the system. Therefore, the signal "reset" is not assumed to be '1' initially

How can I declare an output of a module to be a decimal number instead of a single bit?
Parallel shift of 4-bits by 1 clock cycle, simulation of delay on Verilog
T flip-flop using dataflow model
Use if-generate structure to define two variations of a function, and call that function in the same tb
SystemVerilog inheritance, aggregated classes and parent function call
Verilog module instance named after different module type
String triple quotes not getting accepted by simulators
Verilog always @(posedge clk) dosent work
Testbench for writing to the file in Verilog
SystemVerilog not reading data correctly
How can I schedule multiple inputs into an instantiated SystemVerilog module?
Icarus Verilog Syntax error "I give up" for NAND gate
How to specify AUTO_TEMPLATE wild card for inputs and outputs separately?
localparam for case values with don't cares. Is 1'b? legal?
Verilog how does assign statement work with a conditional operator?
SystemVerilog parameter override unsigned
Icarus verilog dump memory array ($dumpvars)
Assign a SV port
How do I install GTKWave on Windows?
Missing data while shuffling
Register increments twice within a non blocking always
Can Verilog functions access variables declared outside the function block?
How can I calculate a generate loop control value from a module parameter?
Why is "Set as Top-Level Entity" grayed out in quartus?
How to fix [Common 17-1293] error in Xilinx Vivado?
How to initialize contents of inferred Block RAM (BRAM) in Verilog
'Illegal output or inout port' error when trying to simulate counter
Assignment to two different wires with a bit and its complement yields the same value
How to convert Signed Binary to Integer in Verilog?
Rounding down the absolute value of signed fixed point numbers in Verilog