Sounds reasonable.

API suggestion:

m = Module()
m.d.sync += Signal().eq(0)
sim = Simulator(m)

def process():
    yield Delay(12345e-6)
    now = sim.now # for use inside or outside processes
    print("current time:", now)
    now = (yield GetTime()) # for use inside processes -- useful when sim is not visible
    print("current time:", now)

sim.add_sync_process(process)
sim.add_clock(1e-6)
with sim.write_vcd("out.vcd", "out.gtkw", traces=[]):
    sim.run()

There's a good reason to not expose sim._state.timeline.now as it is: we shouldn't be representing time as floating point in the first place (I don't know what I was thinking when implementing that...) but we really shouldn't be exposing it to consumers.

Regarding GetTime: do you need to programmatically access the time, or do you just want to print it? In the latter case, would yield Display("format...") where the format language includes a substitution for the current time (like in Verilog) work for you?

I filed #535 to track the time representation issue.

Regarding GetTime: do you need to programmatically access the time, or do you just want to print it? In the latter case, would yield Display("format...") where the format language includes a substitution for the current time (like in Verilog) work for you?

We're currently just printing it, though it would be handy to have it (or a formatted version) available in case you want to have the output go somewhere other than stdout, e.g. json output for easy parsing.

though it would be handy to have it (or a formatted version) available in case you want to have the output go somewhere other than stdout, e.g. json output for easy parsing.

I was thinking that Simulator would have an API to capture Display statements (as well as Assert, etc) from PySim as well as CXXSim.

Closing in favor of being able to print time via Display (including with custom formats), which will be shipped as a part of the Display feature itself, and being able to redirect Display output, which will be likely shipped later.

If new use cases arise we can reconsider this.