Hillel Miller

According to our database, Hillel Miller authored at least 8 papers between 1999 and 2009.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2009

An abstraction mechanism to maximize stimulus portability across RTL, FPGA, software models and silicon of SoCs.

Mrinal Bose, Prashant Naphade, Jayanta Bhadra, Hillel Miller

Proceedings of the 10th International Symposium on Quality of Electronic Design (ISQED 2009), 2009

2006

Extracting a Simplified View of Design Functionality Based on Vector Simulation.

Onur Guzey, Charles H.-P. Wen, Li-C. Wang, Tao Feng, Hillel Miller, Magdy S. Abadir

Proceedings of the Hardware and Software, 2006

Reusable On-Chip System Level Verification for Simulation Emulation and Silicon.

Avishay Maman, Sharon Goldschlager, Hillel Miller, David Bell, Rob Slater, Oded Ben-Moshe, Nissan Levi, Hagit Gilboa

Proceedings of the Eleventh Annual IEEE International High-Level Design Validation and Test Workshop 2006, 2006

2004

SOC modeling methodology for architectural exploration and software development.

Michal Silbermintz, Amir Sahar, Itay Peled, Moshe Anschel, Emil Watralov, Hillel Miller, Eytan Weisberger

Proceedings of the 2004 11th IEEE International Conference on Electronics, 2004

Evaluating and comparing simulation verification vs. formal verification approach on block level design.

Eyal Segev, Sharon Goldshlager, Hillel Miller, Oren Shua, Olga Sher, Shlomo Greenberg

Proceedings of the 2004 11th IEEE International Conference on Electronics, 2004

2000

Automatic Vector Generation Using Constraints and Biasing.

Jun Yuan, Kurt Shultz, Carl Pixley, Hillel Miller, Adnan Aziz

J. Electron. Test., 2000

1999

Saving Space by Fully Exploiting Invisible Transitions.

Shmuel Katz, Hillel Miller

Formal Methods Syst. Des., 1999

Modeling design constraints and biasing in simulation using BDDs.

Jun Yuan, Kurt Shultz, Carl Pixley, Hillel Miller, Adnan Aziz

Proceedings of the 1999 IEEE/ACM International Conference on Computer-Aided Design, 1999