 | 2009 |
|---|
| 6 |       | Mrinal Bose,
Prashant Naphade,
Jayanta Bhadra,
Hillel Miller:
An abstraction mechanism to maximize stimulus portability across RTL, FPGA, software models and silicon of SoCs.
ISQED 2009: 377-381 |
| 2006 |
|---|
| 5 | | 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 |
| 2000 |
|---|
| 4 | | Jun Yuan,
Kurt Shultz,
Carl Pixley,
Hillel Miller,
Adnan Aziz:
Automatic Vector Generation Using Constraints and Biasing.
J. Electronic Testing 16(1-2): 107-120 (2000) |
| 1999 |
|---|
| 3 | | 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 |
