María C. Molina Rafael Ruiz-Sautua Jose Manuel Mendias Román Hermida Bitwise scheduling to balance the computational cost of behavioral specifications. 31-46 2006 25 IEEE Trans. on CAD of Integrated Circuits and Systems 1 http://dx.doi.org/10.1109/TCAD.2005.852663 db/journals/tcad/tcad25.html#MolinaRMH06