Use monotonic clock for timeouts - Githubissues

YosysHQ / sby

SymbiYosys (sby) -- Front-end for Yosys-based formal verification flows

Other

387 stars 73 forks source link

Use monotonic clock for timeouts #181

Closed jix closed 2 years ago