Transaction based modeling and verification of hardware protocols
- Xiaofang Chen
- Steven M. German
- et al.
- 2007
- FMCAD 2007
Publications
5 results for Ganesh Gopalakrishnan
High-level asynchronous system design using the ACK framework
- Hans Jacobson
- Erik Brunvand
- et al.
- 2000
- ASYNC 2000
Peephole optimization of asynchronous macromodule networks
- Ganesh Gopalakrishnan
- Prabhakar Kudva
- et al.
- 1999
- IEEE Transactions on VLSI Systems
Technique for synthesizing distributed burst-mode circuits
- Prabhakar Kudva
- Ganesh Gopalakrishnan
- et al.
- 1996
- DAC 1996
Synthesis of hazard-free customized CMOS complex-gate networks under multiple-input changes
- Prabhakar Kudva
- Ganesh Gopalakrishnan
- et al.
- 1996
- DAC 1996