The following pages link to Difference between RTL and gate-level simulations - Flipflop with async set and async reset: