| 2006 |
|---|
| 4 | EE | Onur Guzey,
Charles H.-P. Wen,
Li-C. Wang,
Tao Feng,
Hillel Miller,
Magdy S. Abadir:
Extracting a Simplified View of Design Functionality Based on Vector Simulation.
Haifa Verification Conference 2006: 34-49 |
| 1999 |
|---|
| 3 | EE | Jun Yuan,
Kurt Shultz,
Carl Pixley,
Hillel Miller,
Adnan Aziz:
Modeling design constraints and biasing in simulation using BDDs.
ICCAD 1999: 584-590 |
| 2 | | Shmuel Katz,
Hillel Miller:
Saving Space by Fully Exploiting Invisible Transitions.
Formal Methods in System Design 14(3): 311-332 (1999) |
| 1996 |
|---|
| 1 | | Hillel Miller,
Shmuel Katz:
Saving Space by Fully Exploiting Invisible Transitions.
CAV 1996: 336-347 |
