A Transaction-Based Unified Simulation/Emulation Architecture for Functional Verification. - Murali Kudlugi; Soha Hassoun; Charles Selvidge; Duaine Pryor (DAC, 2001)

Static Scheduling of Multiple Asynchronous Domains For Functional Verification. - Murali Kudlugi; Charles Selvidge; Russell Tessier (DAC, 2001)

Static Scheduling of Multi-Domain Memories For Functional Verification. - Murali Kudlugi; Charles Selvidge; Russell Tessier (ICCAD, 2001)

Static scheduling of multidomain circuits for fast functional verification. - Murali Kudlugi; Russell Tessier (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2002)

A transaction-based unified architecture for simulation and emulation. - Soha Hassoun; Murali Kudlugi; Duaine Pryor; Charles Selvidge (IEEE Trans. Very Large Scale Integr. Syst., 2005)