Catia M. Angelo

Learn More
Different types of problems in the hardware verification field have inspired different methodologies to tackle them. When different approaches can verify the same class of circuits, at a given level of abstraction, it is often the case that each one has advantages and drawbacks with respect to the others. Comparing different methodologies is important, not(More)
  • 1