Synthesis of system verilog assertions. - Sayantan Das 001; Rizi Mohanty; Pallab Dasgupta; P. P. Chakrabarti 001 (DATE Designers' Forum, 2006)