A symbolic approach for detecting conflicts in Verilog's non blocking assignments | IEEE Conference Publication | IEEE Xplore