. . "Ramanathan, Meyyappan" . _:b7iddOtlocdOtgovauthoritiesnamesn2005034803 . _:b7iddOtlocdOtgovauthoritiesnamesn2005034803 _:b8iddOtlocdOtgovauthoritiesnamesn2005034803 . _:b7iddOtlocdOtgovauthoritiesnamesn2005034803 . _:b8iddOtlocdOtgovauthoritiesnamesn2005034803 . _:b8iddOtlocdOtgovauthoritiesnamesn2005034803 "Ramanathan, Meyyappan" . "1001 $aRamanathan, Meyyappan" . . . . . . . . "Ramanathan, Meyyappan" . . . "Vijayaraghavan, Srikanth A practical guide for system Verilog assertions" . . "n 2005034803" . _:b29iddOtlocdOtgovauthoritiesnamesn2005034803 . _:b29iddOtlocdOtgovauthoritiesnamesn2005034803 . _:b29iddOtlocdOtgovauthoritiesnamesn2005034803 "Vijayaraghavan, Srikanth. A practical guide for system Verilog assertions, 2005:" . _:b29iddOtlocdOtgovauthoritiesnamesn2005034803 "CIP t.p. (Meyyappan Ramanathan) galley (Synopsys, Calif.)" . _:b29iddOtlocdOtgovauthoritiesnamesn2005034803 "found" . _:b37iddOtlocdOtgovauthoritiesnamesn2005034803 . _:b37iddOtlocdOtgovauthoritiesnamesn2005034803 . _:b37iddOtlocdOtgovauthoritiesnamesn2005034803 "2005-05-11T00:00:00"^^ . _:b37iddOtlocdOtgovauthoritiesnamesn2005034803 "new"^^ . _:b37iddOtlocdOtgovauthoritiesnamesn2005034803 . _:b37iddOtlocdOtgovauthoritiesnamesn2005034803 . . "Ramanathan, Meyyappan" . . . _:b50iddOtlocdOtgovauthoritiesnamesn2005034803 . _:b50iddOtlocdOtgovauthoritiesnamesn2005034803 . _:b50iddOtlocdOtgovauthoritiesnamesn2005034803 . _:b50iddOtlocdOtgovauthoritiesnamesn2005034803 . _:b50iddOtlocdOtgovauthoritiesnamesn2005034803 "2005-05-11T00:00:00"^^ . _:b50iddOtlocdOtgovauthoritiesnamesn2005034803 "new"^^ .