Rohit Kapur Paul Reuter Sandeep Bhatia Brion L. Keller CTL and Its Usage in the EDA Industry. 36-43 2009 26 IEEE Design & Test of Computers 1 http://dx.doi.org/10.1109/MDT.2009.8 db/journals/dt/dt26.html#KapurRBK09