Murali Kudlugi Russell Tessier Static scheduling of multidomain circuits for fast functional verification. 1253-1268 2002 21 IEEE Trans. on CAD of Integrated Circuits and Systems 11 http://doi.ieeecomputersociety.org/10.1109/TCAD.2002.804086 db/journals/tcad/tcad21.html#KudlugiT02