| 2003 |
|---|
| 4 | EE | Fady Copty,
Amitai Irron,
Osnat Weissberg,
Nathan P. Kropp,
Gila Kamhi:
Efficient debugging in a formal verification environment.
STTT 4(3): 335-348 (2003) |
| 2002 |
|---|
| 3 | EE | Scott Hazelhurst,
Osnat Weissberg,
Gila Kamhi,
Limor Fix:
A hybrid verification approach: getting deep into the design.
DAC 2002: 111-116 |
| 2001 |
|---|
| 2 | EE | Fady Copty,
Amitai Irron,
Osnat Weissberg,
Nathan P. Kropp,
Gila Kamhi:
Efficient Debugging in a Formal Verification Environment.
CHARME 2001: 275-292 |
| 1997 |
|---|
| 1 | | Gila Kamhi,
Osnat Weissberg,
Limor Fix:
Automatic Datapath Extraction for Efficient Usage of HDD.
CAV 1997: 95-106 |
