Bitwise scheduling to balance the computational cost of behavioral specifications | IEEE Journals & Magazine | IEEE Xplore