author-photo

Abhijit Ghosh

University of California, Berkeley

27

Papers

1628

Citations

Citation Trend

Filter By

Papers (23) Sort By

Journal Conference Others

A hardware-software co-simulator for embedded system design and debugging

2002 DAC | Design Automation Conference
Show All
- Source
- Cite
- Save
Citations (10)
A hardware-software co-simulator for embedded system design and debugging

2001
Show All
- Source
- Cite
- Save
Citations (0)
Formal verification of synthesized mixed signal designs using *BMDs

2000 VLSID | International Conference on VLSI Design
- Abhijit Ghosh
- Ranga Vemuri
Show All
- Source
- Cite
- Save
Citations (0)
Formal verification of synthesized analog designs

1999 ICCD | International Conference on Computer Design
- Abhijit Ghosh
- Ranga Vemuri
Show All
- Source
- Cite
- Save
Citations (26)
Hierarchical scheduling in high level synthesis using resource sharing across nested loops

1999 GLSVLSI | Great Lakes Symposium on VLSI
Show All
- Source
- Cite
- Save
Citations (3)
An observability-based code coverage metric for functional simulation

1996 ICCAD | International Conference on Computer Aided Design
Show All
- Source
- Cite
- Save
Citations (109)
A hardware-software co-simulator for embedded system design and debugging

1995 ASP-DAC | Asia and South Pacific Design Automation Conference
Show All
- Source
- Cite
- Save
Citations (28)
A General Purpose Queue Architecture for an ATM Switch

1994
Show All
- Source
- Cite
- Save
Citations (3)
Retiming sequential circuits for low power

1993 ICCAD | International Conference on Computer Aided Design
Show All
- Source
- Cite
- Save
Citations (182)
Sequential test generation and synthesis for testability at the register-transfer and logic levels

1993 IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Show All
- Source
- Cite
- Save
Citations (40)