2009 |
6 | EE | 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 | 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 |
2000 |
4 | EE | 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 | 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 |