Search the dblp DataBase

Publications of Author

1. Hillel Miller, Shmuel Katz
   Saving Space by Fully Exploiting Invisible Transitions. [Citation Graph (0, 0)][DBLP]
   CAV, 1996, pp:336-347 [Conf]
   
2. 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. [Citation Graph (0, 0)][DBLP]
   Haifa Verification Conference, 2006, pp:34-49 [Conf]
   
3. Jun Yuan, Kurt Shultz, Carl Pixley, Hillel Miller, Adnan Aziz
   Modeling design constraints and biasing in simulation using BDDs. [Citation Graph (0, 0)][DBLP]
   ICCAD, 1999, pp:584-590 [Conf]
   
4. Shmuel Katz, Hillel Miller
   Saving Space by Fully Exploiting Invisible Transitions. [Citation Graph (0, 0)][DBLP]
   Formal Methods in System Design, 1999, v:14, n:3, pp:311-332 [Journal]
   
5. 
   An abstraction mechanism to maximize stimulus portability across RTL, FPGA, software models and silicon of SoCs. [Citation Graph (, )][DBLP]