DUTTA DEBRAJ

Control of low-power checkers using assertion control techniques of assertions language