Salim Ismail Al-Akhras

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 top-down multi-level design methodologies, design descriptions at higher levels of abstraction are incrementally refined to the final realizations. Simulation based techniques have traditionally been used to verify that such model refinements do not change the design functionality. Unfortunately, with computer simulations it is not possible to completely(More)
  • 1