Hillel Miller

Publication Activity (10 Years)

Years Active: 1996-2009
Publications (10 Years): 0

Publications

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)
Avishay Maman, Sharon Goldschlager, Hillel Miller, David Bell, Rob Slater, Oded Ben-Moshe, Nissan Levi, Hagit Gilboa
Reusable On-Chip System Level Verification for Simulation Emulation and Silicon. HLDVT (2006)
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)
Eyal Segev, Sharon Goldshlager, Hillel Miller, Oren Shua, Olga Sher, Shlomo Greenberg
Evaluating and comparing simulation verification vs. formal verification approach on block level design. ICECS (2004)
Michal Silbermintz, Amir Sahar, Itay Peled, Moshe Anschel, Emil Watralov, Hillel Miller, Eytan Weisberger
SOC modeling methodology for architectural exploration and software development. ICECS (2004)
Jun Yuan, Kurt Shultz, Carl Pixley, Hillel Miller, Adnan Aziz
Automatic Vector Generation Using Constraints and Biasing. J. Electron. Test. 16 (1-2) (2000)
Shmuel Katz, Hillel Miller
Saving Space by Fully Exploiting Invisible Transitions. Formal Methods Syst. Des. 14 (3) (1999)
Jun Yuan, Kurt Shultz, Carl Pixley, Hillel Miller, Adnan Aziz
Modeling design constraints and biasing in simulation using BDDs. ICCAD (1999)
Hillel Miller, Shmuel Katz
Saving Space by Fully Exploiting Invisible Transitions. CAV (1996)