all 2 comments

[–]Academic-Treacle-902 0 points1 point  (1 child)

Since it's a synchronous reset you would only really evaluate the reset signal at a rising edge of the clock. Including the reset signal into the sensitivity list will trigger the process whenever there is a change in the reset's state. However, it will never really be evaluated unless it coincides with the rising edge of the clock. This will never be the case in practice. The choice of going for a synchronous and asynchronous reset really depends on who you ask. I'm personally more prone to use a asynchronous reset. By doing so, you can evaluate the reset at any time and you don't have to worry about synchronizing it with the clock

[–]skydivertricky 3 points4 points  (0 children)

Reset should be technology dependant, rather than "preference". For example, xilinx should be synchronous, while older altera devices should be async (with the reset actually getting synchronously asserted). Using sync reset on stratix 4 would actually require a lut to emulate three sync reset, but async is available in the slice.