A unified framework for race analysis of asynchronous networks
Journal of the ACM (JACM)
Automated equivalence checking of switch level circuits
Proceedings of the 39th annual Design Automation Conference
Partitioning and ordering of CMOS circuits for switch level analysis
Integration, the VLSI Journal
Hi-index | 0.00 |