SummaryofSynthesisableSystemVerilog - University of Cambridge