dblp.uni-trier.dewww.uni-trier.de

Hillel Miller

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2009
6EEMrinal 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
5EEOnur 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
4EEJun 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
3EEJun 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

Coauthor Index

1Magdy S. Abadir [5]
2Adnan Aziz [3] [4]
3Jayanta Bhadra [6]
4Mrinal Bose [6]
5Tao Feng [5]
6Onur Guzey [5]
7Shmuel Katz [1] [2]
8Prashant Naphade [6]
9Carl Pixley [3] [4]
10Kurt Shultz [3] [4]
11Li-C. Wang [5]
12Charles H.-P. Wen [5]
13Jun Yuan [3] [4]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)