Shimon Landa

Learn More
Post-silicon validation poses unique challenges that bring-up tools must face, such as the lack of observability into the design, the typical instability of silicon bring-up platforms and the absence of supporting software (like an OS or debuggers). These challenges and the need to reach an optimal utilization of the expensive but very fast silicon(More)
The growing importance of post-silicon validation in ensuring functional correctness of high-end designs increases the need for synergy between the pre-silicon verification and post-silicon validation. We propose a unified functional verification methodology for the pre- and post-silicon domains. This methodology is based on a common verification plan and(More)
A switch, or server, serves <i>n</i> input queues, processing messages arriving at these queues to a single output channel. At each time slot the switch can process a single message from one of the queues. The goal of a switching policy is to minimize the size of the buffers at the input queues that maintain the messages that have not yet been processed.(More)
We shall denote the partial order (precedence relation) by , where i j means job i must be completed before job j starts. We assume the precedence relation is speciied in the form of a directed acyclic graph G = (V; E) (V is the set of nodes), in which there is a path from i to j ii i j. Goal: Find a non-preemptive schedule on a single machine which(More)
  • 1