Untitled

Pasted by zyp on Mon Oct 23 21:40:07 2023 UTC as Python 
 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
class Value:
    # …

    def get(self):
        return SimAwaitable(self)

    def set(self, value):
        return SimAwaitable(self.eq(value))

    def changed(self, value=None):
        return SimAwaitable(SimTrigger(self, value))

    async def wait(self, value):
        if (await self.get()) != value:
            await self.changed(value)

async def bench_inc_cnt():
    # Increment counter on both edges
    await Passive()

    while True:
        await clk.changed()
        await cnt.set((await cnt.get()) + 1)

async def bench_await_cnt_4():
    await cnt.wait(4)
    print('cnt is 4')

    await cnt.wait(4)
    print('cnt is still 4')

    await cnt_4.set(1)

    await cnt.changed(4)
    print('cnt is 4 again')

    await cnt_4.set(0)