Yilin Lu

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
In designing robot control systems, simulation is still the primary approach to verifying the functions of circuit descriptions written in hardware design language. The validity of the verification depends on the coverage metric. But not all state spaces can be specified in a simulation. Model checking can overcome the shortcomings of simulation, because(More)
  • 1